Trace number 4462786

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 (3)? (TO) 3602.07 3613.72

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
MD5SUMc394902a34a3ecc31aded0750ee67503
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43018
Best CPU time to get the best result obtained on this benchmark72001.1
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 170372
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 105742757
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 105742757
Number of bits of the biggest sum of numbers27
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.07/2.11	c #variables 399113 #constraints 400980
10.33/10.46	c bounds - >= -105742757 @ 1.70591
10.33/10.46	c bounds 0 >= -105742757 @ 9.05392
10.33/10.46	c bounds 0 >= -105741757 @ 9.08126
10.33/10.46	c bounds 0 >= -105192284 @ 9.08561
10.33/10.46	c bounds 0 >= -105191284 @ 9.09779
10.33/10.46	c bounds 0 >= -104856232 @ 9.10178
10.33/10.46	c bounds 0 >= -104855232 @ 9.1129
10.33/10.46	c bounds 0 >= -104313159 @ 9.11717
10.33/10.46	c bounds 0 >= -104312159 @ 9.12606
10.33/10.46	c bounds 0 >= -104003013 @ 9.13013
10.33/10.46	c bounds 0 >= -104002013 @ 9.13818
10.33/10.46	c bounds 0 >= -103539391 @ 9.14234
10.33/10.46	c bounds 0 >= -103354391 @ 9.14677
10.33/10.46	c bounds 0 >= -103353391 @ 9.15286
10.33/10.46	c bounds 0 >= -103187853 @ 9.15653
10.33/10.46	c bounds 0 >= -103186853 @ 9.16288
10.33/10.46	c bounds 0 >= -102882345 @ 9.16673
10.33/10.46	c bounds 0 >= -102881345 @ 9.1746
10.33/10.46	c bounds 0 >= -102797736 @ 9.17816
10.33/10.46	c bounds 0 >= -102796736 @ 9.18431
10.33/10.46	c bounds 0 >= -102729689 @ 9.1878
10.33/10.46	c bounds 0 >= -102548689 @ 9.19266
10.33/10.46	c bounds 0 >= -102547689 @ 9.19718
10.33/10.46	c bounds 0 >= -102546689 @ 9.20404
10.33/10.46	c bounds 0 >= -102545689 @ 9.20963
10.33/10.46	c bounds 0 >= -102364689 @ 9.21445
10.33/10.46	c bounds 0 >= -102363689 @ 9.21894
10.33/10.46	c bounds 0 >= -102362689 @ 9.22583
10.33/10.46	c bounds 0 >= -102361689 @ 9.23129
10.33/10.46	c bounds 0 >= -102180689 @ 9.23612
10.33/10.46	c bounds 0 >= -101997689 @ 9.23968
10.33/10.46	c bounds 0 >= -101813689 @ 9.24325
10.33/10.46	c bounds 0 >= -101628689 @ 9.24677
10.33/10.46	c bounds 0 >= -101441689 @ 9.2503
10.33/10.46	c bounds 0 >= -101254689 @ 9.25371
10.33/10.46	c bounds 0 >= -101067689 @ 9.25715
10.33/10.46	c bounds 0 >= -100882689 @ 9.26055
10.33/10.46	c bounds 0 >= -100697689 @ 9.26393
10.33/10.46	c bounds 0 >= -100513689 @ 9.26666
10.33/10.46	c bounds 0 >= -100329689 @ 9.27009
10.33/10.46	c bounds 0 >= -100145689 @ 9.27354
10.33/10.46	c bounds 0 >= -99961689 @ 9.27703
10.33/10.46	c bounds 0 >= -99775689 @ 9.28045
10.33/10.46	c bounds 0 >= -99589689 @ 9.28377
10.33/10.46	c bounds 0 >= -99403689 @ 9.28704
10.33/10.46	c bounds 0 >= -99218689 @ 9.29041
10.33/10.46	c bounds 0 >= -99033689 @ 9.29367
10.33/10.46	c bounds 0 >= -98849689 @ 9.29701
10.33/10.46	c bounds 0 >= -98664689 @ 9.30028
10.33/10.46	c bounds 0 >= -98479689 @ 9.30357
10.33/10.46	c bounds 0 >= -98294689 @ 9.30685
10.33/10.46	c bounds 0 >= -98109689 @ 9.31013
10.33/10.46	c bounds 0 >= -97924689 @ 9.31337
10.33/10.46	c bounds 0 >= -97740689 @ 9.31658
10.33/10.46	c bounds 0 >= -97555689 @ 9.31987
10.33/10.46	c bounds 0 >= -97371689 @ 9.3231
10.33/10.46	c bounds 0 >= -97186689 @ 9.32629
10.33/10.46	c bounds 0 >= -97001689 @ 9.32947
10.33/10.46	c bounds 0 >= -96816689 @ 9.33261
10.33/10.46	c bounds 0 >= -96631689 @ 9.33576
10.33/10.46	c bounds 0 >= -96445689 @ 9.33897
10.33/10.46	c bounds 0 >= -96259689 @ 9.34221
10.33/10.46	c bounds 0 >= -96072689 @ 9.34543
10.33/10.46	c bounds 0 >= -95885689 @ 9.34862
10.33/10.46	c bounds 0 >= -95699689 @ 9.35226
10.33/10.46	c bounds 0 >= -95513689 @ 9.35582
10.33/10.46	c bounds 0 >= -95327689 @ 9.359
10.33/10.46	c bounds 0 >= -95141689 @ 9.36219
10.33/10.46	c bounds 0 >= -94956689 @ 9.36533
10.33/10.46	c bounds 0 >= -94772689 @ 9.36851
10.33/10.46	c bounds 0 >= -94587689 @ 9.37164
10.33/10.46	c bounds 0 >= -94402689 @ 9.37478
10.33/10.46	c bounds 0 >= -94216689 @ 9.37782
10.33/10.46	c bounds 0 >= -94031689 @ 9.38082
10.33/10.46	c bounds 0 >= -93846689 @ 9.38385
10.33/10.46	c bounds 0 >= -93660689 @ 9.38662
10.33/10.46	c bounds 0 >= -93473689 @ 9.3888
10.33/10.46	c bounds 0 >= -93286689 @ 9.39182
10.33/10.46	c bounds 0 >= -93099689 @ 9.39477
10.33/10.46	c bounds 0 >= -92913689 @ 9.39771
10.33/10.46	c bounds 0 >= -92727689 @ 9.40067
10.33/10.46	c bounds 0 >= -92543689 @ 9.40366
10.33/10.46	c bounds 0 >= -92359689 @ 9.40662
10.33/10.46	c bounds 0 >= -92175689 @ 9.40957
10.33/10.46	c bounds 0 >= -91991689 @ 9.41247
10.33/10.46	c bounds 0 >= -91807689 @ 9.41539
10.33/10.46	c bounds 0 >= -91623689 @ 9.41825
10.33/10.46	c bounds 0 >= -91438689 @ 9.42114
10.33/10.46	c bounds 0 >= -91253689 @ 9.42406
10.33/10.46	c bounds 0 >= -91067689 @ 9.42692
10.33/10.46	c bounds 0 >= -90880689 @ 9.42979
10.33/10.46	c bounds 0 >= -90692689 @ 9.43263
10.33/10.46	c bounds 0 >= -90504689 @ 9.43542
10.33/10.46	c bounds 0 >= -90316689 @ 9.43831
10.33/10.46	c bounds 0 >= -90133689 @ 9.44118
10.33/10.46	c bounds 0 >= -89950689 @ 9.44407
10.33/10.46	c bounds 0 >= -89767689 @ 9.44692
10.33/10.46	c bounds 0 >= -89584689 @ 9.44971
10.33/10.46	c bounds 0 >= -89401689 @ 9.45244
10.33/10.46	c bounds 0 >= -89219689 @ 9.45424
10.33/10.46	c bounds 0 >= -89037689 @ 9.45699
10.33/10.46	c bounds 0 >= -88855689 @ 9.45983
10.33/10.46	c bounds 0 >= -88673689 @ 9.46265
10.33/10.46	c bounds 0 >= -88491689 @ 9.46543
10.33/10.46	c bounds 0 >= -88309689 @ 9.46819
10.33/10.46	c bounds 0 >= -88127689 @ 9.47097
10.33/10.46	c bounds 0 >= -87946689 @ 9.47377
10.33/10.46	c bounds 0 >= -87765689 @ 9.47651
10.33/10.46	c bounds 0 >= -87584689 @ 9.47923
10.33/10.46	c bounds 0 >= -87403689 @ 9.48191
10.33/10.46	c bounds 0 >= -87222689 @ 9.48458
10.33/10.46	c bounds 0 >= -87221689 @ 9.48987
10.33/10.46	c bounds 0 >= -87199034 @ 9.49241
10.33/10.46	c bounds 0 >= -87198034 @ 9.49752
10.33/10.46	c bounds 0 >= -87193714 @ 9.50003
10.33/10.46	c bounds 0 >= -87014714 @ 9.50454
10.33/10.46	c bounds 0 >= -87013714 @ 9.50909
10.33/10.46	c bounds 0 >= -87012714 @ 9.51396
10.33/10.46	c bounds 0 >= -86833714 @ 9.5183
10.33/10.46	c bounds 0 >= -86653714 @ 9.52101
56.79/57.07	c bounds 0 >= -86473714 @ 9.52367
56.79/57.07	c bounds 0 >= -86292714 @ 9.52612
56.79/57.07	c bounds 0 >= -86111714 @ 9.52796
56.79/57.07	c bounds 0 >= -85929714 @ 9.53056
56.79/57.07	c bounds 0 >= -85748714 @ 9.53319
56.79/57.07	c bounds 0 >= -85567714 @ 9.53581
56.79/57.07	c bounds 0 >= -85386714 @ 9.53847
56.79/57.07	c bounds 0 >= -85205714 @ 9.54108
56.79/57.07	c bounds 0 >= -85024714 @ 9.54367
56.79/57.07	c bounds 0 >= -84843714 @ 9.54623
56.79/57.07	c bounds 0 >= -84662714 @ 9.54883
56.79/57.07	c bounds 0 >= -84482714 @ 9.55134
56.79/57.07	c bounds 0 >= -84302714 @ 9.55383
56.79/57.07	c bounds 0 >= -84122714 @ 9.55636
56.79/57.07	c bounds 0 >= -83942714 @ 9.5589
56.79/57.07	c bounds 0 >= -83762714 @ 9.56147
56.79/57.07	c bounds 0 >= -83583714 @ 9.56398
56.79/57.07	c bounds 0 >= -83404714 @ 9.56655
56.79/57.07	c bounds 0 >= -83218714 @ 9.56904
56.79/57.07	c bounds 0 >= -83032714 @ 9.57156
56.79/57.07	c bounds 0 >= -82846714 @ 9.57403
56.79/57.07	c bounds 0 >= -82660714 @ 9.57647
56.79/57.07	c bounds 0 >= -82474714 @ 9.57888
56.79/57.07	c bounds 0 >= -82288714 @ 9.58134
56.79/57.07	c bounds 0 >= -82102714 @ 9.58375
56.79/57.07	c bounds 0 >= -81916714 @ 9.5861
56.79/57.07	c bounds 0 >= -81730714 @ 9.58854
56.79/57.07	c bounds 0 >= -81544714 @ 9.59096
56.79/57.07	c bounds 0 >= -81358714 @ 9.59328
56.79/57.07	c bounds 0 >= -81172714 @ 9.59568
56.79/57.07	c bounds 0 >= -80986714 @ 9.59804
56.79/57.07	c bounds 0 >= -80800714 @ 9.60036
56.79/57.07	c bounds 0 >= -80614714 @ 9.60264
56.79/57.07	c bounds 0 >= -80428714 @ 9.60502
56.79/57.07	c bounds 0 >= -80242714 @ 9.60732
56.79/57.07	c bounds 0 >= -80056714 @ 9.60958
56.79/57.07	c bounds 0 >= -79870714 @ 9.61196
56.79/57.07	c bounds 0 >= -79684714 @ 9.61421
56.79/57.07	c bounds 0 >= -79498714 @ 9.61645
56.79/57.07	c bounds 0 >= -79312714 @ 9.61868
56.79/57.07	c bounds 0 >= -79126714 @ 9.621
56.79/57.07	c bounds 0 >= -78940714 @ 9.62323
56.79/57.07	c bounds 0 >= -78754714 @ 9.62546
56.79/57.07	c bounds 0 >= -78568714 @ 9.62772
56.79/57.07	c bounds 0 >= -78382714 @ 9.62996
56.79/57.07	c bounds 0 >= -78196714 @ 9.63214
56.79/57.07	c bounds 0 >= -78010714 @ 9.63434
56.79/57.07	c bounds 0 >= -77824714 @ 9.63662
56.79/57.07	c bounds 0 >= -77638714 @ 9.63886
56.79/57.07	c bounds 0 >= -77452714 @ 9.64106
56.79/57.07	c bounds 0 >= -77266714 @ 9.64321
56.79/57.07	c bounds 0 >= -77080714 @ 9.64536
56.79/57.07	c bounds 0 >= -76894714 @ 9.64751
56.79/57.07	c bounds 0 >= -76708714 @ 9.6496
56.79/57.07	c bounds 0 >= -76522714 @ 9.65168
56.79/57.07	c bounds 0 >= -76336714 @ 9.65382
56.79/57.07	c bounds 0 >= -76150714 @ 9.65591
56.79/57.07	c bounds 0 >= -75964714 @ 9.65805
56.79/57.07	c bounds 0 >= -75778714 @ 9.66018
56.79/57.07	c bounds 0 >= -75592714 @ 9.66229
56.79/57.07	c bounds 0 >= -75406714 @ 9.66441
56.79/57.07	c bounds 0 >= -75220714 @ 9.6665
56.79/57.07	c bounds 0 >= -75034714 @ 9.6686
56.79/57.07	c bounds 0 >= -74848714 @ 9.67071
56.79/57.07	c bounds 0 >= -74662714 @ 9.67279
56.79/57.07	c bounds 0 >= -74476714 @ 9.67483
56.79/57.07	c bounds 0 >= -74290714 @ 9.67685
56.79/57.07	c bounds 0 >= -74104714 @ 9.67886
56.79/57.07	c bounds 0 >= -73918714 @ 9.68083
56.79/57.07	c bounds 0 >= -73732714 @ 9.68279
56.79/57.07	c bounds 0 >= -73546714 @ 9.68479
56.79/57.07	c bounds 0 >= -73360714 @ 9.6866
56.79/57.07	c bounds 0 >= -73174714 @ 9.68773
56.79/57.07	c bounds 0 >= -72988714 @ 9.6897
56.79/57.07	c bounds 0 >= -72802714 @ 9.69165
56.79/57.07	c bounds 0 >= -72616714 @ 9.69359
56.79/57.07	c bounds 0 >= -72430714 @ 9.69549
56.79/57.07	c bounds 0 >= -72244714 @ 9.69742
56.79/57.07	c bounds 0 >= -72058714 @ 9.69934
56.79/57.07	c bounds 0 >= -71872714 @ 9.70125
56.79/57.07	c bounds 0 >= -71686714 @ 9.70313
56.79/57.07	c bounds 0 >= -71500714 @ 9.70502
56.79/57.07	c bounds 0 >= -71314714 @ 9.70692
56.79/57.07	c bounds 0 >= -71128714 @ 9.70875
56.79/57.07	c bounds 0 >= -70942714 @ 9.71059
56.79/57.07	c bounds 0 >= -70756714 @ 9.71241
56.79/57.07	c bounds 0 >= -70570714 @ 9.71423
56.79/57.07	c bounds 0 >= -70385714 @ 9.71685
56.79/57.07	c bounds 0 >= -70200714 @ 9.719
56.79/57.07	c bounds 0 >= -70015714 @ 9.72118
56.79/57.07	c bounds 0 >= -69832897 @ 9.72228
56.79/57.07	c bounds 0 >= -68382444 @ 17.0618
56.79/57.07	c bounds -121 >= -68382444 @ 54.2662
56.79/57.07	c bounds -121 >= -68381444 @ 54.2816
56.79/57.07	c bounds -121 >= -68380444 @ 54.2927
56.79/57.07	c bounds -121 >= -68379444 @ 54.3038
56.79/57.07	c bounds -121 >= -68378444 @ 54.4592
56.79/57.07	c bounds -121 >= -68377444 @ 54.4684
56.79/57.07	c bounds -121 >= -68376444 @ 54.4811
56.79/57.07	c bounds -121 >= -68375444 @ 54.6224
56.79/57.07	c bounds -121 >= -68374444 @ 54.6311
56.79/57.07	c bounds -121 >= -68373444 @ 54.641
56.79/57.07	c bounds -121 >= -68372444 @ 54.776
56.79/57.07	c bounds -121 >= -68371444 @ 54.7845
56.79/57.07	c bounds -121 >= -68370444 @ 54.7957
56.79/57.07	c bounds -121 >= -68369444 @ 54.854
56.79/57.07	c bounds -121 >= -68368444 @ 54.863
56.79/57.07	c bounds -121 >= -68367444 @ 54.8894
56.79/57.07	c bounds -121 >= -68366444 @ 54.9
56.79/57.07	c bounds -121 >= -68365444 @ 54.9201
56.79/57.07	c bounds -121 >= -68364444 @ 54.9368
56.79/57.07	c bounds -121 >= -68363444 @ 54.9556
56.79/57.07	c bounds -121 >= -68362444 @ 54.9667
56.79/57.07	c bounds -121 >= -68361444 @ 54.983
56.79/57.07	c bounds -121 >= -68360444 @ 55.0074
56.79/57.07	c bounds -121 >= -68359444 @ 55.0316
56.79/57.07	c bounds -121 >= -68358444 @ 55.0531
56.79/57.07	c bounds -121 >= -68357444 @ 55.0738
56.79/57.07	c bounds -121 >= -68356444 @ 55.1033
714.77/717.21	c bounds -121 >= -68355444 @ 55.1143
714.77/717.21	c bounds -121 >= -68354444 @ 55.1313
714.77/717.21	c bounds -121 >= -68353444 @ 55.2039
714.77/717.21	c bounds -121 >= -68352444 @ 55.2281
714.77/717.21	c bounds -121 >= -68351444 @ 55.2616
714.77/717.21	c bounds -121 >= -68350444 @ 55.323
714.77/717.21	c bounds -121 >= -68349444 @ 55.3438
714.77/717.21	c bounds -121 >= -68348444 @ 55.3976
714.77/717.21	c bounds -121 >= -68347444 @ 55.5056
714.77/717.21	c bounds -121 >= -68346444 @ 55.5506
714.77/717.21	c bounds -121 >= -68345444 @ 55.6131
714.77/717.21	c bounds -121 >= -68344444 @ 55.6362
714.77/717.21	c bounds -121 >= -68343444 @ 55.6727
714.77/717.21	c bounds -121 >= -68342444 @ 55.7236
714.77/717.21	c #Conflicts:       1000 | #Constraints:     402520
714.77/717.21	c bounds -121 >= -68341444 @ 56.7482
714.77/717.21	c bounds -121 >= -68340444 @ 57.037
714.77/717.21	c bounds -121 >= -68339444 @ 57.1742
714.77/717.21	c bounds -121 >= -68338444 @ 57.2747
714.77/717.21	c bounds -121 >= -68337444 @ 57.2978
714.77/717.21	c bounds -121 >= -68336444 @ 57.3568
714.77/717.21	c bounds -121 >= -68335444 @ 57.3644
714.77/717.21	c bounds -121 >= -68334444 @ 57.3718
714.77/717.21	c bounds -121 >= -68333444 @ 57.3791
714.77/717.21	c bounds -121 >= -68332444 @ 57.4405
714.77/717.21	c bounds -121 >= -68331444 @ 57.4596
714.77/717.21	c bounds -121 >= -68330444 @ 57.4926
714.77/717.21	c bounds -121 >= -68329444 @ 57.5114
714.77/717.21	c bounds -121 >= -68328444 @ 57.5465
714.77/717.21	c bounds -121 >= -68327444 @ 57.6465
714.77/717.21	c bounds -121 >= -68326444 @ 58.0903
714.77/717.21	c bounds -121 >= -68325444 @ 58.3639
714.77/717.21	c bounds -121 >= -68324444 @ 58.797
714.77/717.21	c bounds -121 >= -68323444 @ 59.4702
714.77/717.21	c bounds -121 >= -68322444 @ 60.1799
714.77/717.21	c bounds -121 >= -68321444 @ 60.4398
714.77/717.21	c bounds -121 >= -68320444 @ 60.6815
714.77/717.21	c bounds -121 >= -68319444 @ 61.2332
714.77/717.21	c bounds -121 >= -68318444 @ 61.4415
714.77/717.21	c bounds -121 >= -68317444 @ 61.6712
714.77/717.21	c bounds -121 >= -68316444 @ 61.8516
714.77/717.21	c bounds -121 >= -68315444 @ 62.074
714.77/717.21	c bounds -121 >= -68314444 @ 62.3755
714.77/717.21	c #Conflicts:       2000 | #Constraints:     403731
714.77/717.21	c INPROCESSING
714.77/717.21	c GARBAGE COLLECT
714.77/717.21	c bounds -121 >= -68313444 @ 115.519
714.77/717.21	c bounds -121 >= -68312444 @ 115.925
714.77/717.21	c bounds -121 >= -68311444 @ 116.213
714.77/717.21	c bounds -121 >= -68310444 @ 117.283
714.77/717.21	c bounds -121 >= -68309444 @ 117.422
714.77/717.21	c bounds -121 >= -68308444 @ 117.551
714.77/717.21	c bounds -121 >= -68307444 @ 118.012
714.77/717.21	c bounds -121 >= -68306444 @ 118.079
714.77/717.21	c bounds -121 >= -68305444 @ 118.375
714.77/717.21	c bounds -121 >= -68304444 @ 118.783
714.77/717.21	c bounds -121 >= -68303444 @ 118.949
714.77/717.21	c bounds -121 >= -68302444 @ 119.146
714.77/717.21	c #Conflicts:       3000 | #Constraints:     384567
714.77/717.21	c bounds -121 >= -68301444 @ 119.44
714.77/717.21	c bounds -121 >= -68300444 @ 119.66
714.77/717.21	c bounds -121 >= -68299444 @ 120.011
714.77/717.21	c bounds -121 >= -68298444 @ 120.307
714.77/717.21	c #Conflicts:       4000 | #Constraints:     385632
714.77/717.21	c bounds -121 >= -68297444 @ 120.868
714.77/717.21	c bounds -121 >= -68296444 @ 121.19
714.77/717.21	c INPROCESSING
714.77/717.21	c bounds -121 >= -68295444 @ 121.913
714.77/717.21	c bounds -121 >= -68294444 @ 122.675
714.77/717.21	c #Conflicts:       5000 | #Constraints:     385105
714.77/717.21	c bounds -121 >= -68293444 @ 123.543
714.77/717.21	c bounds -121 >= -68292444 @ 125.042
714.77/717.21	c #Conflicts:       6000 | #Constraints:     386143
714.77/717.21	c bounds -121 >= -68291444 @ 172.37
714.77/717.21	c INPROCESSING
714.77/717.21	c GARBAGE COLLECT
714.77/717.21	c #Conflicts:       7000 | #Constraints:     385204
714.77/717.21	c bounds -121 >= -68290444 @ 174.077
714.77/717.21	c bounds -121 >= -68289444 @ 174.796
714.77/717.21	c #Conflicts:       8000 | #Constraints:     386241
714.77/717.21	c bounds -121 >= -68288444 @ 175.535
714.77/717.21	c bounds -121 >= -68287444 @ 176.787
714.77/717.21	c #Conflicts:       9000 | #Constraints:     387287
714.77/717.21	c INPROCESSING
714.77/717.21	c rational objective -75929.5
1371.59/1376.19	c bounds -121 >= -68286444 @ 709.943
1371.59/1376.19	c #Conflicts:      10000 | #Constraints:     386035
1371.59/1376.19	c bounds -591 >= -68286444 @ 714.482
1371.59/1376.19	c bounds -769 >= -68286444 @ 714.676
1371.59/1376.19	c bounds -1300 >= -68286444 @ 714.888
1371.59/1376.19	c #Conflicts:      11000 | #Constraints:     387038
1371.59/1376.19	c bounds -1300 >= -68285444 @ 717.538
1371.59/1376.19	c bounds -1730 >= -68285444 @ 737.152
1371.59/1376.19	c #Conflicts:      12000 | #Constraints:     388068
1371.59/1376.19	c INPROCESSING
1371.59/1376.19	c GARBAGE COLLECT
1371.59/1376.19	c #Conflicts:      13000 | #Constraints:     386537
1371.59/1376.19	c bounds -1730 >= -68284444 @ 740.197
1371.59/1376.19	c #Conflicts:      14000 | #Constraints:     387557
1371.59/1376.19	c bounds -1730 >= -68283444 @ 741.911
1371.59/1376.19	c #Conflicts:      15000 | #Constraints:     388586
1371.59/1376.19	c INPROCESSING
1371.59/1376.19	c #Conflicts:      16000 | #Constraints:     386818
1371.59/1376.19	c #Conflicts:      17000 | #Constraints:     387818
1371.59/1376.19	c bounds -1730 >= -68282444 @ 744.705
1371.59/1376.19	c #Conflicts:      18000 | #Constraints:     388838
1371.59/1376.19	c INPROCESSING
1371.59/1376.19	c GARBAGE COLLECT
1371.59/1376.19	c #Conflicts:      19000 | #Constraints:     386865
1371.59/1376.19	c bounds -1730 >= -68281444 @ 901.434
1371.59/1376.19	c #Conflicts:      20000 | #Constraints:     387894
1371.59/1376.19	c #Conflicts:      21000 | #Constraints:     388894
1371.59/1376.19	c INPROCESSING
1371.59/1376.19	c #Conflicts:      22000 | #Constraints:     386722
1371.59/1376.19	c #Conflicts:      23000 | #Constraints:     387722
1371.59/1376.19	c bounds -1730 >= -68280444 @ 986.394
1371.59/1376.19	c #Conflicts:      24000 | #Constraints:     388754
1371.59/1376.19	c #Conflicts:      25000 | #Constraints:     389754
1371.59/1376.19	c INPROCESSING
1371.59/1376.19	c #Conflicts:      26000 | #Constraints:     387379
1371.59/1376.19	c #Conflicts:      27000 | #Constraints:     388379
1371.59/1376.19	c bounds -1730 >= -68279444 @ 990.163
1371.59/1376.19	c #Conflicts:      28000 | #Constraints:     389402
1371.59/1376.19	c #Conflicts:      29000 | #Constraints:     390402
1371.59/1376.19	c INPROCESSING
1371.59/1376.19	c GARBAGE COLLECT
1371.59/1376.19	c #Conflicts:      30000 | #Constraints:     387810
1371.59/1376.19	c #Conflicts:      31000 | #Constraints:     388810
1371.59/1376.19	c #Conflicts:      32000 | #Constraints:     389810
1371.59/1376.19	c bounds -1730 >= -68278444 @ 995.624
1371.59/1376.19	c #Conflicts:      33000 | #Constraints:     390824
1371.59/1376.19	c INPROCESSING
1371.59/1376.19	c rational objective -75929.5
1650.74/1656.23	c #Conflicts:      34000 | #Constraints:     388034
1650.74/1656.23	c #Conflicts:      35000 | #Constraints:     389034
1650.74/1656.23	c #Conflicts:      36000 | #Constraints:     390034
1650.74/1656.23	c #Conflicts:      37000 | #Constraints:     391034
1650.74/1656.23	c INPROCESSING
1650.74/1656.23	c #Conflicts:      38000 | #Constraints:     388031
1650.74/1656.23	c bounds -1730 >= -68277444 @ 1361.87
1650.74/1656.23	c #Conflicts:      39000 | #Constraints:     389066
1650.74/1656.23	c #Conflicts:      40000 | #Constraints:     390066
1650.74/1656.23	c #Conflicts:      41000 | #Constraints:     391066
1650.74/1656.23	c INPROCESSING
1650.74/1656.23	c GARBAGE COLLECT
1650.74/1656.23	c #Conflicts:      42000 | #Constraints:     387866
1650.74/1656.23	c #Conflicts:      43000 | #Constraints:     388866
1650.74/1656.23	c #Conflicts:      44000 | #Constraints:     389866
1650.74/1656.23	c #Conflicts:      45000 | #Constraints:     390866
1650.74/1656.23	c #Conflicts:      46000 | #Constraints:     391866
1650.74/1656.23	c INPROCESSING
1650.74/1656.23	c #Conflicts:      47000 | #Constraints:     388472
1650.74/1656.23	c #Conflicts:      48000 | #Constraints:     389472
1650.74/1656.23	c #Conflicts:      49000 | #Constraints:     390472
1650.74/1656.23	c #Conflicts:      50000 | #Constraints:     391472
1650.74/1656.23	c bounds -1730 >= -68276444 @ 1373.5
1650.74/1656.23	c #Conflicts:      51000 | #Constraints:     392504
1650.74/1656.23	c INPROCESSING
1650.74/1656.23	c #Conflicts:      52000 | #Constraints:     388892
1650.74/1656.23	c #Conflicts:      53000 | #Constraints:     389892
1650.74/1656.23	c #Conflicts:      54000 | #Constraints:     390892
1650.74/1656.23	c #Conflicts:      55000 | #Constraints:     391892
1650.74/1656.23	c #Conflicts:      56000 | #Constraints:     392892
1650.74/1656.23	c INPROCESSING
1650.74/1656.23	c GARBAGE COLLECT
1650.74/1656.23	c rational objective -75929.5
1959.61/1966.16	c #Conflicts:      57000 | #Constraints:     389100
1959.61/1966.16	c #Conflicts:      58000 | #Constraints:     390100
1959.61/1966.16	c #Conflicts:      59000 | #Constraints:     391100
1959.61/1966.16	c #Conflicts:      60000 | #Constraints:     392100
1959.61/1966.16	c #Conflicts:      61000 | #Constraints:     393100
1959.61/1966.16	c INPROCESSING
1959.61/1966.16	c rational objective -75929.5

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=9489, runsolver pid=9486
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.10 4.10 4.03 5/262 9490
/proc/meminfo: memFree=128149540/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=106804 memory=60852 CPUtime=0.08 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 8480 0 0 0 6 2 0 0 20 0 1 0 1061872 109367296 15213 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 26701 15213 1364 992 0 18559 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 106804 KiB
Current children cumulated memory: 60852 KiB

