Trace number 4462484

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.1 3615.41

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb
MD5SUMb3d827c1cec2288f345531c85d1b4d53
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-42772
Best CPU time to get the best result obtained on this benchmark3585.96
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
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 11015136
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 11015136
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.19/0.22	c #variables 40451 #constraints 40949
1.18/1.24	c bounds - >= -11015136 @ 0.167211
1.18/1.24	c bounds 0 >= -11015136 @ 1.06893
1.18/1.24	c bounds 0 >= -10950136 @ 1.07005
1.18/1.24	c bounds 0 >= -10885136 @ 1.07096
1.18/1.24	c bounds 0 >= -10820136 @ 1.07144
1.18/1.24	c bounds 0 >= -10755136 @ 1.07194
1.18/1.24	c bounds 0 >= -10690136 @ 1.07243
1.18/1.24	c bounds 0 >= -10625136 @ 1.07294
1.18/1.24	c bounds 0 >= -10560136 @ 1.07342
1.18/1.24	c bounds 0 >= -10495136 @ 1.07393
1.18/1.24	c bounds 0 >= -10430136 @ 1.07438
1.18/1.24	c bounds 0 >= -10365136 @ 1.07482
1.18/1.24	c bounds 0 >= -10300136 @ 1.07526
1.18/1.24	c bounds 0 >= -10235136 @ 1.07573
1.18/1.24	c bounds 0 >= -10170136 @ 1.07617
1.18/1.24	c bounds 0 >= -10105136 @ 1.07663
1.18/1.24	c bounds 0 >= -10040136 @ 1.07709
1.18/1.24	c bounds 0 >= -9975136 @ 1.07753
1.18/1.24	c bounds 0 >= -9910136 @ 1.07799
1.18/1.24	c bounds 0 >= -9845136 @ 1.07843
1.18/1.24	c bounds 0 >= -9780136 @ 1.07889
1.18/1.24	c bounds 0 >= -9715136 @ 1.07931
1.18/1.24	c bounds 0 >= -9650136 @ 1.07975
1.18/1.24	c bounds 0 >= -9585136 @ 1.08018
1.18/1.24	c bounds 0 >= -9520136 @ 1.08059
1.18/1.24	c bounds 0 >= -9455136 @ 1.08101
1.18/1.24	c bounds 0 >= -9390136 @ 1.08142
1.18/1.24	c bounds 0 >= -9325136 @ 1.08184
1.18/1.24	c bounds 0 >= -9260136 @ 1.08227
1.18/1.24	c bounds 0 >= -9195136 @ 1.08267
1.18/1.24	c bounds 0 >= -9130136 @ 1.08308
1.18/1.24	c bounds 0 >= -9065136 @ 1.08349
1.18/1.24	c bounds 0 >= -9000136 @ 1.08391
1.18/1.24	c bounds 0 >= -8935136 @ 1.08429
1.18/1.24	c bounds 0 >= -8934136 @ 1.08664
1.18/1.24	c bounds 0 >= -8806410 @ 1.08712
1.18/1.24	c bounds 0 >= -8805410 @ 1.08916
1.18/1.24	c bounds 0 >= -8692271 @ 1.08963
1.18/1.24	c bounds 0 >= -8691271 @ 1.09157
1.18/1.24	c bounds 0 >= -8568396 @ 1.09202
1.18/1.24	c bounds 0 >= -8567396 @ 1.0936
1.18/1.24	c bounds 0 >= -8476019 @ 1.09403
1.18/1.24	c bounds 0 >= -8475019 @ 1.0955
1.18/1.24	c bounds 0 >= -8361445 @ 1.09596
1.18/1.24	c bounds 0 >= -8360445 @ 1.09703
1.18/1.24	c bounds 0 >= -8301929 @ 1.09741
1.18/1.24	c bounds 0 >= -8300929 @ 1.09846
1.18/1.24	c bounds 0 >= -8241539 @ 1.09883
1.18/1.24	c bounds 0 >= -8183539 @ 1.09937
1.18/1.24	c bounds 0 >= -8182539 @ 1.09972
1.18/1.24	c bounds 0 >= -8181539 @ 1.1001
1.18/1.24	c bounds 0 >= -8180539 @ 1.1005
1.18/1.24	c bounds 0 >= -8179539 @ 1.10096
1.18/1.24	c bounds 0 >= -8178539 @ 1.10154
1.18/1.24	c bounds 0 >= -8120539 @ 1.10207
1.18/1.24	c bounds 0 >= -8119539 @ 1.10239
1.18/1.24	c bounds 0 >= -8118539 @ 1.10276
1.18/1.24	c bounds 0 >= -8117539 @ 1.10316
1.18/1.24	c bounds 0 >= -8116539 @ 1.10359
1.18/1.24	c bounds 0 >= -8115539 @ 1.10417
1.18/1.24	c bounds 0 >= -8057539 @ 1.10469
1.18/1.24	c bounds 0 >= -8056539 @ 1.10502
1.18/1.24	c bounds 0 >= -8055539 @ 1.10537
1.18/1.24	c bounds 0 >= -8054539 @ 1.10577
1.18/1.24	c bounds 0 >= -8053539 @ 1.10624
1.18/1.24	c bounds 0 >= -8052539 @ 1.10679
1.18/1.24	c bounds 0 >= -7994539 @ 1.10731
1.18/1.24	c bounds 0 >= -7993539 @ 1.10763
1.18/1.24	c bounds 0 >= -7992539 @ 1.10798
1.18/1.24	c bounds 0 >= -7991539 @ 1.10838
1.18/1.24	c bounds 0 >= -7990539 @ 1.10883
1.18/1.24	c bounds 0 >= -7989539 @ 1.10936
1.18/1.24	c bounds 0 >= -7931539 @ 1.1099
1.18/1.24	c bounds 0 >= -7872539 @ 1.11024
1.18/1.24	c bounds 0 >= -7813539 @ 1.11058
1.18/1.24	c bounds 0 >= -7754539 @ 1.11095
1.18/1.24	c bounds 0 >= -7695539 @ 1.11128
1.18/1.24	c bounds 0 >= -7636539 @ 1.11164
1.18/1.24	c bounds 0 >= -7574539 @ 1.11198
1.18/1.24	c bounds 0 >= -7513539 @ 1.11241
1.18/1.24	c bounds 0 >= -7452539 @ 1.11277
1.18/1.24	c bounds 0 >= -7391539 @ 1.11312
1.18/1.24	c bounds 0 >= -7329539 @ 1.11344
1.18/1.24	c bounds 0 >= -7267539 @ 1.11378
1.18/1.24	c bounds 0 >= -7205539 @ 1.1141
1.18/1.24	c bounds 0 >= -7143539 @ 1.11443
1.18/1.24	c bounds 0 >= -7081539 @ 1.11477
1.18/1.24	c bounds 0 >= -7019539 @ 1.11508
1.18/1.24	c bounds 0 >= -6957539 @ 1.1154
1.18/1.24	c bounds 0 >= -6896539 @ 1.11571
1.18/1.24	c bounds 0 >= -6835539 @ 1.11602
1.18/1.24	c bounds 0 >= -6774539 @ 1.11636
1.18/1.24	c bounds 0 >= -6712539 @ 1.11667
1.18/1.24	c bounds 0 >= -6650539 @ 1.11696
1.18/1.24	c bounds 0 >= -6588539 @ 1.11725
1.18/1.24	c bounds 0 >= -6526539 @ 1.11755
1.18/1.24	c bounds 0 >= -6464539 @ 1.11785
1.18/1.24	c bounds 0 >= -6402539 @ 1.11814
1.18/1.24	c bounds 0 >= -6340539 @ 1.11844
1.18/1.24	c bounds 0 >= -6278539 @ 1.11874
1.18/1.24	c bounds 0 >= -6216539 @ 1.11901
1.18/1.24	c bounds 0 >= -6155539 @ 1.11929
1.18/1.24	c bounds 0 >= -6094539 @ 1.11957
1.18/1.24	c bounds 0 >= -6033539 @ 1.11984
1.18/1.24	c bounds 0 >= -5972539 @ 1.12011
1.18/1.24	c bounds 0 >= -5911539 @ 1.12037
1.18/1.24	c bounds 0 >= -5850539 @ 1.12063
1.18/1.24	c bounds 0 >= -5791539 @ 1.12088
1.18/1.24	c bounds 0 >= -5732539 @ 1.12115
1.18/1.24	c bounds 0 >= -5673539 @ 1.12142
1.18/1.24	c bounds 0 >= -5614539 @ 1.12167
1.18/1.24	c bounds 0 >= -5556539 @ 1.12191
1.18/1.24	c bounds 0 >= -5498539 @ 1.12214
1.18/1.24	c bounds 0 >= -5440539 @ 1.12237
1.18/1.24	c bounds 0 >= -5382539 @ 1.12261
1.18/1.24	c bounds 0 >= -5324539 @ 1.12284
1.18/1.24	c bounds 0 >= -5266539 @ 1.12306
1.18/1.24	c bounds 0 >= -5208539 @ 1.12329
1.18/1.24	c bounds 0 >= -5150539 @ 1.12352
1.18/1.24	c bounds 0 >= -5092539 @ 1.12375
1.18/1.24	c bounds 0 >= -5034539 @ 1.12398
1.18/1.24	c bounds 0 >= -4976539 @ 1.1242
1.18/1.24	c bounds 0 >= -4918539 @ 1.12443
1.18/1.24	c bounds 0 >= -4860539 @ 1.12466
87.18/87.52	c bounds 0 >= -4802539 @ 1.12489
87.18/87.52	c bounds 0 >= -4744539 @ 1.12511
87.18/87.52	c bounds 0 >= -4686539 @ 1.12532
87.18/87.52	c bounds 0 >= -4628539 @ 1.12552
87.18/87.52	c bounds 0 >= -4570539 @ 1.12571
87.18/87.52	c bounds 0 >= -4512539 @ 1.1259
87.18/87.52	c bounds 0 >= -4454539 @ 1.12609
87.18/87.52	c bounds 0 >= -4396539 @ 1.1263
87.18/87.52	c bounds 0 >= -4338539 @ 1.12683
87.18/87.52	c bounds 0 >= -4280719 @ 1.12714
87.18/87.52	c #Conflicts:       1000 | #Constraints:      42152
87.18/87.52	c #Conflicts:       2000 | #Constraints:      43152
87.18/87.52	c INPROCESSING
87.18/87.52	c GARBAGE COLLECT
87.18/87.52	c bounds -18000 >= -4280719 @ 9.18843
87.18/87.52	c bounds -18820 >= -4280719 @ 9.20193
87.18/87.52	c bounds -19006 >= -4280719 @ 9.21714
87.18/87.52	c bounds -19778 >= -4280719 @ 9.23893
87.18/87.52	c bounds -20778 >= -4280719 @ 9.31395
87.18/87.52	c bounds -20962 >= -4280719 @ 9.33892
87.18/87.52	c bounds -21135 >= -4280719 @ 9.35148
87.18/87.52	c bounds -21364 >= -4280719 @ 9.3649
87.18/87.52	c bounds -21924 >= -4280719 @ 9.38303
87.18/87.52	c bounds -22103 >= -4280719 @ 9.40559
87.18/87.52	c bounds -22406 >= -4280719 @ 9.42043
87.18/87.52	c bounds -22795 >= -4280719 @ 9.44214
87.18/87.52	c bounds -23087 >= -4280719 @ 9.4652
87.18/87.52	c bounds -23107 >= -4280719 @ 9.5094
87.18/87.52	c bounds -23681 >= -4280719 @ 9.52948
87.18/87.52	c bounds -24273 >= -4280719 @ 9.55136
87.18/87.52	c bounds -25237 >= -4280719 @ 10.0378
87.18/87.52	c bounds -26031 >= -4280719 @ 10.2265
87.18/87.52	c bounds -26051 >= -4280719 @ 10.4757
87.18/87.52	c bounds -26540 >= -4280719 @ 11.1546
87.18/87.52	c bounds -26540 >= -3917215 @ 11.1558
87.18/87.52	c bounds -26540 >= -3867337 @ 11.1567
87.18/87.52	c bounds -26540 >= -3866337 @ 12.0024
87.18/87.52	c bounds -26540 >= -3865337 @ 12.0379
87.18/87.52	c bounds -26540 >= -3864337 @ 12.0493
87.18/87.52	c bounds -26540 >= -3863337 @ 12.1628
87.18/87.52	c bounds -26540 >= -3862337 @ 12.285
87.18/87.52	c #Conflicts:       3000 | #Constraints:      36403
87.18/87.52	c bounds -26540 >= -3861337 @ 12.4947
87.18/87.52	c bounds -26703 >= -3861337 @ 12.575
87.18/87.52	c bounds -26703 >= -3860337 @ 12.7189
87.18/87.52	c bounds -26709 >= -3860337 @ 13.5031
87.18/87.52	c bounds -26709 >= -3859337 @ 13.7427
87.18/87.52	c bounds -26709 >= -3858337 @ 14.4586
87.18/87.52	c #Conflicts:       4000 | #Constraints:      37455
87.18/87.52	c INPROCESSING
87.18/87.52	c GARBAGE COLLECT
87.18/87.52	c bounds -26759 >= -3858337 @ 15.4159
87.18/87.52	c bounds -26759 >= -3809637 @ 15.417
87.18/87.52	c bounds -26759 >= -3808637 @ 15.5959
87.18/87.52	c bounds -26932 >= -3808637 @ 17.8504
87.18/87.52	c #Conflicts:       5000 | #Constraints:      36876
87.18/87.52	c bounds -26932 >= -3807637 @ 18.6642
87.18/87.52	c bounds -26932 >= -3806637 @ 19.723
87.18/87.52	c bounds -27111 >= -3806637 @ 19.7437
87.18/87.52	c bounds -27329 >= -3806637 @ 19.7642
87.18/87.52	c bounds -27364 >= -3806637 @ 19.7828
87.18/87.52	c bounds -27472 >= -3806637 @ 19.824
87.18/87.52	c bounds -27479 >= -3806637 @ 19.8497
87.18/87.52	c bounds -27617 >= -3806637 @ 19.8674
87.18/87.52	c bounds -27972 >= -3806637 @ 19.8982
87.18/87.52	c bounds -28035 >= -3806637 @ 19.9752
87.18/87.52	c bounds -28085 >= -3806637 @ 20.2196
87.18/87.52	c bounds -28219 >= -3806637 @ 20.3067
87.18/87.52	c #Conflicts:       6000 | #Constraints:      37911
87.18/87.52	c bounds -28239 >= -3806637 @ 23.3416
87.18/87.52	c INPROCESSING
87.18/87.52	c GARBAGE COLLECT
87.18/87.52	c #Conflicts:       7000 | #Constraints:      36921
87.18/87.52	c #Conflicts:       8000 | #Constraints:      37921
87.18/87.52	c bounds -28239 >= -3805637 @ 38.1014
87.18/87.52	c bounds -28766 >= -3805637 @ 38.1498
87.18/87.52	c bounds -29038 >= -3805637 @ 38.6576
87.18/87.52	c bounds -29288 >= -3805637 @ 39.0018
87.18/87.52	c bounds -29351 >= -3805637 @ 39.0456
87.18/87.52	c bounds -29371 >= -3805637 @ 39.2318
87.18/87.52	c bounds -29569 >= -3805637 @ 39.2552
87.18/87.52	c bounds -29619 >= -3805637 @ 39.3598
87.18/87.52	c bounds -29753 >= -3805637 @ 39.6955
87.18/87.52	c bounds -30135 >= -3805637 @ 40.2503
87.18/87.52	c #Conflicts:       9000 | #Constraints:      38941
87.18/87.52	c INPROCESSING
87.18/87.52	c GARBAGE COLLECT
87.18/87.52	c rational objective -47217.8
394.14/395.59	c bounds -30155 >= -3805637 @ 86.0276
394.14/395.59	c bounds -30744 >= -3805637 @ 86.6086
394.14/395.59	c bounds -30897 >= -3805637 @ 86.6749
394.14/395.59	c bounds -30903 >= -3805637 @ 86.7783
394.14/395.59	c bounds -30904 >= -3805637 @ 88.107
394.14/395.59	c bounds -30904 >= -3757437 @ 88.1081
394.14/395.59	c #Conflicts:      10000 | #Constraints:      37650
394.14/395.59	c #Conflicts:      11000 | #Constraints:      38650
394.14/395.59	c #Conflicts:      12000 | #Constraints:      39650
394.14/395.59	c INPROCESSING
394.14/395.59	c GARBAGE COLLECT
394.14/395.59	c bounds -31029 >= -3757437 @ 96.2146
394.14/395.59	c bounds -31047 >= -3757437 @ 98.0471
394.14/395.59	c bounds -31171 >= -3757437 @ 98.1106
394.14/395.59	c bounds -31234 >= -3757437 @ 100.304
394.14/395.59	c bounds -31410 >= -3757437 @ 103.361
394.14/395.59	c bounds -31410 >= -3707361 @ 103.362
394.14/395.59	c #Conflicts:      13000 | #Constraints:      38117
394.14/395.59	c #Conflicts:      14000 | #Constraints:      39117
394.14/395.59	c #Conflicts:      15000 | #Constraints:      40117
394.14/395.59	c INPROCESSING
394.14/395.59	c GARBAGE COLLECT
394.14/395.59	c bounds -31657 >= -3707361 @ 112.071
394.14/395.59	c bounds -31695 >= -3707361 @ 112.691
394.14/395.59	c bounds -31735 >= -3707361 @ 113.661
394.14/395.59	c bounds -31908 >= -3707361 @ 113.721
394.14/395.59	c bounds -31928 >= -3707361 @ 113.745
394.14/395.59	c bounds -31947 >= -3707361 @ 113.916
394.14/395.59	c bounds -32003 >= -3707361 @ 114.026
394.14/395.59	c bounds -32034 >= -3707361 @ 114.114
394.14/395.59	c bounds -32097 >= -3707361 @ 114.653
394.14/395.59	c bounds -32099 >= -3707361 @ 114.7
394.14/395.59	c bounds -32480 >= -3707361 @ 116.46
394.14/395.59	c bounds -32486 >= -3707361 @ 116.494
394.14/395.59	c bounds -32493 >= -3707361 @ 117.489
394.14/395.59	c bounds -32539 >= -3707361 @ 117.521
394.14/395.59	c bounds -32587 >= -3707361 @ 117.995
394.14/395.59	c bounds -32607 >= -3707361 @ 118.031
394.14/395.59	c bounds -32625 >= -3707361 @ 118.092
394.14/395.59	c bounds -32778 >= -3707361 @ 118.194
394.14/395.59	c bounds -32784 >= -3707361 @ 118.237
394.14/395.59	c bounds -32935 >= -3707361 @ 118.541
394.14/395.59	c bounds -32960 >= -3707361 @ 124.094
394.14/395.59	c bounds -32960 >= -3657961 @ 124.096
394.14/395.59	c #Conflicts:      16000 | #Constraints:      38378
394.14/395.59	c #Conflicts:      17000 | #Constraints:      39378
394.14/395.59	c #Conflicts:      18000 | #Constraints:      40378
394.14/395.59	c INPROCESSING
394.14/395.59	c GARBAGE COLLECT
394.14/395.59	c bounds -32966 >= -3657961 @ 139.709
394.14/395.59	c bounds -33060 >= -3657961 @ 140.946
394.14/395.59	c bounds -33099 >= -3657961 @ 141.023
394.14/395.59	c bounds -33110 >= -3657961 @ 141.107
394.14/395.59	c bounds -33130 >= -3657961 @ 141.125
394.14/395.59	c bounds -33283 >= -3657961 @ 141.224
394.14/395.59	c bounds -33383 >= -3657961 @ 143.644
394.14/395.59	c bounds -33385 >= -3657961 @ 143.703
394.14/395.59	c #Conflicts:      19000 | #Constraints:      38384
394.14/395.59	c bounds -33443 >= -3657961 @ 162.71
394.14/395.59	c bounds -33443 >= -3657020 @ 162.712
394.14/395.59	c bounds -33443 >= -3611852 @ 162.714
394.14/395.59	c #Conflicts:      20000 | #Constraints:      39390
394.14/395.59	c #Conflicts:      21000 | #Constraints:      40390
394.14/395.59	c INPROCESSING
394.14/395.59	c GARBAGE COLLECT
394.14/395.59	c bounds -33688 >= -3611852 @ 178.101
394.14/395.59	c bounds -33769 >= -3611852 @ 178.244
394.14/395.59	c bounds -33808 >= -3611852 @ 178.338
394.14/395.59	c bounds -33822 >= -3611852 @ 181.853
394.14/395.59	c bounds -33828 >= -3611852 @ 181.927
394.14/395.59	c #Conflicts:      22000 | #Constraints:      38206
394.14/395.59	c bounds -33981 >= -3611852 @ 189.656
394.14/395.59	c bounds -33981 >= -3555752 @ 189.657
394.14/395.59	c #Conflicts:      23000 | #Constraints:      39212
394.14/395.59	c bounds -33981 >= -3554811 @ 225.528
394.14/395.59	c #Conflicts:      24000 | #Constraints:      40217
394.14/395.59	c #Conflicts:      25000 | #Constraints:      41217
394.14/395.59	c INPROCESSING
394.14/395.59	c GARBAGE COLLECT
394.14/395.59	c bounds -34000 >= -3554811 @ 238.558
394.14/395.59	c #Conflicts:      26000 | #Constraints:      38844
394.14/395.59	c bounds -34238 >= -3554811 @ 249.136
394.14/395.59	c bounds -34238 >= -3500177 @ 249.137
394.14/395.59	c #Conflicts:      27000 | #Constraints:      39847
394.14/395.59	c #Conflicts:      28000 | #Constraints:      40847
394.14/395.59	c #Conflicts:      29000 | #Constraints:      41847
394.14/395.59	c INPROCESSING
394.14/395.59	c GARBAGE COLLECT
394.14/395.59	c bounds -34288 >= -3500177 @ 266.236
394.14/395.59	c #Conflicts:      30000 | #Constraints:      39254
394.14/395.59	c bounds -34335 >= -3500177 @ 283.28
394.14/395.59	c bounds -34514 >= -3500177 @ 283.34
394.14/395.59	c bounds -34548 >= -3500177 @ 284.591
394.14/395.59	c bounds -34562 >= -3500177 @ 284.727
394.14/395.59	c bounds -34604 >= -3500177 @ 293.581
394.14/395.59	c bounds -34604 >= -3444677 @ 293.582
394.14/395.59	c #Conflicts:      31000 | #Constraints:      40261
394.14/395.59	c #Conflicts:      32000 | #Constraints:      41261
394.14/395.59	c #Conflicts:      33000 | #Constraints:      42261
394.14/395.59	c INPROCESSING
394.14/395.59	c GARBAGE COLLECT
394.14/395.59	c rational objective -47217.8
1032.08/1035.65	c bounds -34610 >= -3444677 @ 405.685
1032.08/1035.65	c bounds -34610 >= -3394297 @ 405.686
1032.08/1035.65	c #Conflicts:      34000 | #Constraints:      39482
1032.08/1035.65	c #Conflicts:      35000 | #Constraints:      40482
1032.08/1035.65	c #Conflicts:      36000 | #Constraints:      41482
1032.08/1035.65	c #Conflicts:      37000 | #Constraints:      42482
1032.08/1035.65	c INPROCESSING
1032.08/1035.65	c GARBAGE COLLECT
1032.08/1035.65	c bounds -34622 >= -3394297 @ 423.252
1032.08/1035.65	c #Conflicts:      38000 | #Constraints:      39490
1032.08/1035.65	c #Conflicts:      39000 | #Constraints:      40490
1032.08/1035.65	c bounds -34674 >= -3394297 @ 455.052
1032.08/1035.65	c bounds -34674 >= -3339397 @ 455.053
1032.08/1035.65	c #Conflicts:      40000 | #Constraints:      41493
1032.08/1035.65	c #Conflicts:      41000 | #Constraints:      42493
1032.08/1035.65	c INPROCESSING
1032.08/1035.65	c GARBAGE COLLECT
1032.08/1035.65	c #Conflicts:      42000 | #Constraints:      39315
1032.08/1035.65	c #Conflicts:      43000 | #Constraints:      40315
1032.08/1035.65	c #Conflicts:      44000 | #Constraints:      41315
1032.08/1035.65	c #Conflicts:      45000 | #Constraints:      42315
1032.08/1035.65	c #Conflicts:      46000 | #Constraints:      43315
1032.08/1035.65	c INPROCESSING
1032.08/1035.65	c GARBAGE COLLECT
1032.08/1035.65	c #Conflicts:      47000 | #Constraints:      39950
1032.08/1035.65	c #Conflicts:      48000 | #Constraints:      40950
1032.08/1035.65	c #Conflicts:      49000 | #Constraints:      41950
1032.08/1035.65	c #Conflicts:      50000 | #Constraints:      42950
1032.08/1035.65	c #Conflicts:      51000 | #Constraints:      43950
1032.08/1035.65	c INPROCESSING
1032.08/1035.65	c GARBAGE COLLECT
1032.08/1035.65	c #Conflicts:      52000 | #Constraints:      40248
1032.08/1035.65	c #Conflicts:      53000 | #Constraints:      41248
1032.08/1035.65	c #Conflicts:      54000 | #Constraints:      42248
1032.08/1035.65	c #Conflicts:      55000 | #Constraints:      43248
1032.08/1035.65	c #Conflicts:      56000 | #Constraints:      44248
1032.08/1035.65	c #Conflicts:      57000 | #Constraints:      45248
1032.08/1035.65	c #Conflicts:      58000 | #Constraints:      46248
1032.08/1035.65	c #Conflicts:      59000 | #Constraints:      47248
1032.08/1035.65	c #Conflicts:      60000 | #Constraints:      48248
1032.08/1035.65	c bounds -34732 >= -3339397 @ 701.53
1032.08/1035.65	c bounds -34905 >= -3339397 @ 701.632
1032.08/1035.65	c bounds -34925 >= -3339397 @ 701.68
1032.08/1035.65	c bounds -34931 >= -3339397 @ 701.729
1032.08/1035.65	c bounds -35084 >= -3339397 @ 701.806
1032.08/1035.65	c bounds -35106 >= -3339397 @ 701.859
1032.08/1035.65	c bounds -35279 >= -3339397 @ 702.567
1032.08/1035.65	c bounds -35299 >= -3339397 @ 702.626
1032.08/1035.65	c bounds -35397 >= -3339397 @ 702.714
1032.08/1035.65	c bounds -35570 >= -3339397 @ 702.859
1032.08/1035.65	c bounds -35590 >= -3339397 @ 702.909
1032.08/1035.65	c bounds -35725 >= -3339397 @ 703.377
1032.08/1035.65	c bounds -35731 >= -3339397 @ 703.45
1032.08/1035.65	c bounds -35802 >= -3339397 @ 703.808
1032.08/1035.65	c bounds -35818 >= -3339397 @ 704.096
1032.08/1035.65	c bounds -35827 >= -3339397 @ 705.012
1032.08/1035.65	c bounds -35833 >= -3339397 @ 705.713
1032.08/1035.65	c #Conflicts:      61000 | #Constraints:      49265
1032.08/1035.65	c bounds -35858 >= -3339397 @ 713.606
1032.08/1035.65	c bounds -35874 >= -3339397 @ 713.729
1032.08/1035.65	c bounds -35908 >= -3339397 @ 713.832
1032.08/1035.65	c #Conflicts:      62000 | #Constraints:      50268
1032.08/1035.65	c #Conflicts:      63000 | #Constraints:      51268
1032.08/1035.65	c #Conflicts:      64000 | #Constraints:      52268
1032.08/1035.65	c bounds -36001 >= -3339397 @ 792.911
1032.08/1035.65	c bounds -36001 >= -3273447 @ 792.914
1032.08/1035.65	c #Conflicts:      65000 | #Constraints:      53271
1032.08/1035.65	c #Conflicts:      66000 | #Constraints:      54271
1032.08/1035.65	c #Conflicts:      67000 | #Constraints:      55271
1032.08/1035.65	c #Conflicts:      68000 | #Constraints:      56271
1032.08/1035.65	c #Conflicts:      69000 | #Constraints:      57271
1032.08/1035.65	c #Conflicts:      70000 | #Constraints:      58271
1032.08/1035.65	c INPROCESSING
1032.08/1035.65	c GARBAGE COLLECT
1032.08/1035.65	c rational objective -47217.8
1101.28/1105.01	c #Conflicts:      71000 | #Constraints:      47277
1101.28/1105.01	c #Conflicts:      72000 | #Constraints:      48277
1101.28/1105.01	c #Conflicts:      73000 | #Constraints:      49277
1101.28/1105.01	c #Conflicts:      74000 | #Constraints:      50277
1101.28/1105.01	c #Conflicts:      75000 | #Constraints:      51277
1101.28/1105.01	c #Conflicts:      76000 | #Constraints:      52277
1101.28/1105.01	c INPROCESSING
1101.28/1105.01	c GARBAGE COLLECT
1101.28/1105.01	c rational objective -47217.8
1166.48/1170.45	c #Conflicts:      77000 | #Constraints:      44301
1166.48/1170.45	c #Conflicts:      78000 | #Constraints:      45301
1166.48/1170.45	c #Conflicts:      79000 | #Constraints:      46301
1166.48/1170.45	c #Conflicts:      80000 | #Constraints:      47301
1166.48/1170.45	c #Conflicts:      81000 | #Constraints:      48301
1166.48/1170.45	c #Conflicts:      82000 | #Constraints:      49301
1166.48/1170.45	c INPROCESSING
1166.48/1170.45	c GARBAGE COLLECT
1166.48/1170.45	c rational objective -47217.8
1287.42/1291.71	c bounds -36014 >= -3273447 @ 1154.91
1287.42/1291.71	c #Conflicts:      83000 | #Constraints:      42619
1287.42/1291.71	c #Conflicts:      84000 | #Constraints:      43619
1287.42/1291.71	c #Conflicts:      85000 | #Constraints:      44619
1287.42/1291.71	c bounds -36016 >= -3273447 @ 1202.13
1287.42/1291.71	c bounds -36016 >= -3227598 @ 1202.13
1287.42/1291.71	c #Conflicts:      86000 | #Constraints:      45622
1287.42/1291.71	c #Conflicts:      87000 | #Constraints:      46622
1287.42/1291.71	c #Conflicts:      88000 | #Constraints:      47622
1287.42/1291.71	c #Conflicts:      89000 | #Constraints:      48622
1287.42/1291.71	c INPROCESSING
1287.42/1291.71	c GARBAGE COLLECT
1287.42/1291.71	c rational objective -47217.8
1656.41/1661.92	c #Conflicts:      90000 | #Constraints:      42531
1656.41/1661.92	c #Conflicts:      91000 | #Constraints:      43531
1656.41/1661.92	c #Conflicts:      92000 | #Constraints:      44531
1656.41/1661.92	c #Conflicts:      93000 | #Constraints:      45531
1656.41/1661.92	c #Conflicts:      94000 | #Constraints:      46531
1656.41/1661.92	c #Conflicts:      95000 | #Constraints:      47531
1656.41/1661.92	c #Conflicts:      96000 | #Constraints:      48531
1656.41/1661.92	c INPROCESSING
1656.41/1661.92	c GARBAGE COLLECT
1656.41/1661.92	c #Conflicts:      97000 | #Constraints:      42679
1656.41/1661.92	c #Conflicts:      98000 | #Constraints:      43679
1656.41/1661.92	c #Conflicts:      99000 | #Constraints:      44679
1656.41/1661.92	c #Conflicts:     100000 | #Constraints:      45679
1656.41/1661.92	c #Conflicts:     101000 | #Constraints:      46679
1656.41/1661.92	c #Conflicts:     102000 | #Constraints:      47679
1656.41/1661.92	c INPROCESSING
1656.41/1661.92	c GARBAGE COLLECT
1656.41/1661.92	c #Conflicts:     103000 | #Constraints:      41826
1656.41/1661.92	c #Conflicts:     104000 | #Constraints:      42826
1656.41/1661.92	c #Conflicts:     105000 | #Constraints:      43826
1656.41/1661.92	c #Conflicts:     106000 | #Constraints:      44826
1656.41/1661.92	c #Conflicts:     107000 | #Constraints:      45826
1656.41/1661.92	c #Conflicts:     108000 | #Constraints:      46826
1656.41/1661.92	c #Conflicts:     109000 | #Constraints:      47826
1656.41/1661.92	c #Conflicts:     110000 | #Constraints:      48826
1656.41/1661.92	c #Conflicts:     111000 | #Constraints:      49826
1656.41/1661.92	c #Conflicts:     112000 | #Constraints:      50826
1656.41/1661.92	c #Conflicts:     113000 | #Constraints:      51826
1656.41/1661.92	c #Conflicts:     114000 | #Constraints:      52826
1656.41/1661.92	c #Conflicts:     115000 | #Constraints:      53826
1656.41/1661.92	c #Conflicts:     116000 | #Constraints:      54826
1656.41/1661.92	c #Conflicts:     117000 | #Constraints:      55826
1656.41/1661.92	c #Conflicts:     118000 | #Constraints:      56826
1656.41/1661.92	c #Conflicts:     119000 | #Constraints:      57826
1656.41/1661.92	c #Conflicts:     120000 | #Constraints:      58826
1656.41/1661.92	c #Conflicts:     121000 | #Constraints:      59826
1656.41/1661.92	c #Conflicts:     122000 | #Constraints:      60826
1656.41/1661.92	c #Conflicts:     123000 | #Constraints:      61826
1656.41/1661.92	c #Conflicts:     124000 | #Constraints:      62826
1656.41/1661.92	c #Conflicts:     125000 | #Constraints:      63826
1656.41/1661.92	c #Conflicts:     126000 | #Constraints:      64826
1656.41/1661.92	c #Conflicts:     127000 | #Constraints:      65826
1656.41/1661.92	c #Conflicts:     128000 | #Constraints:      66826
1656.41/1661.92	c #Conflicts:     129000 | #Constraints:      67826
1656.41/1661.92	c INPROCESSING
1656.41/1661.92	c GARBAGE COLLECT
1656.41/1661.92	c rational objective -47217.8
2366.38/2374.25	c #Conflicts:     130000 | #Constraints:      51912
2366.38/2374.25	c bounds -36059 >= -3227598 @ 1650.65
2366.38/2374.25	c bounds -36068 >= -3227598 @ 1656.43
2366.38/2374.25	c #Conflicts:     131000 | #Constraints:      52929
2366.38/2374.25	c bounds -36164 >= -3227598 @ 1659.09
2366.38/2374.25	c bounds -36250 >= -3227598 @ 1663.17
2366.38/2374.25	c bounds -36779 >= -3227598 @ 1663.42
2366.38/2374.25	c bounds -36780 >= -3227598 @ 1664.89
2366.38/2374.25	c bounds -36899 >= -3227598 @ 1665.21
2366.38/2374.25	c bounds -36931 >= -3227598 @ 1669.42
2366.38/2374.25	c bounds -36947 >= -3227598 @ 1669.63
2366.38/2374.25	c bounds -37086 >= -3227598 @ 1670.3
2366.38/2374.25	c bounds -37259 >= -3227598 @ 1670.42
2366.38/2374.25	c #Conflicts:     132000 | #Constraints:      53980
2366.38/2374.25	c bounds -37272 >= -3227598 @ 1692.62
2366.38/2374.25	c bounds -37306 >= -3227598 @ 1692.8
2366.38/2374.25	c bounds -37328 >= -3227598 @ 1692.98
2366.38/2374.25	c #Conflicts:     133000 | #Constraints:      54999
2366.38/2374.25	c bounds -37383 >= -3227598 @ 1700.46
2366.38/2374.25	c #Conflicts:     134000 | #Constraints:      56000
2366.38/2374.25	c bounds -37450 >= -3227598 @ 1732.99
2366.38/2374.25	c bounds -37647 >= -3227598 @ 1733.59
2366.38/2374.25	c bounds -37760 >= -3227598 @ 1733.98
2366.38/2374.25	c bounds -37766 >= -3227598 @ 1734.31
2366.38/2374.25	c #Conflicts:     135000 | #Constraints:      57027
2366.38/2374.25	c bounds -37813 >= -3227598 @ 1762.9
2366.38/2374.25	c bounds -37833 >= -3227598 @ 1856.56
2366.38/2374.25	c bounds -37833 >= -3180628 @ 1856.56
2366.38/2374.25	c #Conflicts:     136000 | #Constraints:      58048
2366.38/2374.25	c #Conflicts:     137000 | #Constraints:      59048
2366.38/2374.25	c #Conflicts:     138000 | #Constraints:      60048
2366.38/2374.25	c INPROCESSING
2366.38/2374.25	c GARBAGE COLLECT
2366.38/2374.25	c #Conflicts:     139000 | #Constraints:      48423
2366.38/2374.25	c #Conflicts:     140000 | #Constraints:      49423
2366.38/2374.25	c #Conflicts:     141000 | #Constraints:      50423
2366.38/2374.25	c #Conflicts:     142000 | #Constraints:      51423
2366.38/2374.25	c #Conflicts:     143000 | #Constraints:      52423
2366.38/2374.25	c #Conflicts:     144000 | #Constraints:      53423
2366.38/2374.25	c #Conflicts:     145000 | #Constraints:      54423
2366.38/2374.25	c #Conflicts:     146000 | #Constraints:      55423
2366.38/2374.25	c INPROCESSING
2366.38/2374.25	c GARBAGE COLLECT
2366.38/2374.25	c #Conflicts:     147000 | #Constraints:      45946
2366.38/2374.25	c #Conflicts:     148000 | #Constraints:      46946
2366.38/2374.25	c #Conflicts:     149000 | #Constraints:      47946
2366.38/2374.25	c #Conflicts:     150000 | #Constraints:      48946
2366.38/2374.25	c #Conflicts:     151000 | #Constraints:      49946
2366.38/2374.25	c #Conflicts:     152000 | #Constraints:      50946
2366.38/2374.25	c #Conflicts:     153000 | #Constraints:      51946
2366.38/2374.25	c #Conflicts:     154000 | #Constraints:      52946
2366.38/2374.25	c #Conflicts:     155000 | #Constraints:      53946
2366.38/2374.25	c INPROCESSING
2366.38/2374.25	c GARBAGE COLLECT
2366.38/2374.25	c #Conflicts:     156000 | #Constraints:      45411
2366.38/2374.25	c #Conflicts:     157000 | #Constraints:      46411
2366.38/2374.25	c #Conflicts:     158000 | #Constraints:      47411
2366.38/2374.25	c #Conflicts:     159000 | #Constraints:      48411
2366.38/2374.25	c #Conflicts:     160000 | #Constraints:      49411
2366.38/2374.25	c #Conflicts:     161000 | #Constraints:      50411
2366.38/2374.25	c #Conflicts:     162000 | #Constraints:      51411
2366.38/2374.25	c #Conflicts:     163000 | #Constraints:      52411
2366.38/2374.25	c INPROCESSING
2366.38/2374.25	c GARBAGE COLLECT
2366.38/2374.25	c #Conflicts:     164000 | #Constraints:      44247
2366.38/2374.25	c #Conflicts:     165000 | #Constraints:      45247
2366.38/2374.25	c #Conflicts:     166000 | #Constraints:      46247
2366.38/2374.25	c #Conflicts:     167000 | #Constraints:      47247
2366.38/2374.25	c #Conflicts:     168000 | #Constraints:      48247
2366.38/2374.25	c #Conflicts:     169000 | #Constraints:      49247
2366.38/2374.25	c #Conflicts:     170000 | #Constraints:      50247
2366.38/2374.25	c #Conflicts:     171000 | #Constraints:      51247
2366.38/2374.25	c #Conflicts:     172000 | #Constraints:      52247
2366.38/2374.25	c #Conflicts:     173000 | #Constraints:      53247
2366.38/2374.25	c #Conflicts:     174000 | #Constraints:      54247
2366.38/2374.25	c #Conflicts:     175000 | #Constraints:      55247
2366.38/2374.25	c #Conflicts:     176000 | #Constraints:      56247
2366.38/2374.25	c #Conflicts:     177000 | #Constraints:      57247
2366.38/2374.25	c #Conflicts:     178000 | #Constraints:      58247
2366.38/2374.25	c #Conflicts:     179000 | #Constraints:      59247
2366.38/2374.25	c #Conflicts:     180000 | #Constraints:      60247
2366.38/2374.25	c #Conflicts:     181000 | #Constraints:      61247
2366.38/2374.25	c #Conflicts:     182000 | #Constraints:      62247
2366.38/2374.25	c #Conflicts:     183000 | #Constraints:      63247
2366.38/2374.25	c #Conflicts:     184000 | #Constraints:      64247
2366.38/2374.25	c #Conflicts:     185000 | #Constraints:      65247
2366.38/2374.25	c #Conflicts:     186000 | #Constraints:      66247
2366.38/2374.25	c #Conflicts:     187000 | #Constraints:      67247
2366.38/2374.25	c #Conflicts:     188000 | #Constraints:      68247
2366.38/2374.25	c #Conflicts:     189000 | #Constraints:      69247
2366.38/2374.25	c #Conflicts:     190000 | #Constraints:      70247
2450.96/2459.15	c #Conflicts:     191000 | #Constraints:      71247
2450.96/2459.15	c #Conflicts:     192000 | #Constraints:      72247
2450.96/2459.15	c #Conflicts:     193000 | #Constraints:      73247
2450.96/2459.15	c #Conflicts:     194000 | #Constraints:      74247
2450.96/2459.15	c #Conflicts:     195000 | #Constraints:      75247
2450.96/2459.15	c #Conflicts:     196000 | #Constraints:      76247
2450.96/2459.15	c #Conflicts:     197000 | #Constraints:      77247
2450.96/2459.15	c INPROCESSING
2450.96/2459.15	c GARBAGE COLLECT
2450.96/2459.15	c rational objective -47217.8
2611.26/2620.05	c #Conflicts:     198000 | #Constraints:      57041
2611.26/2620.05	c #Conflicts:     199000 | #Constraints:      58041
2611.26/2620.05	c #Conflicts:     200000 | #Constraints:      59041
2611.26/2620.05	c #Conflicts:     201000 | #Constraints:      60041
2611.26/2620.05	c #Conflicts:     202000 | #Constraints:      61041
2611.26/2620.05	c #Conflicts:     203000 | #Constraints:      62041
2611.26/2620.05	c #Conflicts:     204000 | #Constraints:      63041
2611.26/2620.05	c #Conflicts:     205000 | #Constraints:      64041
2611.26/2620.05	c #Conflicts:     206000 | #Constraints:      65041
2611.26/2620.05	c #Conflicts:     207000 | #Constraints:      66041
2611.26/2620.05	c INPROCESSING
2611.26/2620.05	c GARBAGE COLLECT
2611.26/2620.05	c rational objective -47217.8
3539.41/3551.76	c #Conflicts:     208000 | #Constraints:      51386
3539.41/3551.76	c #Conflicts:     209000 | #Constraints:      52386
3539.41/3551.76	c #Conflicts:     210000 | #Constraints:      53386
3539.41/3551.76	c #Conflicts:     211000 | #Constraints:      54386
3539.41/3551.76	c #Conflicts:     212000 | #Constraints:      55386
3539.41/3551.76	c #Conflicts:     213000 | #Constraints:      56386
3539.41/3551.76	c #Conflicts:     214000 | #Constraints:      57386
3539.41/3551.76	c #Conflicts:     215000 | #Constraints:      58386
3539.41/3551.76	c #Conflicts:     216000 | #Constraints:      59386
3539.41/3551.76	c #Conflicts:     217000 | #Constraints:      60386
3539.41/3551.76	c INPROCESSING
3539.41/3551.76	c GARBAGE COLLECT
3539.41/3551.76	c #Conflicts:     218000 | #Constraints:      48454
3539.41/3551.76	c #Conflicts:     219000 | #Constraints:      49454
3539.41/3551.76	c #Conflicts:     220000 | #Constraints:      50454
3539.41/3551.76	c #Conflicts:     221000 | #Constraints:      51454
3539.41/3551.76	c #Conflicts:     222000 | #Constraints:      52454
3539.41/3551.76	c #Conflicts:     223000 | #Constraints:      53454
3539.41/3551.76	c #Conflicts:     224000 | #Constraints:      54454
3539.41/3551.76	c #Conflicts:     225000 | #Constraints:      55454
3539.41/3551.76	c #Conflicts:     226000 | #Constraints:      56454
3539.41/3551.76	c #Conflicts:     227000 | #Constraints:      57454
3539.41/3551.76	c #Conflicts:     228000 | #Constraints:      58454
3539.41/3551.76	c INPROCESSING
3539.41/3551.76	c GARBAGE COLLECT
3539.41/3551.76	c #Conflicts:     229000 | #Constraints:      47761
3539.41/3551.76	c #Conflicts:     230000 | #Constraints:      48761
3539.41/3551.76	c #Conflicts:     231000 | #Constraints:      49761
3539.41/3551.76	c #Conflicts:     232000 | #Constraints:      50761
3539.41/3551.76	c #Conflicts:     233000 | #Constraints:      51761
3539.41/3551.76	c #Conflicts:     234000 | #Constraints:      52761
3539.41/3551.76	c #Conflicts:     235000 | #Constraints:      53761
3539.41/3551.76	c #Conflicts:     236000 | #Constraints:      54761
3539.41/3551.76	c #Conflicts:     237000 | #Constraints:      55761
3539.41/3551.76	c #Conflicts:     238000 | #Constraints:      56761
3539.41/3551.76	c #Conflicts:     239000 | #Constraints:      57761
3539.41/3551.76	c #Conflicts:     240000 | #Constraints:      58761
3539.41/3551.76	c #Conflicts:     241000 | #Constraints:      59761
3539.41/3551.76	c #Conflicts:     242000 | #Constraints:      60761
3539.41/3551.76	c #Conflicts:     243000 | #Constraints:      61761
3539.41/3551.76	c #Conflicts:     244000 | #Constraints:      62761
3539.41/3551.76	c #Conflicts:     245000 | #Constraints:      63761
3539.41/3551.76	c #Conflicts:     246000 | #Constraints:      64761
3539.41/3551.76	c #Conflicts:     247000 | #Constraints:      65761
3539.41/3551.76	c #Conflicts:     248000 | #Constraints:      66761
3539.41/3551.76	c #Conflicts:     249000 | #Constraints:      67761
3539.41/3551.76	c #Conflicts:     250000 | #Constraints:      68761
3539.41/3551.76	c #Conflicts:     251000 | #Constraints:      69761
3539.41/3551.76	c #Conflicts:     252000 | #Constraints:      70761
3539.41/3551.76	c #Conflicts:     253000 | #Constraints:      71761
3539.41/3551.76	c #Conflicts:     254000 | #Constraints:      72761
3539.41/3551.76	c #Conflicts:     255000 | #Constraints:      73761
3539.41/3551.76	c #Conflicts:     256000 | #Constraints:      74761
3539.41/3551.76	c #Conflicts:     257000 | #Constraints:      75761
3539.41/3551.76	c #Conflicts:     258000 | #Constraints:      76761
3539.41/3551.76	c #Conflicts:     259000 | #Constraints:      77761
3539.41/3551.76	c #Conflicts:     260000 | #Constraints:      78761
3539.41/3551.76	c #Conflicts:     261000 | #Constraints:      79761
3539.41/3551.76	c #Conflicts:     262000 | #Constraints:      80761
3539.41/3551.76	c #Conflicts:     263000 | #Constraints:      81761
3539.41/3551.76	c #Conflicts:     264000 | #Constraints:      82761
3539.41/3551.76	c #Conflicts:     265000 | #Constraints:      83761
3539.41/3551.76	c #Conflicts:     266000 | #Constraints:      84761
3539.41/3551.76	c INPROCESSING
3539.41/3551.76	c GARBAGE COLLECT
3539.41/3551.76	c bounds -37839 >= -3180628 @ 3177.23
3539.41/3551.76	c #Conflicts:     267000 | #Constraints:      60555
3539.41/3551.76	c bounds -37874 >= -3180628 @ 3198.04
3539.41/3551.76	c #Conflicts:     268000 | #Constraints:      61556
3539.41/3551.76	c #Conflicts:     269000 | #Constraints:      62556
3539.41/3551.76	c #Conflicts:     270000 | #Constraints:      63556
3539.41/3551.76	c #Conflicts:     271000 | #Constraints:      64556
3539.41/3551.76	c #Conflicts:     272000 | #Constraints:      65556
3539.41/3551.76	c #Conflicts:     273000 | #Constraints:      66556
3539.41/3551.76	c #Conflicts:     274000 | #Constraints:      67556
3539.41/3551.76	c #Conflicts:     275000 | #Constraints:      68556
3539.41/3551.76	c bounds -37878 >= -3180628 @ 3344.14
3539.41/3551.76	c bounds -37878 >= -3132460 @ 3344.14
3539.41/3551.76	c #Conflicts:     276000 | #Constraints:      69559
3539.41/3551.76	c #Conflicts:     277000 | #Constraints:      70559
3539.41/3551.76	c #Conflicts:     278000 | #Constraints:      71559
3539.41/3551.76	c INPROCESSING
3539.41/3551.76	c GARBAGE COLLECT
3539.41/3551.76	c rational objective -47217.8

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462484-1722344501/watcher-4462484-1722344501 -o /tmp/evaluation-result-4462484-1722344501/solver-4462484-1722344501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7945 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462484-1722344501 --lp-cut-gomory=0 HOME/instance-4462484-1722344501.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
Current StackSize limit: 8192 KiB

