Trace number 4455147

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 nolog (2)? (TO) 3602.12 3614.75

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
MD5SUM50cf9112b5ea763531dadde21846562c
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 benchmark211
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495981
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495981
Number of bits of the biggest sum of numbers19
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.38/2.46	c #variables 10000 #constraints 656900
4.09/4.19	c bounds - >= 0 @ 1.69224
4.09/4.19	c rational objective 154.151
12.06/12.17	c bounds 6408 >= 0 @ 7.21627
12.06/12.17	c bounds 6179 >= 0 @ 7.22178
12.06/12.17	c bounds 6114 >= 0 @ 7.22585
12.06/12.17	c bounds 6087 >= 0 @ 7.23696
12.06/12.17	c bounds 6031 >= 0 @ 7.2414
12.06/12.17	c bounds 6005 >= 0 @ 7.24547
12.06/12.17	c bounds 5930 >= 0 @ 7.24995
12.06/12.17	c bounds 5925 >= 0 @ 7.2545
12.06/12.17	c bounds 5848 >= 0 @ 7.25703
12.06/12.17	c bounds 5815 >= 0 @ 7.26072
12.06/12.17	c bounds 5711 >= 0 @ 7.26353
12.06/12.17	c bounds 5655 >= 0 @ 7.26819
12.06/12.17	c bounds 5644 >= 0 @ 7.27331
12.06/12.17	c bounds 5603 >= 0 @ 7.27711
12.06/12.17	c bounds 5518 >= 0 @ 7.28275
12.06/12.17	c bounds 5444 >= 0 @ 7.28644
12.06/12.17	c bounds 5362 >= 0 @ 7.29115
12.06/12.17	c bounds 5326 >= 0 @ 7.30174
12.06/12.17	c bounds 5325 >= 0 @ 7.30917
12.06/12.17	c bounds 5242 >= 0 @ 7.31752
12.06/12.17	c bounds 5220 >= 0 @ 7.32812
12.06/12.17	c bounds 5019 >= 0 @ 7.33443
12.06/12.17	c bounds 4841 >= 0 @ 7.3415
12.06/12.17	c bounds 4835 >= 0 @ 7.3482
12.06/12.17	c bounds 4713 >= 0 @ 7.35359
12.06/12.17	c bounds 4667 >= 0 @ 7.36164
12.06/12.17	c bounds 4602 >= 0 @ 7.36762
12.06/12.17	c bounds 4567 >= 0 @ 7.37527
12.06/12.17	c bounds 4547 >= 0 @ 7.38222
12.06/12.17	c bounds 4457 >= 0 @ 7.38642
12.06/12.17	c bounds 4420 >= 0 @ 7.42878
12.06/12.17	c bounds 4404 >= 0 @ 7.43234
12.06/12.17	c bounds 4394 >= 0 @ 7.43875
12.06/12.17	c bounds 4392 >= 0 @ 7.45051
12.06/12.17	c bounds 4241 >= 0 @ 7.45661
12.06/12.17	c bounds 4224 >= 0 @ 7.46514
12.06/12.17	c bounds 4161 >= 0 @ 7.47319
12.06/12.17	c bounds 4152 >= 0 @ 7.48039
12.06/12.17	c bounds 4109 >= 0 @ 7.48752
12.06/12.17	c bounds 4105 >= 0 @ 7.49736
12.06/12.17	c bounds 3989 >= 0 @ 7.5031
12.06/12.17	c bounds 3955 >= 0 @ 7.51544
12.06/12.17	c bounds 3946 >= 0 @ 7.52779
12.06/12.17	c bounds 3836 >= 0 @ 7.53545
12.06/12.17	c bounds 3830 >= 0 @ 7.54045
12.06/12.17	c bounds 3789 >= 0 @ 7.54612
12.06/12.17	c bounds 3745 >= 0 @ 7.54975
12.06/12.17	c bounds 3695 >= 0 @ 7.55747
12.06/12.17	c bounds 3665 >= 0 @ 7.56768
12.06/12.17	c bounds 3650 >= 0 @ 7.57474
12.06/12.17	c bounds 3565 >= 0 @ 7.58014
12.06/12.17	c bounds 3481 >= 0 @ 7.58805
12.06/12.17	c bounds 3479 >= 0 @ 7.59441
12.06/12.17	c bounds 3378 >= 0 @ 7.60015
12.06/12.17	c bounds 3338 >= 0 @ 7.61264
12.06/12.17	c bounds 3329 >= 0 @ 7.61888
12.06/12.17	c bounds 3278 >= 0 @ 7.62515
12.06/12.17	c bounds 3252 >= 0 @ 7.63864
12.06/12.17	c bounds 3196 >= 0 @ 7.64781
12.06/12.17	c bounds 3113 >= 0 @ 7.65597
12.06/12.17	c bounds 3104 >= 0 @ 7.67516
12.06/12.17	c bounds 3058 >= 0 @ 7.68941
12.06/12.17	c bounds 3005 >= 0 @ 7.69884
12.06/12.17	c bounds 2976 >= 0 @ 7.70678
12.06/12.17	c bounds 2922 >= 0 @ 7.71296
12.06/12.17	c bounds 2920 >= 0 @ 7.72815
12.06/12.17	c bounds 2877 >= 0 @ 7.7361
12.06/12.17	c bounds 2862 >= 0 @ 7.74325
12.06/12.17	c bounds 2812 >= 0 @ 7.7509
12.06/12.17	c bounds 2795 >= 0 @ 7.7601
12.06/12.17	c bounds 2623 >= 0 @ 7.76676
12.06/12.17	c bounds 2591 >= 0 @ 7.78041
12.06/12.17	c bounds 2586 >= 0 @ 7.79104
12.06/12.17	c bounds 2560 >= 0 @ 7.8042
12.06/12.17	c bounds 2554 >= 0 @ 7.81353
12.06/12.17	c bounds 2552 >= 0 @ 7.81836
12.06/12.17	c bounds 2427 >= 0 @ 7.83167
12.06/12.17	c bounds 2397 >= 0 @ 7.84056
12.06/12.17	c bounds 2381 >= 0 @ 7.84713
12.06/12.17	c bounds 2376 >= 0 @ 7.85666
12.06/12.17	c bounds 2360 >= 0 @ 7.88327
12.06/12.17	c bounds 2265 >= 0 @ 7.8894
12.06/12.17	c bounds 2231 >= 0 @ 7.89861
12.06/12.17	c bounds 2191 >= 0 @ 7.911
12.06/12.17	c bounds 2185 >= 0 @ 7.92535
12.06/12.17	c bounds 2132 >= 0 @ 7.92971
12.06/12.17	c bounds 2122 >= 0 @ 7.95187
12.06/12.17	c bounds 2069 >= 0 @ 7.9571
12.06/12.17	c bounds 1980 >= 0 @ 7.96778
12.06/12.17	c bounds 1882 >= 0 @ 7.97596
12.06/12.17	c bounds 1864 >= 0 @ 7.98213
12.06/12.17	c bounds 1830 >= 0 @ 7.98644
12.06/12.17	c bounds 1820 >= 0 @ 7.99317
12.06/12.17	c bounds 1813 >= 0 @ 7.99987
12.06/12.17	c bounds 1786 >= 0 @ 8.00903
12.06/12.17	c bounds 1772 >= 0 @ 8.01478
12.06/12.17	c bounds 1762 >= 0 @ 8.01911
12.06/12.17	c bounds 1575 >= 0 @ 8.05339
12.06/12.17	c bounds 1569 >= 0 @ 8.07271
12.06/12.17	c bounds 1550 >= 0 @ 8.08124
12.06/12.17	c bounds 1549 >= 0 @ 8.08703
12.06/12.17	c bounds 1527 >= 0 @ 8.09466
12.06/12.17	c bounds 1519 >= 0 @ 8.10163
12.06/12.17	c bounds 1443 >= 0 @ 8.11072
12.06/12.17	c bounds 1423 >= 0 @ 8.11538
12.06/12.17	c bounds 1384 >= 0 @ 8.1218
12.06/12.17	c bounds 1382 >= 0 @ 8.12694
12.06/12.17	c bounds 1355 >= 0 @ 8.13555
12.06/12.17	c bounds 1351 >= 0 @ 8.14048
12.06/12.17	c bounds 1334 >= 0 @ 8.14771
12.06/12.17	c bounds 1329 >= 0 @ 8.15719
12.06/12.17	c bounds 1252 >= 0 @ 8.16629
12.06/12.17	c bounds 1240 >= 0 @ 8.43319
12.06/12.17	c bounds 1236 >= 0 @ 8.45537
12.06/12.17	c bounds 1227 >= 0 @ 8.56286
12.06/12.17	c bounds 1154 >= 0 @ 8.56979
12.06/12.17	c bounds 1133 >= 0 @ 8.5797
12.06/12.17	c bounds 1010 >= 0 @ 8.58535
12.06/12.17	c bounds 982 >= 0 @ 8.59312
12.06/12.17	c bounds 913 >= 0 @ 8.59985
12.06/12.17	c bounds 787 >= 0 @ 8.60452
12.06/12.17	c bounds 756 >= 0 @ 8.61433
12.06/12.17	c bounds 750 >= 0 @ 8.63083
12.06/12.17	c bounds 746 >= 0 @ 8.80432
12.06/12.17	c bounds 571 >= 0 @ 8.83249
12.06/12.17	c bounds 569 >= 0 @ 8.83737
12.06/12.17	c bounds 568 >= 0 @ 8.84269
12.06/12.17	c bounds 567 >= 0 @ 8.84599
12.06/12.17	c bounds 563 >= 0 @ 8.849
12.06/12.17	c bounds 562 >= 0 @ 8.85864
12.06/12.17	c bounds 561 >= 0 @ 8.86563
12.06/12.17	c bounds 558 >= 0 @ 9.16945
12.06/12.17	c bounds 513 >= 0 @ 9.27309
12.06/12.17	c bounds 481 >= 0 @ 9.28171
12.06/12.17	c #Conflicts:       1000 | #Constraints:     658039
12.06/12.17	c bounds 461 >= 0 @ 10.396
12.06/12.17	c bounds 459 >= 0 @ 10.4028
12.06/12.17	c bounds 455 >= 0 @ 10.4612
12.06/12.17	c bounds 454 >= 0 @ 10.4696
12.06/12.17	c bounds 448 >= 0 @ 10.4881
12.06/12.17	c bounds 442 >= 0 @ 10.4944
12.06/12.17	c bounds 441 >= 0 @ 10.5004
31.77/31.91	c bounds 440 >= 0 @ 10.7681
31.77/31.91	c bounds 395 >= 0 @ 11.107
31.77/31.91	c #Conflicts:       2000 | #Constraints:     659049
31.77/31.91	c INPROCESSING
31.77/31.91	c GARBAGE COLLECT
31.77/31.91	c bounds 327 >= 0 @ 13.5431
31.77/31.91	c bounds 323 >= 0 @ 13.553
31.77/31.91	c bounds 322 >= 0 @ 13.5575
31.77/31.91	c bounds 320 >= 0 @ 13.5637
31.77/31.91	c bounds 316 >= 0 @ 13.5706
31.77/31.91	c bounds 311 >= 0 @ 13.574
31.77/31.91	c bounds 309 >= 0 @ 15.3047
31.77/31.91	c #Conflicts:       3000 | #Constraints:     658919
31.77/31.91	c #Conflicts:       4000 | #Constraints:     659919
31.77/31.91	c INPROCESSING
31.77/31.91	c GARBAGE COLLECT
31.77/31.91	c #Conflicts:       5000 | #Constraints:     659318
31.77/31.91	c #Conflicts:       6000 | #Constraints:     660318
31.77/31.91	c INPROCESSING
31.77/31.91	c GARBAGE COLLECT
31.77/31.91	c rational objective 154.862
45.63/45.84	c bounds 305 >= 0 @ 32.9231
45.63/45.84	c bounds 304 >= 0 @ 32.9372
45.63/45.84	c bounds 303 >= 0 @ 32.9625
45.63/45.84	c #Conflicts:       7000 | #Constraints:     659335
45.63/45.84	c bounds 302 >= 0 @ 34.3462
45.63/45.84	c #Conflicts:       8000 | #Constraints:     660337
45.63/45.84	c #Conflicts:       9000 | #Constraints:     661337
45.63/45.84	c INPROCESSING
45.63/45.84	c GARBAGE COLLECT
45.63/45.84	c rational objective 155.651
89.68/90.03	c #Conflicts:      10000 | #Constraints:     660032
89.68/90.03	c #Conflicts:      11000 | #Constraints:     661032
89.68/90.03	c #Conflicts:      12000 | #Constraints:     662032
89.68/90.03	c INPROCESSING
89.68/90.03	c GARBAGE COLLECT
89.68/90.03	c bounds 300 >= 0 @ 61.0536
89.68/90.03	c bounds 298 >= 0 @ 61.7163
89.68/90.03	c bounds 296 >= 0 @ 62.0063
89.68/90.03	c bounds 296 >= 4 @ 62.0184
89.68/90.03	c bounds 296 >= 8 @ 62.0286
89.68/90.03	c bounds 296 >= 12 @ 62.039
89.68/90.03	c bounds 296 >= 16 @ 64.76
89.68/90.03	c bounds 296 >= 20 @ 65.8993
89.68/90.03	c #Conflicts:      13000 | #Constraints:     660519
89.68/90.03	c bounds 295 >= 20 @ 70.4388
89.68/90.03	c #Conflicts:      14000 | #Constraints:     661520
89.68/90.03	c #Conflicts:      15000 | #Constraints:     662520
89.68/90.03	c INPROCESSING
89.68/90.03	c GARBAGE COLLECT
89.68/90.03	c rational objective 155.744
121.76/122.24	c bounds 294 >= 20 @ 91.1843
121.76/122.24	c bounds 293 >= 20 @ 91.2112
121.76/122.24	c bounds 292 >= 20 @ 91.3279
121.76/122.24	c #Conflicts:      16000 | #Constraints:     660765
121.76/122.24	c bounds 287 >= 20 @ 106.05
121.76/122.24	c bounds 287 >= 23 @ 106.08
121.76/122.24	c bounds 287 >= 26 @ 106.122
121.76/122.24	c #Conflicts:      17000 | #Constraints:     661785
121.76/122.24	c #Conflicts:      18000 | #Constraints:     662785
121.76/122.24	c INPROCESSING
121.76/122.24	c GARBAGE COLLECT
121.76/122.24	c rational objective 155.853
173.17/173.89	c #Conflicts:      19000 | #Constraints:     660794
173.17/173.89	c #Conflicts:      20000 | #Constraints:     661795
173.17/173.89	c #Conflicts:      21000 | #Constraints:     662796
173.17/173.89	c INPROCESSING
173.17/173.89	c GARBAGE COLLECT
173.17/173.89	c rational objective 157.022
405.29/406.79	c #Conflicts:      22000 | #Constraints:     660611
405.29/406.79	c #Conflicts:      23000 | #Constraints:     661611
405.29/406.79	c #Conflicts:      24000 | #Constraints:     662633
405.29/406.79	c #Conflicts:      25000 | #Constraints:     663653
405.29/406.79	c INPROCESSING
405.29/406.79	c GARBAGE COLLECT
405.29/406.79	c #Conflicts:      26000 | #Constraints:     661206
405.29/406.79	c #Conflicts:      27000 | #Constraints:     662206
405.29/406.79	c #Conflicts:      28000 | #Constraints:     663209
405.29/406.79	c #Conflicts:      29000 | #Constraints:     664209
405.29/406.79	c INPROCESSING
405.29/406.79	c GARBAGE COLLECT
405.29/406.79	c #Conflicts:      30000 | #Constraints:     661623
405.29/406.79	c #Conflicts:      31000 | #Constraints:     662623
405.29/406.79	c #Conflicts:      32000 | #Constraints:     663626
405.29/406.79	c #Conflicts:      33000 | #Constraints:     664626
405.29/406.79	c INPROCESSING
405.29/406.79	c GARBAGE COLLECT
405.29/406.79	c rational objective 157.14
523.47/525.35	c #Conflicts:      34000 | #Constraints:     661837
523.47/525.35	c #Conflicts:      35000 | #Constraints:     662837
523.47/525.35	c #Conflicts:      36000 | #Constraints:     663837
523.47/525.35	c #Conflicts:      37000 | #Constraints:     664837
523.47/525.35	c INPROCESSING
523.47/525.35	c GARBAGE COLLECT
523.47/525.35	c rational objective 157.273
648.55/650.83	c #Conflicts:      38000 | #Constraints:     661849
648.55/650.83	c #Conflicts:      39000 | #Constraints:     662953
648.55/650.83	c #Conflicts:      40000 | #Constraints:     664301
648.55/650.83	c #Conflicts:      41000 | #Constraints:     665376
648.55/650.83	c INPROCESSING
648.55/650.83	c GARBAGE COLLECT
648.55/650.83	c rational objective 157.333
744.91/747.53	c #Conflicts:      42000 | #Constraints:     661906
744.91/747.53	c #Conflicts:      43000 | #Constraints:     662909
744.91/747.53	c #Conflicts:      44000 | #Constraints:     663909
744.91/747.53	c #Conflicts:      45000 | #Constraints:     664910
744.91/747.53	c #Conflicts:      46000 | #Constraints:     665911
744.91/747.53	c INPROCESSING
744.91/747.53	c GARBAGE COLLECT
744.91/747.53	c rational objective 157.347
836.13/839.07	c #Conflicts:      47000 | #Constraints:     662388
836.13/839.07	c #Conflicts:      48000 | #Constraints:     663389
836.13/839.07	c #Conflicts:      49000 | #Constraints:     664389
836.13/839.07	c #Conflicts:      50000 | #Constraints:     665390
836.13/839.07	c #Conflicts:      51000 | #Constraints:     666390
836.13/839.07	c INPROCESSING
836.13/839.07	c GARBAGE COLLECT
836.13/839.07	c rational objective 157.348
1033.56/1037.15	c #Conflicts:      52000 | #Constraints:     662741
1033.56/1037.15	c #Conflicts:      53000 | #Constraints:     663751
1033.56/1037.15	c #Conflicts:      54000 | #Constraints:     664757
1033.56/1037.15	c #Conflicts:      55000 | #Constraints:     665767
1033.56/1037.15	c bounds 286 >= 26 @ 956.766
1033.56/1037.15	c bounds 286 >= 28 @ 956.789
1033.56/1037.15	c bounds 286 >= 30 @ 956.809
1033.56/1037.15	c bounds 286 >= 32 @ 956.831
1033.56/1037.15	c bounds 286 >= 34 @ 956.856
1033.56/1037.15	c bounds 286 >= 36 @ 956.923
1033.56/1037.15	c bounds 286 >= 38 @ 958.478
1033.56/1037.15	c bounds 286 >= 40 @ 960.952
1033.56/1037.15	c #Conflicts:      56000 | #Constraints:     666823
1033.56/1037.15	c INPROCESSING
1033.56/1037.15	c GARBAGE COLLECT
1033.56/1037.15	c #Conflicts:      57000 | #Constraints:     662932
1033.56/1037.15	c bounds 286 >= 42 @ 979.394
1033.56/1037.15	c #Conflicts:      58000 | #Constraints:     663950
1033.56/1037.15	c #Conflicts:      59000 | #Constraints:     664950
1033.56/1037.15	c #Conflicts:      60000 | #Constraints:     665951
1033.56/1037.15	c #Conflicts:      61000 | #Constraints:     666951
1033.56/1037.15	c INPROCESSING
1033.56/1037.15	c GARBAGE COLLECT
1033.56/1037.15	c rational objective 157.348
1141.78/1145.71	c #Conflicts:      62000 | #Constraints:     662904
1141.78/1145.71	c bounds 286 >= 44 @ 1039.94
1141.78/1145.71	c #Conflicts:      63000 | #Constraints:     663925
1141.78/1145.71	c #Conflicts:      64000 | #Constraints:     664926
1141.78/1145.71	c #Conflicts:      65000 | #Constraints:     665927
1141.78/1145.71	c #Conflicts:      66000 | #Constraints:     666927
1141.78/1145.71	c INPROCESSING
1141.78/1145.71	c GARBAGE COLLECT
1141.78/1145.71	c rational objective 157.348
1231.58/1235.81	c #Conflicts:      67000 | #Constraints:     662713
1231.58/1235.81	c #Conflicts:      68000 | #Constraints:     663713
1231.58/1235.81	c #Conflicts:      69000 | #Constraints:     664716
1231.58/1235.81	c #Conflicts:      70000 | #Constraints:     665717
1231.58/1235.81	c #Conflicts:      71000 | #Constraints:     666717
1231.58/1235.81	c #Conflicts:      72000 | #Constraints:     667717
1231.58/1235.81	c INPROCESSING
1231.58/1235.81	c GARBAGE COLLECT
1231.58/1235.81	c rational objective 157.368
1364.73/1369.46	c #Conflicts:      73000 | #Constraints:     663296
1364.73/1369.46	c #Conflicts:      74000 | #Constraints:     664298
1364.73/1369.46	c #Conflicts:      75000 | #Constraints:     665299
1364.73/1369.46	c #Conflicts:      76000 | #Constraints:     666299
1364.73/1369.46	c #Conflicts:      77000 | #Constraints:     667299
1364.73/1369.46	c #Conflicts:      78000 | #Constraints:     668299
1364.73/1369.46	c INPROCESSING
1364.73/1369.46	c GARBAGE COLLECT
1364.73/1369.46	c rational objective 157.368
1477.83/1482.90	c #Conflicts:      79000 | #Constraints:     663699
1477.83/1482.90	c #Conflicts:      80000 | #Constraints:     664699
1477.83/1482.90	c #Conflicts:      81000 | #Constraints:     665700
1477.83/1482.90	c #Conflicts:      82000 | #Constraints:     666700
1477.83/1482.90	c #Conflicts:      83000 | #Constraints:     667700
1477.83/1482.90	c #Conflicts:      84000 | #Constraints:     668700
1477.83/1482.90	c INPROCESSING
1477.83/1482.90	c GARBAGE COLLECT
1477.83/1482.90	c rational objective 157.368
1568.43/1573.87	c #Conflicts:      85000 | #Constraints:     663900
1568.43/1573.87	c #Conflicts:      86000 | #Constraints:     664902
1568.43/1573.87	c #Conflicts:      87000 | #Constraints:     665903
1568.43/1573.87	c #Conflicts:      88000 | #Constraints:     666903
1568.43/1573.87	c #Conflicts:      89000 | #Constraints:     667903
1568.43/1573.87	c #Conflicts:      90000 | #Constraints:     668904
1568.43/1573.87	c INPROCESSING
1568.43/1573.87	c GARBAGE COLLECT
1568.43/1573.87	c rational objective 157.368
1690.80/1696.61	c #Conflicts:      91000 | #Constraints:     663909
1690.80/1696.61	c #Conflicts:      92000 | #Constraints:     664922
1690.80/1696.61	c #Conflicts:      93000 | #Constraints:     665934
1690.80/1696.61	c #Conflicts:      94000 | #Constraints:     667118
1690.80/1696.61	c #Conflicts:      95000 | #Constraints:     668143
1690.80/1696.61	c #Conflicts:      96000 | #Constraints:     669248
1690.80/1696.61	c INPROCESSING
1690.80/1696.61	c GARBAGE COLLECT
1690.80/1696.61	c rational objective 157.368
1862.00/1868.45	c #Conflicts:      97000 | #Constraints:     663930
1862.00/1868.45	c #Conflicts:      98000 | #Constraints:     664930
1862.00/1868.45	c #Conflicts:      99000 | #Constraints:     665930
1862.00/1868.45	c #Conflicts:     100000 | #Constraints:     666930
1862.00/1868.45	c #Conflicts:     101000 | #Constraints:     667930
1862.00/1868.45	c #Conflicts:     102000 | #Constraints:     668930
1862.00/1868.45	c #Conflicts:     103000 | #Constraints:     669930
1862.00/1868.45	c INPROCESSING
1862.00/1868.45	c GARBAGE COLLECT
1862.00/1868.45	c rational objective 157.368
2178.22/2185.82	c bounds 285 >= 44 @ 1854.06
2178.22/2185.82	c #Conflicts:     104000 | #Constraints:     664410
2178.22/2185.82	c #Conflicts:     105000 | #Constraints:     665417
2178.22/2185.82	c #Conflicts:     106000 | #Constraints:     666438
2178.22/2185.82	c #Conflicts:     107000 | #Constraints:     667501
2178.22/2185.82	c #Conflicts:     108000 | #Constraints:     668561
2178.22/2185.82	c #Conflicts:     109000 | #Constraints:     669628
2178.22/2185.82	c #Conflicts:     110000 | #Constraints:     670679
2178.22/2185.82	c INPROCESSING
2178.22/2185.82	c GARBAGE COLLECT
2178.22/2185.82	c rational objective 157.368
2622.48/2631.72	c bounds 285 >= 45 @ 2168.13
2622.48/2631.72	c bounds 285 >= 46 @ 2168.14
2622.48/2631.72	c bounds 285 >= 47 @ 2168.15
2622.48/2631.72	c bounds 285 >= 48 @ 2168.16
2622.48/2631.72	c bounds 285 >= 49 @ 2168.17
2622.48/2631.72	c bounds 285 >= 50 @ 2168.17
2622.48/2631.72	c bounds 285 >= 51 @ 2168.19
2622.48/2631.72	c bounds 285 >= 52 @ 2168.2
2622.48/2631.72	c bounds 285 >= 53 @ 2168.21
2622.48/2631.72	c bounds 285 >= 54 @ 2168.22
2622.48/2631.72	c bounds 285 >= 55 @ 2168.24
2622.48/2631.72	c bounds 285 >= 56 @ 2168.25
2622.48/2631.72	c bounds 285 >= 57 @ 2168.29
2622.48/2631.72	c bounds 285 >= 58 @ 2169.52
2622.48/2631.72	c bounds 285 >= 59 @ 2169.63
2622.48/2631.72	c bounds 285 >= 60 @ 2169.73
2622.48/2631.72	c bounds 285 >= 61 @ 2169.82
2622.48/2631.72	c bounds 285 >= 62 @ 2169.91
2622.48/2631.72	c bounds 285 >= 63 @ 2170
2622.48/2631.72	c bounds 285 >= 64 @ 2170.19
2622.48/2631.72	c bounds 285 >= 65 @ 2171.03
2622.48/2631.72	c #Conflicts:     111000 | #Constraints:     665072
2622.48/2631.72	c bounds 285 >= 66 @ 2231.97
2622.48/2631.72	c bounds 285 >= 67 @ 2233.6
2622.48/2631.72	c #Conflicts:     112000 | #Constraints:     666111
2622.48/2631.72	c bounds 285 >= 68 @ 2235.8
2622.48/2631.72	c #Conflicts:     113000 | #Constraints:     667138
2622.48/2631.72	c bounds 285 >= 69 @ 2240.48
2622.48/2631.72	c #Conflicts:     114000 | #Constraints:     668159
2622.48/2631.72	c bounds 285 >= 70 @ 2243.37
2622.48/2631.72	c #Conflicts:     115000 | #Constraints:     669201
2622.48/2631.72	c #Conflicts:     116000 | #Constraints:     670201
2622.48/2631.72	c bounds 285 >= 71 @ 2251.78
2622.48/2631.72	c #Conflicts:     117000 | #Constraints:     671237
2622.48/2631.72	c INPROCESSING
2622.48/2631.72	c GARBAGE COLLECT
2622.48/2631.72	c #Conflicts:     118000 | #Constraints:     665327
2622.48/2631.72	c #Conflicts:     119000 | #Constraints:     666327
2622.48/2631.72	c bounds 285 >= 72 @ 2432.05
2622.48/2631.72	c #Conflicts:     120000 | #Constraints:     667346
2622.48/2631.72	c #Conflicts:     121000 | #Constraints:     668346
2622.48/2631.72	c #Conflicts:     122000 | #Constraints:     669346
2622.48/2631.72	c #Conflicts:     123000 | #Constraints:     670346
2622.48/2631.72	c bounds 285 >= 73 @ 2462.62
2622.48/2631.72	c #Conflicts:     124000 | #Constraints:     671379
2622.48/2631.72	c INPROCESSING
2622.48/2631.72	c GARBAGE COLLECT
2622.48/2631.72	c rational objective 157.368
2762.10/2771.82	c #Conflicts:     125000 | #Constraints:     665354
2762.10/2771.82	c #Conflicts:     126000 | #Constraints:     666354
2762.10/2771.82	c #Conflicts:     127000 | #Constraints:     667354
2762.10/2771.82	c #Conflicts:     128000 | #Constraints:     668354
2762.10/2771.82	c #Conflicts:     129000 | #Constraints:     669354
2762.10/2771.82	c #Conflicts:     130000 | #Constraints:     670355
2762.10/2771.82	c #Conflicts:     131000 | #Constraints:     671355
2762.10/2771.82	c bounds 285 >= 74 @ 2664.53
2762.10/2771.82	c INPROCESSING
2762.10/2771.82	c GARBAGE COLLECT
2762.10/2771.82	c #Conflicts:     132000 | #Constraints:     665169
2762.10/2771.82	c #Conflicts:     133000 | #Constraints:     666170
2762.10/2771.82	c #Conflicts:     134000 | #Constraints:     667170
2762.10/2771.82	c #Conflicts:     135000 | #Constraints:     668172
2762.10/2771.82	c #Conflicts:     136000 | #Constraints:     669172
2762.10/2771.82	c #Conflicts:     137000 | #Constraints:     670173
2762.10/2771.82	c #Conflicts:     138000 | #Constraints:     671173
2762.10/2771.82	c #Conflicts:     139000 | #Constraints:     672173
2762.10/2771.82	c INPROCESSING
2762.10/2771.82	c GARBAGE COLLECT
2762.10/2771.82	c rational objective 157.368

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455147-1721459237/watcher-4455147-1721459237 -o /tmp/evaluation-result-4455147-1721459237/solver-4455147-1721459237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052102 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455147-1721459237.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=1052164, runsolver pid=1052161
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129303124/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=40436 memory=9024 CPUtime=0.1 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 1535 0 0 0 7 3 0 0 20 0 1 0 198080833 41406464 2256 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 10109 2256 1258 922 0 2061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 9024 KiB