[startup+0.205808 s]*
/proc/loadavg: 4.10 4.10 4.03 5/262 9490
/proc/meminfo: memFree=128104484/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=153936 memory=97036 CPUtime=0.18 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 10924 0 0 0 14 4 0 0 20 0 1 0 1061872 157630464 24259 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 38484 24259 1396 992 0 30342 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 97036 KiB

[startup+0.305594 s]*
/proc/loadavg: 4.10 4.10 4.03 5/262 9490
/proc/meminfo: memFree=128103024/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=153936 memory=99608 CPUtime=0.28 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 11089 0 0 0 21 7 0 0 20 0 1 0 1061872 157630464 24902 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 38484 24902 1396 992 0 30342 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 99608 KiB

[startup+0.700202 s]
/proc/loadavg: 4.10 4.10 4.03 5/262 9490
/proc/meminfo: memFree=128100432/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=165100 memory=108376 CPUtime=0.67 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 12749 0 0 0 53 14 0 0 20 0 1 0 1061872 169062400 27094 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 41275 27094 1396 992 0 33133 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 165100 KiB
Current children cumulated memory: 108376 KiB

[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.03 5/262 9490
/proc/meminfo: memFree=128090516/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=188656 memory=125552 CPUtime=1.47 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 14963 0 0 0 114 33 0 0 20 0 1 0 1061872 193183744 31388 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 47164 31388 1396 992 0 39022 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 188656 KiB
Current children cumulated memory: 125552 KiB

[startup+3.10568 s]
/proc/loadavg: 4.10 4.10 4.03 5/262 9490
/proc/meminfo: memFree=127620276/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=682048 memory=591412 CPUtime=3.07 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 64962 0 0 0 258 49 0 0 20 0 1 0 1061872 698417152 147853 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 170512 147853 1794 992 0 162370 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 591412 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.10 4.03 5/261 9491
/proc/meminfo: memFree=127595124/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=682048 memory=591508 CPUtime=6.25 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 65041 0 0 0 576 49 0 0 20 0 1 0 1061872 698417152 147877 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 170512 147877 1794 992 0 162370 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 591508 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.04 5/261 9491
/proc/meminfo: memFree=127512988/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=790524 memory=684876 CPUtime=12.62 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 75211 0 0 0 1171 91 0 0 20 0 1 0 1061872 809496576 171219 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 197631 171219 1840 992 0 189489 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 790524 KiB
Current children cumulated memory: 684876 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.04 5/261 9494
/proc/meminfo: memFree=127112156/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=928124 memory=824640 CPUtime=25.39 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 94412 0 0 0 2401 138 0 0 20 0 1 0 1061872 950398976 206160 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 232031 206160 1840 992 0 223889 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 928124 KiB
Current children cumulated memory: 824640 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.10 4.04 5/260 9498
/proc/meminfo: memFree=126140108/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=1670624 memory=1532568 CPUtime=50.91 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 176996 0 0 0 4926 165 0 0 20 0 1 0 1061872 1710718976 383142 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 417656 383142 1840 992 0 409514 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1670624 KiB
Current children cumulated memory: 1532568 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/258 9507
/proc/meminfo: memFree=125419480/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=2155212 memory=1936480 CPUtime=101.92 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 226975 0 0 0 9955 237 0 0 20 0 1 0 1061872 2206937088 484120 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 538803 484120 1840 992 0 530661 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2155212 KiB
Current children cumulated memory: 1936480 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/258 9518
/proc/meminfo: memFree=125065932/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=2251148 memory=2006360 CPUtime=161.68 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 229323 0 0 0 15766 402 0 0 20 0 1 0 1061872 2305175552 501590 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 562787 501590 1894 992 0 554645 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 2251148 KiB
Current children cumulated memory: 2006360 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/258 9531
/proc/meminfo: memFree=124768144/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=2263676 memory=2031300 CPUtime=221.47 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 230184 0 0 0 21615 532 0 0 20 0 1 0 1061872 2318004224 507825 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 565919 507825 1894 992 0 557777 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 2263676 KiB
Current children cumulated memory: 2031300 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/257 9542
/proc/meminfo: memFree=124719596/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=2263676 memory=2034100 CPUtime=281.25 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 230612 0 0 0 27564 561 0 0 20 0 1 0 1061872 2318004224 508525 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 565919 508525 1894 992 0 557777 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 2263676 KiB
Current children cumulated memory: 2034100 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/257 9552
/proc/meminfo: memFree=124675160/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=2276208 memory=2047264 CPUtime=341.03 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 231190 0 0 0 33537 566 0 0 20 0 1 0 1061872 2330836992 511816 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 569052 511816 1894 992 0 560910 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 2276208 KiB
Current children cumulated memory: 2047264 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.12 4.05 5/259 9567
/proc/meminfo: memFree=124622284/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=2276208 memory=2047580 CPUtime=400.8 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 231528 0 0 0 39510 570 0 0 20 0 1 0 1061872 2330836992 511895 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 569052 511895 1894 992 0 560910 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 2276208 KiB
Current children cumulated memory: 2047580 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/259 9578
/proc/meminfo: memFree=124484336/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=2344156 memory=2080032 CPUtime=460.59 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 232746 0 0 0 45483 576 0 0 20 0 1 0 1061872 2400415744 520008 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 586039 520008 1894 992 0 577897 0

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

[startup+3102.3 s]
/proc/loadavg: 4.36 4.26 4.17 5/261 11115
/proc/meminfo: memFree=88248648/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=4571972 memory=4099644 CPUtime=3092.33 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 536036 0 0 0 307280 1953 0 0 20 0 1 0 1061872 4681699328 1024911 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1142993 1024911 1894 992 0 1134851 0
Current children cumulated CPU time: 3092.33 s
Current children cumulated vsize: 4571972 KiB
Current children cumulated memory: 4099644 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/261 11125
/proc/meminfo: memFree=88053900/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=4571972 memory=4099644 CPUtime=3152.13 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 536590 0 0 0 313256 1957 0 0 20 0 1 0 1061872 4681699328 1024911 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1142993 1024911 1894 992 0 1134851 0
Current children cumulated CPU time: 3152.13 s
Current children cumulated vsize: 4571972 KiB
Current children cumulated memory: 4099644 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/260 11138
/proc/meminfo: memFree=86350592/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5034568 memory=4461892 CPUtime=3211.92 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 608328 0 0 0 318890 2302 0 0 20 0 1 0 1061872 5155397632 1115473 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1258642 1115473 1894 992 0 1250500 0
Current children cumulated CPU time: 3211.92 s
Current children cumulated vsize: 5034568 KiB
Current children cumulated memory: 4461892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.21 4.16 5/262 11319
/proc/meminfo: memFree=85766384/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5060428 memory=4466004 CPUtime=3271.72 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 608621 0 0 0 324865 2307 0 0 20 0 1 0 1061872 5181878272 1116501 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1265107 1116501 1894 992 0 1256965 0
Current children cumulated CPU time: 3271.72 s
Current children cumulated vsize: 5060428 KiB
Current children cumulated memory: 4466004 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/262 11329
/proc/meminfo: memFree=85026872/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4482480 CPUtime=3331.53 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 609120 0 0 0 330820 2333 0 0 20 0 1 0 1061872 5194711040 1120620 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1120620 1894 992 0 1260098 0
Current children cumulated CPU time: 3331.53 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4482480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.15 4.14 5/263 11636
/proc/meminfo: memFree=87230696/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4482564 CPUtime=3391.33 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 609613 0 0 0 336796 2337 0 0 20 0 1 0 1061872 5194711040 1120641 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1120641 1894 992 0 1260098 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4482564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/263 11646
/proc/meminfo: memFree=86536588/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4483408 CPUtime=3451.11 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 610098 0 0 0 342768 2343 0 0 20 0 1 0 1061872 5194711040 1120852 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1120852 1894 992 0 1260098 0
Current children cumulated CPU time: 3451.11 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4483408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/262 11702
/proc/meminfo: memFree=118246572/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4485528 CPUtime=3510.92 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 610660 0 0 0 348744 2348 0 0 20 0 1 0 1061872 5194711040 1121382 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1121382 1894 992 0 1260098 0
Current children cumulated CPU time: 3510.92 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4485528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/261 11713
/proc/meminfo: memFree=117246064/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4485636 CPUtime=3570.74 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 611164 0 0 0 354723 2351 0 0 20 0 1 0 1061872 5194711040 1121409 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1121409 1894 992 0 1260098 0
Current children cumulated CPU time: 3570.74 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4485636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.18 4.15 4.14 5/261 11999
/proc/meminfo: memFree=118186860/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4485816 CPUtime=3600.05 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 611418 0 0 0 357653 2352 0 0 20 0 1 0 1061872 5194711040 1121454 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1121454 1894 992 0 1260098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4485816 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3578.53 s, system=23.5433 s

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

[startup+3612.8 s]
/proc/loadavg: 4.18 4.15 4.14 5/261 11999
/proc/meminfo: memFree=118180476/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4485816 CPUtime=3601.15 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 611418 0 0 0 357763 2352 0 0 20 0 1 0 1061872 5194711040 1121454 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1121454 1894 992 0 1260098 0
Current children cumulated CPU time: 3601.15 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4485816 KiB

[startup+3613.2 s]
/proc/loadavg: 4.18 4.15 4.14 5/261 11999
/proc/meminfo: memFree=118174876/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4485816 CPUtime=3601.55 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 611418 0 0 0 357803 2352 0 0 20 0 1 0 1061872 5194711040 1121454 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1121454 1894 992 0 1260098 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4485816 KiB

[startup+3613.6 s]
/proc/loadavg: 4.18 4.15 4.14 5/261 11999
/proc/meminfo: memFree=118174876/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4485816 CPUtime=3601.95 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 611418 0 0 0 357843 2352 0 0 20 0 1 0 1061872 5194711040 1121454 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1121454 1894 992 0 1260098 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4485816 KiB

[startup+3613.7 s]
/proc/loadavg: 4.18 4.15 4.14 5/261 11999
/proc/meminfo: memFree=118174876/131524600 swapFree=131071996/131071996
[pid=9489] ppid=9486 vsize=5072960 memory=4485816 CPUtime=3602.05 cores=0,2
/proc/9489/stat : 9489 (roundingsat) R 9486 9489 6746 0 -1 4194304 611418 0 0 0 357853 2352 0 0 20 0 1 0 1061872 5194711040 1121454 134679101440 4194304 8255733 140731460557920 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 42487808 140731460563806 140731460564068 140731460564068 140731460571081 0
/proc/9489/statm: 1268240 1121454 1894 992 0 1260098 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 5072960 KiB
Current children cumulated memory: 4485816 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.72
CPU time (s): 3602.07
CPU user time (s): 3578.53
CPU system time (s): 23.5433
CPU usage (%): 99.6777
Max. virtual memory (cumulated for all children) (KiB): 5072960
Max. memory (cumulated for all children) (KiB): 4485816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.53
system time used= 23.5433
maximum resident set size= 4485816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10406352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 25269


# summary of solver processes directly reported to runsolver:
#   pid: 9489
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3578.53
#   total CPU system time (s): 23.5433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32261 second user time and 16.3335 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-30 15:04:23
IDJOB=4462786
IDBENCH=158125
IDSOLVER=3089
FILE ID=nodeC014/4462786-1722344662
RUNJOBID= nodeC014-1722340763-6757
SLURM_JOB_ID= 8248977
Free space on /tmp= 890000 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_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-4462786-1722344662/watcher-4462786-1722344662 -o /tmp/evaluation-result-4462786-1722344662/solver-4462786-1722344662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6757 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462786-1722344662 --lp-cut-gomory=0 HOME/instance-4462786-1722344662.opb

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

MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=86805721

nodeC014.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		: 3632.070
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	: 7000.06
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		: 3687.042
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	: 7007.10
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		: 3673.507
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	: 7000.06
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		: 3600.095
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	: 7007.10
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		: 3672.454
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	: 7000.06
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		: 3687.050
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	: 7007.10
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		: 3601.048
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	: 7000.06
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		: 3600.230
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	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128202308 kB
MemAvailable:   128795596 kB
Buffers:           52956 kB
Cached:          1374280 kB
SwapCached:            0 kB
Active:           200388 kB
Inactive:        2648640 kB
Active(anon):       1524 kB
Inactive(anon):  1441664 kB
Active(file):     198864 kB
Inactive(file):  1206976 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             53288 kB
Writeback:             0 kB
AnonPages:       1421460 kB
Mapped:            97992 kB
Shmem:             21336 kB
KReclaimable:      54188 kB
Slab:             133784 kB
SReclaimable:      54188 kB
SUnreclaim:        79596 kB
KernelStack:        4224 kB
PageTables:        12168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1808280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 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:      174804 kB
DirectMap2M:    10084352 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC014 at 2024-07-30 16:04:36