solver pid=10363, runsolver pid=10360

[startup+0.100091 s]*
/proc/loadavg: 4.15 4.19 4.11 5/261 10364
/proc/meminfo: memFree=58706428/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=48292 memory=16892 CPUtime=0.08 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 4577 0 0 0 7 1 0 0 20 0 1 0 1052384 49451008 4223 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 12073 4223 1328 992 0 3931 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48292 KiB
Current children cumulated memory: 16892 KiB

[startup+0.205697 s]*
/proc/loadavg: 4.15 4.19 4.11 5/261 10364
/proc/meminfo: memFree=58653204/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=62100 memory=34172 CPUtime=0.19 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 9267 0 0 0 15 4 0 0 20 0 1 0 1052384 63590400 8543 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 15525 8543 1630 992 0 7383 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62100 KiB
Current children cumulated memory: 34172 KiB

[startup+0.305694 s]*
/proc/loadavg: 4.15 4.19 4.11 5/261 10364
/proc/meminfo: memFree=58572776/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=97196 memory=65684 CPUtime=0.3 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 16843 0 0 0 24 6 0 0 20 0 1 0 1052384 99528704 16421 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 24299 16421 1726 992 0 16157 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97196 KiB
Current children cumulated memory: 65684 KiB

[startup+0.700238 s]
/proc/loadavg: 4.15 4.19 4.11 5/261 10364
/proc/meminfo: memFree=57821964/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=105416 memory=72548 CPUtime=0.68 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 18549 0 0 0 62 6 0 0 20 0 1 0 1052384 107945984 18137 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 26354 18137 1726 992 0 18212 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105416 KiB
Current children cumulated memory: 72548 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 4.19 4.11 5/261 10364
/proc/meminfo: memFree=57443532/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=114784 memory=80844 CPUtime=1.47 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 20094 0 0 0 136 11 0 0 20 0 1 0 1052384 117538816 20211 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 28696 20211 1774 992 0 20554 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 114784 KiB
Current children cumulated memory: 80844 KiB