[startup+0.208482 s]*
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129299760/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=40436 memory=11336 CPUtime=0.2 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 1634 0 0 0 13 7 0 0 20 0 1 0 198080833 41406464 2834 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 10109 2834 1258 922 0 2061 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 11336 KiB

[startup+0.308 s]*
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129295964/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=40952 memory=11860 CPUtime=0.3 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 1747 0 0 0 20 10 0 0 20 0 1 0 198080833 41934848 2965 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 10238 2965 1258 922 0 2190 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 11860 KiB

[startup+0.700268 s]
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129284028/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=46364 memory=16424 CPUtime=0.69 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 2881 0 0 0 47 22 0 0 20 0 1 0 198080833 47476736 4106 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 11591 4106 1258 922 0 3543 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46364 KiB
Current children cumulated memory: 16424 KiB

[startup+1.50028 s]
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129239628/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=64900 memory=33192 CPUtime=1.48 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 5592 0 0 0 98 50 0 0 20 0 1 0 198080833 66457600 8298 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 16225 8298 1258 922 0 8177 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64900 KiB
Current children cumulated memory: 33192 KiB

[startup+3.11263 s]
/proc/loadavg: 2.29 2.18 2.61 5/241 1052165
/proc/meminfo: memFree=128029020/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=360724 memory=329712 CPUtime=3.09 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 59883 0 0 0 225 84 0 0 20 0 1 0 198080833 369381376 82428 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 90181 82428 1656 922 0 82133 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 329712 KiB

[startup+6.30031 s]
/proc/loadavg: 2.29 2.18 2.61 5/241 1052165
/proc/meminfo: memFree=128029936/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=360724 memory=329712 CPUtime=6.27 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 59920 0 0 0 542 85 0 0 20 0 1 0 198080833 369381376 82428 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 90181 82428 1656 922 0 82133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 329712 KiB

[startup+12.7003 s]
/proc/loadavg: 2.43 2.21 2.62 5/241 1052166
/proc/meminfo: memFree=127795248/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=518764 memory=398172 CPUtime=12.64 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 66956 0 0 0 1100 164 0 0 20 0 1 0 198080833 531214336 99543 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 129691 99543 1879 922 0 121643 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 518764 KiB
Current children cumulated memory: 398172 KiB

[startup+25.5004 s]
/proc/loadavg: 2.85 2.31 2.64 5/241 1052168
/proc/meminfo: memFree=127447040/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=531932 memory=430932 CPUtime=25.4 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 69084 0 0 0 2348 192 0 0 20 0 1 0 198080833 544698368 107733 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 132983 107733 1879 922 0 124935 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 531932 KiB
Current children cumulated memory: 430932 KiB

[startup+51.1126 s]
/proc/loadavg: 3.25 2.45 2.68 5/242 1052173
/proc/meminfo: memFree=127008296/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=614852 memory=475096 CPUtime=50.92 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 71088 0 0 0 4872 220 0 0 20 0 1 0 198080833 629608448 118774 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 153713 118774 1879 922 0 145665 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 614852 KiB
Current children cumulated memory: 475096 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 2.72 2.76 5/242 1052184
/proc/meminfo: memFree=126213148/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=883280 memory=754020 CPUtime=101.93 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 109929 0 0 0 9902 291 0 0 20 0 1 0 198080833 904478720 188505 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 220820 188505 1879 922 0 212772 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 883280 KiB
Current children cumulated memory: 754020 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.97 2.85 5/242 1052194
/proc/meminfo: memFree=125295744/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=1122744 memory=913888 CPUtime=161.72 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 121070 0 0 0 15802 370 0 0 20 0 1 0 198080833 1149689856 228472 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 280686 228472 1985 922 0 272638 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1122744 KiB
Current children cumulated memory: 913888 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.21 2.94 5/245 1052209
/proc/meminfo: memFree=124892444/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=1199664 memory=1029040 CPUtime=221.52 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 142142 0 0 0 21754 398 0 0 20 0 1 0 198080833 1228455936 257260 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 299916 257260 1985 922 0 291868 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1199664 KiB
Current children cumulated memory: 1029040 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.35 3.01 5/245 1052219
/proc/meminfo: memFree=124331804/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=1298988 memory=1157680 CPUtime=281.31 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 160081 0 0 0 27718 413 0 0 20 0 1 0 198080833 1330163712 289420 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 324747 289420 1985 922 0 316699 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1298988 KiB
Current children cumulated memory: 1157680 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.50 3.08 5/245 1052230
/proc/meminfo: memFree=124022400/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=1298988 memory=1157992 CPUtime=341.11 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 160354 0 0 0 33624 487 0 0 20 0 1 0 198080833 1330163712 289498 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 324747 289498 1985 922 0 316699 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 1298988 KiB
Current children cumulated memory: 1157992 KiB