[startup+3.10603 s]
/proc/loadavg: 4.15 4.19 4.11 5/261 10364
/proc/meminfo: memFree=56352692/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=124288 memory=90672 CPUtime=3.08 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 22043 0 0 0 293 15 0 0 20 0 1 0 1052384 127270912 22668 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 31072 22668 1774 992 0 22930 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124288 KiB
Current children cumulated memory: 90672 KiB

[startup+6.30024 s]
/proc/loadavg: 4.22 4.21 4.11 5/261 10364
/proc/meminfo: memFree=57082240/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=144268 memory=109108 CPUtime=6.26 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 24618 0 0 0 607 19 0 0 20 0 1 0 1052384 147730432 27277 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 36067 27277 1774 992 0 27925 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144268 KiB
Current children cumulated memory: 109108 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.20 4.11 5/261 10366
/proc/meminfo: memFree=56692360/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=175460 memory=140024 CPUtime=12.63 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 28712 0 0 0 1224 39 0 0 20 0 1 0 1052384 179671040 35006 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 43865 35006 1835 992 0 35723 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 175460 KiB
Current children cumulated memory: 140024 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.19 4.11 5/261 10367
/proc/meminfo: memFree=55664328/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=308352 memory=261336 CPUtime=25.39 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 47810 0 0 0 2466 73 0 0 20 0 1 0 1052384 315752448 65334 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 77088 65334 1835 992 0 68946 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 308352 KiB
Current children cumulated memory: 261336 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.19 4.11 5/261 10372
/proc/meminfo: memFree=53608924/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=319936 memory=276720 CPUtime=50.91 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 51196 0 0 0 4978 113 0 0 20 0 1 0 1052384 327614464 69180 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 79984 69180 1835 992 0 71842 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 319936 KiB
Current children cumulated memory: 276720 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.22 4.12 5/260 10381
/proc/meminfo: memFree=50811060/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=326776 memory=283448 CPUtime=101.92 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 52867 0 0 0 10029 163 0 0 20 0 1 0 1052384 334618624 70862 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 81694 70862 1835 992 0 73552 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 326776 KiB
Current children cumulated memory: 283448 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.20 4.12 5/260 10393
/proc/meminfo: memFree=45937204/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=659700 memory=606624 CPUtime=161.73 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 102543 0 0 0 15909 264 0 0 20 0 1 0 1052384 675532800 151656 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 164925 151656 1835 992 0 156783 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 659700 KiB
Current children cumulated memory: 606624 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/260 10404
/proc/meminfo: memFree=40537264/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=825572 memory=674316 CPUtime=221.51 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 110298 0 0 0 21836 315 0 0 20 0 1 0 1052384 845385728 168579 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 206393 168579 1851 992 0 198251 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 825572 KiB
Current children cumulated memory: 674316 KiB