[startup+402.3 s]
/proc/loadavg: 4.74 3.78 3.21 5/244 1052240
/proc/meminfo: memFree=123731580/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=1340848 memory=1199856 CPUtime=400.91 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 164574 0 0 0 39537 554 0 0 20 0 1 0 198080833 1373028352 299964 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 335212 299964 1985 922 0 327164 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 1340848 KiB
Current children cumulated memory: 1199856 KiB

[startup+462.3 s]
/proc/loadavg: 4.65 3.93 3.30 5/244 1052251
/proc/meminfo: memFree=123659704/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=1398236 memory=1257228 CPUtime=460.69 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 170151 0 0 0 45461 608 0 0 20 0 1 0 198080833 1431793664 314307 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 349559 314307 1985 922 0 341511 0

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

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/245 1053909
/proc/meminfo: memFree=119094680/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2667992 memory=2250164 CPUtime=3151.22 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 362348 0 0 0 313221 1901 0 0 20 0 1 0 198080833 2732023808 562541 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 666998 562541 2001 922 0 658950 0
Current children cumulated CPU time: 3151.22 s
Current children cumulated vsize: 2667992 KiB
Current children cumulated memory: 2250164 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 1053934
/proc/meminfo: memFree=119090472/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2667992 memory=2250228 CPUtime=3211.01 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 368205 0 0 0 319140 1961 0 0 20 0 1 0 198080833 2732023808 562557 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 666998 562557 2001 922 0 658950 0
Current children cumulated CPU time: 3211.01 s
Current children cumulated vsize: 2667992 KiB
Current children cumulated memory: 2250228 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/245 1053944
/proc/meminfo: memFree=119136392/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2667992 memory=2259596 CPUtime=3270.8 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 368767 0 0 0 325108 1972 0 0 20 0 1 0 198080833 2732023808 564899 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 666998 564899 2001 922 0 658950 0
Current children cumulated CPU time: 3270.8 s
Current children cumulated vsize: 2667992 KiB
Current children cumulated memory: 2259596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 1053955
/proc/meminfo: memFree=119126356/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2667992 memory=2259596 CPUtime=3330.59 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 369222 0 0 0 331070 1989 0 0 20 0 1 0 198080833 2732023808 564899 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 666998 564899 2001 922 0 658950 0
Current children cumulated CPU time: 3330.59 s
Current children cumulated vsize: 2667992 KiB
Current children cumulated memory: 2259596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.10 5/243 1053965
/proc/meminfo: memFree=119116064/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2667992 memory=2259608 CPUtime=3390.39 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 369610 0 0 0 337000 2039 0 0 20 0 1 0 198080833 2732023808 564902 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 666998 564902 2001 922 0 658950 0
Current children cumulated CPU time: 3390.39 s
Current children cumulated vsize: 2667992 KiB
Current children cumulated memory: 2259608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/243 1053976
/proc/meminfo: memFree=118887484/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2668392 memory=2260996 CPUtime=3450.19 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 370238 0 0 0 342950 2069 0 0 20 0 1 0 198080833 2732433408 565249 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 667098 565249 2001 922 0 659050 0
Current children cumulated CPU time: 3450.19 s
Current children cumulated vsize: 2668392 KiB
Current children cumulated memory: 2260996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/241 1053987
/proc/meminfo: memFree=118877976/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267236 CPUtime=3509.98 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375049 0 0 0 348884 2114 0 0 20 0 1 0 198080833 2738802688 566809 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566809 2001 922 0 660605 0
Current children cumulated CPU time: 3509.98 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/241 1053997
/proc/meminfo: memFree=118818144/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267236 CPUtime=3569.78 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375315 0 0 0 354843 2135 0 0 20 0 1 0 198080833 2738802688 566809 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566809 2001 922 0 660605 0
Current children cumulated CPU time: 3569.78 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.15 4.14 4.09 5/235 1054044
/proc/meminfo: memFree=127034924/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267396 CPUtime=3600.07 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375433 0 0 0 357862 2145 0 0 20 0 1 0 198080833 2738802688 566849 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566849 2001 922 0 660605 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267396 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3580.62 s, system=21.5025 s

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

[startup+3612.8 s]
/proc/loadavg: 4.15 4.14 4.09 5/235 1054044
/proc/meminfo: memFree=127034924/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267396 CPUtime=3600.17 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375433 0 0 0 357872 2145 0 0 20 0 1 0 198080833 2738802688 566849 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566849 2001 922 0 660605 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267396 KiB

[startup+3613.6 s]
/proc/loadavg: 4.15 4.14 4.09 5/241 1054140
/proc/meminfo: memFree=127033976/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267396 CPUtime=3600.97 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375433 0 0 0 357952 2145 0 0 20 0 1 0 198080833 2738802688 566849 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566849 2001 922 0 660605 0
Current children cumulated CPU time: 3600.97 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267396 KiB

[startup+3614.4 s]
/proc/loadavg: 4.14 4.14 4.09 5/241 1054140
/proc/meminfo: memFree=126974296/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267396 CPUtime=3601.77 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375433 0 0 0 358032 2145 0 0 20 0 1 0 198080833 2738802688 566849 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566849 2001 922 0 660605 0
Current children cumulated CPU time: 3601.77 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267396 KiB

[startup+3614.6 s]
/proc/loadavg: 4.14 4.14 4.09 5/241 1054140
/proc/meminfo: memFree=126974296/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267396 CPUtime=3601.97 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375433 0 0 0 358052 2145 0 0 20 0 1 0 198080833 2738802688 566849 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566849 2001 922 0 660605 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267396 KiB