[startup+282.3 s]
/proc/loadavg: 4.34 4.21 4.12 5/259 10414
/proc/meminfo: memFree=36911244/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=835076 memory=681504 CPUtime=281.31 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 110583 0 0 0 27745 386 0 0 20 0 1 0 1052384 855117824 170376 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 208769 170376 1851 992 0 200627 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 835076 KiB
Current children cumulated memory: 681504 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/259 10424
/proc/meminfo: memFree=33991960/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=835376 memory=684860 CPUtime=341.11 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 111388 0 0 0 33672 439 0 0 20 0 1 0 1052384 855425024 171215 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 208844 171215 1851 992 0 200702 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 835376 KiB
Current children cumulated memory: 684860 KiB

[startup+402.3 s]
/proc/loadavg: 4.46 4.26 4.15 5/258 10436
/proc/meminfo: memFree=30359864/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=851928 memory=697140 CPUtime=400.92 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 111920 0 0 0 39611 481 0 0 20 0 1 0 1052384 872374272 174285 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 212982 174285 1851 992 0 204840 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 851928 KiB
Current children cumulated memory: 697140 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.22 4.14 5/258 10446
/proc/meminfo: memFree=22485320/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=924656 memory=810956 CPUtime=460.72 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 127665 0 0 0 45501 571 0 0 20 0 1 0 1052384 946847744 202739 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 231164 202739 1851 992 0 223022 0

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