[startup+3614.7 s]
/proc/loadavg: 4.14 4.14 4.09 5/241 1054140
/proc/meminfo: memFree=126974296/131655788 swapFree=131070704/131071996
[pid=1052164] ppid=1052161 vsize=2674612 memory=2267396 CPUtime=3602.06 cores=0,2
/proc/1052164/stat : 1052164 (roundingsat) R 1052161 1052164 1052092 0 -1 4194304 375433 0 0 0 358061 2145 0 0 20 0 1 0 198080833 2738802688 566849 134679101440 4194304 7968373 140735583910384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 23846912 140735583912892 140735583913056 140735583913056 140735583920073 0
/proc/1052164/statm: 668653 566849 2001 922 0 660605 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 2674612 KiB
Current children cumulated memory: 2267396 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.75
CPU time (s): 3602.12
CPU user time (s): 3580.62
CPU system time (s): 21.5025
CPU usage (%): 99.6508
Max. virtual memory (cumulated for all children) (KiB): 2814792
Max. memory (cumulated for all children) (KiB): 2407372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.62
system time used= 21.5025
maximum resident set size= 2407372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 25236


# summary of solver processes directly reported to runsolver:
#   pid: 1052164
#   total CPU time (s): 3602.12
#   total CPU user time (s): 3580.62
#   total CPU system time (s): 21.5025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3497 second user time and 33.4807 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 09:07:29
IDJOB=4455147
IDBENCH=147555
IDSOLVER=3084
FILE ID=nodeC011/4455147-1721459237
RUNJOBID= nodeC011-1721459249-1052102
SLURM_JOB_ID= 7545706
Free space on /tmp= 723700 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455147-1721459237/watcher-4455147-1721459237 -o /tmp/evaluation-result-4455147-1721459237/solver-4455147-1721459237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052102 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455147-1721459237.opb

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=649106010

nodeC011.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	: 0xb00001f
cpu MHz		: 1197.247
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.347
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1466.463
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1419.022
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1329.308
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1571.099
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.120
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.134
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129310204 kB
MemAvailable:   129978508 kB
Buffers:          578648 kB
Cached:           937048 kB
SwapCached:          132 kB
Active:          1117000 kB
Inactive:         734912 kB
Active(anon):       1348 kB
Inactive(anon):   380508 kB
Active(file):    1115652 kB
Inactive(file):   354404 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             88068 kB
Writeback:             4 kB
AnonPages:        336168 kB
Mapped:           106424 kB
Shmem:             45592 kB
KReclaimable:      76892 kB
Slab:             159968 kB
SReclaimable:      76892 kB
SUnreclaim:        83076 kB
KernelStack:        3680 kB
PageTables:        10260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     663348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC011 at 2024-07-20 10:07:44