[startup+3102.3 s]
/proc/loadavg: 4.26 4.26 4.17 5/259 11696
/proc/meminfo: memFree=64031608/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4834468 memory=3901228 CPUtime=3091.66 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 547210 0 0 0 306205 2961 0 0 20 0 1 0 1052384 4950495232 975307 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1208617 975307 1851 992 0 1200475 0
Current children cumulated CPU time: 3091.66 s
Current children cumulated vsize: 4834468 KiB
Current children cumulated memory: 3901228 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.24 4.17 5/262 11710
/proc/meminfo: memFree=62396532/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4835424 memory=3902988 CPUtime=3151.42 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 548638 0 0 0 312154 2988 0 0 20 0 1 0 1052384 4951474176 975747 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1208856 975747 1851 992 0 1200714 0
Current children cumulated CPU time: 3151.42 s
Current children cumulated vsize: 4835424 KiB
Current children cumulated memory: 3902988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.21 4.16 5/262 12104
/proc/meminfo: memFree=60533732/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4852456 memory=3917864 CPUtime=3211.19 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 554149 0 0 0 318083 3036 0 0 20 0 1 0 1052384 4968914944 979466 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1213114 979466 1851 992 0 1204972 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 4852456 KiB
Current children cumulated memory: 3917864 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/263 12115
/proc/meminfo: memFree=58609532/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4854784 memory=3920192 CPUtime=3270.97 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 556282 0 0 0 323984 3113 0 0 20 0 1 0 1052384 4971298816 980048 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1213696 980048 1851 992 0 1205554 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 4854784 KiB
Current children cumulated memory: 3920192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.17 5/263 12126
/proc/meminfo: memFree=56886196/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4854784 memory=3920192 CPUtime=3330.75 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 558094 0 0 0 329892 3183 0 0 20 0 1 0 1052384 4971298816 980048 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1213696 980048 1851 992 0 1205554 0
Current children cumulated CPU time: 3330.75 s
Current children cumulated vsize: 4854784 KiB
Current children cumulated memory: 3920192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/264 12307
/proc/meminfo: memFree=55250888/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4917720 memory=3974776 CPUtime=3390.51 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 573441 0 0 0 335803 3248 0 0 20 0 1 0 1052384 5035745280 993694 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1229430 993694 1851 992 0 1221288 0
Current children cumulated CPU time: 3390.51 s
Current children cumulated vsize: 4917720 KiB
Current children cumulated memory: 3974776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.16 6/264 12324
/proc/meminfo: memFree=53892880/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4922576 memory=3978884 CPUtime=3450.3 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 575980 0 0 0 341774 3256 0 0 20 0 1 0 1052384 5040717824 994721 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1230644 994721 1851 992 0 1222502 0
Current children cumulated CPU time: 3450.3 s
Current children cumulated vsize: 4922576 KiB
Current children cumulated memory: 3978884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/265 12337
/proc/meminfo: memFree=52719448/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4938924 memory=3994500 CPUtime=3510.1 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 581205 0 0 0 347727 3283 0 0 20 0 1 0 1052384 5057458176 998625 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1234731 998625 1851 992 0 1226589 0
Current children cumulated CPU time: 3510.1 s
Current children cumulated vsize: 4938924 KiB
Current children cumulated memory: 3994500 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.16 4/259 12433
/proc/meminfo: memFree=69989808/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4940252 memory=3995616 CPUtime=3569.9 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 582712 0 0 0 353667 3323 0 0 20 0 1 0 1052384 5058818048 998904 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1235063 998904 1851 992 0 1226921 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 4940252 KiB
Current children cumulated memory: 3995616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.09 4.14 4.15 5/265 12458
/proc/meminfo: memFree=69630656/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4940252 memory=3995664 CPUtime=3600.08 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 582870 0 0 0 356677 3331 0 0 20 0 1 0 1052384 5058818048 998916 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1235063 998916 1851 992 0 1226921 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4940252 KiB
Current children cumulated memory: 3995664 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3568.77 s, system=33.3311 s

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

[startup+3612.8 s]
/proc/loadavg: 4.09 4.14 4.15 5/265 12458
/proc/meminfo: memFree=69630656/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4940252 memory=3995664 CPUtime=3600.28 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 582870 0 0 0 356697 3331 0 0 20 0 1 0 1052384 5058818048 998916 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1235063 998916 1851 992 0 1226921 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 4940252 KiB
Current children cumulated memory: 3995664 KiB

[startup+3613.6 s]
/proc/loadavg: 4.09 4.14 4.15 5/265 12458
/proc/meminfo: memFree=69624476/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4940252 memory=3995664 CPUtime=3601.08 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 582871 0 0 0 356777 3331 0 0 20 0 1 0 1052384 5058818048 998916 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1235063 998916 1851 992 0 1226921 0
Current children cumulated CPU time: 3601.08 s
Current children cumulated vsize: 4940252 KiB
Current children cumulated memory: 3995664 KiB

[startup+3614.4 s]
/proc/loadavg: 4.16 4.15 4.15 5/265 12458
/proc/meminfo: memFree=69618432/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4940252 memory=3995664 CPUtime=3601.87 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 582874 0 0 0 356856 3331 0 0 20 0 1 0 1052384 5058818048 998916 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1235063 998916 1851 992 0 1226921 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 4940252 KiB
Current children cumulated memory: 3995664 KiB

[startup+3614.6 s]
/proc/loadavg: 4.16 4.15 4.15 5/265 12458
/proc/meminfo: memFree=69618432/131524600 swapFree=131071996/131071996
[pid=10363] ppid=10360 vsize=4940252 memory=3995664 CPUtime=3602.07 cores=0,2
/proc/10363/stat : 10363 (roundingsat) R 10360 10363 7935 0 -1 4194304 582877 0 0 0 356876 3331 0 0 20 0 1 0 1052384 5058818048 998916 134679101440 4194304 8255733 140720535569728 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 22814720 140720535573342 140720535573604 140720535573604 140720535580617 0
/proc/10363/statm: 1235063 998916 1851 992 0 1226921 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 4940252 KiB
Current children cumulated memory: 3995664 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3615.41
CPU time (s): 3602.1
CPU user time (s): 3568.77
CPU system time (s): 33.3311
CPU usage (%): 99.6319
Max. virtual memory (cumulated for all children) (KiB): 4940252
Max. memory (cumulated for all children) (KiB): 3995664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.77
system time used= 33.3311
maximum resident set size= 3995668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 65213904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154
involuntary context switches= 24891


# summary of solver processes directly reported to runsolver:
#   pid: 10363
#   total CPU time (s): 3602.1
#   total CPU user time (s): 3568.77
#   total CPU system time (s): 33.3311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77471 second user time and 18.2348 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-30 15:01:41
IDJOB=4462484
IDBENCH=156416
IDSOLVER=3089
FILE ID=nodeC033/4462484-1722344501
RUNJOBID= nodeC033-1722340763-7945
SLURM_JOB_ID= 8249006
Free space on /tmp= 889844 MiB

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

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

MD5SUM BENCH= b3d827c1cec2288f345531c85d1b4d53
RANDOM SEED=2076811527

nodeC033.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		: 3654.796
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.99
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		: 3685.417
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        58764972 kB
MemAvailable:   124011212 kB
Buffers:           44200 kB
Cached:         65963016 kB
SwapCached:            0 kB
Active:           378664 kB
Inactive:       71726500 kB
Active(anon):       1540 kB
Inactive(anon):  6117864 kB
Active(file):     377124 kB
Inactive(file): 65608636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            737608 kB
Writeback:             0 kB
AnonPages:       6097092 kB
Mapped:            97652 kB
Shmem:             21336 kB
KReclaimable:     200604 kB
Slab:             305492 kB
SReclaimable:     200604 kB
SUnreclaim:       104888 kB
KernelStack:        4192 kB
PageTables:        21072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6929228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9024 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4417536 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:      283348 kB
DirectMap2M:     8927232 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-30 16:01:56