Trace number 4497008

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22adOPT23978 65.5067 65.7405

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
MD5SUM941241e1c409728c60fc0eaa98d1a86b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23978
Best CPU time to get the best result obtained on this benchmark0.048792
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1343
Total number of constraints2405
Number of constraints which are clauses2405
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint55
Number of terms in the objective function 690
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1098481
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1098481
Number of bits of the biggest sum of numbers21
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.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.07	c #variables 1343 #constraints 2405
0.00/0.07	c objective is ce32 
0.00/0.07	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.021533
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.021795
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.022141
0.00/0.07	c GLOBAL bounds - >= 5752 @ 0.022195
0.00/0.11	c rational objective 23978
0.00/0.11	c GLOBAL bounds - >= 5752 @ 0.053776
0.07/0.11	c GLOBAL bounds - >= 5752 @ 0.056762
0.07/0.12	c GLOBAL bounds - >= 5752 @ 0.058268
0.07/0.12	c GLOBAL bounds - >= 5752 @ 0.058741
0.07/0.12	c GLOBAL bounds - >= 5752 @ 0.060753
0.07/0.13	c GLOBAL bounds - >= 5752 @ 0.062813
0.07/0.13	c GLOBAL bounds - >= 5752 @ 0.064653
0.07/0.13	c GLOBAL bounds - >= 5752 @ 0.064653
0.07/0.14	c GLOBAL bounds - >= 5752 @ 0.06657
0.07/0.14	c GLOBAL bounds - >= 5752 @ 0.06657
0.07/0.14	c GLOBAL bounds - >= 5752 @ 0.067477
0.07/0.15	c GLOBAL bounds - >= 5752 @ 0.06924
0.07/0.15	c GLOBAL bounds - >= 5752 @ 0.071433
0.07/0.15	c GLOBAL bounds - >= 5752 @ 0.073842
0.07/0.16	c GLOBAL bounds - >= 5752 @ 0.076572
0.07/0.16	c GLOBAL bounds - >= 5752 @ 0.077703
0.07/0.16	c GLOBAL bounds - >= 5752 @ 0.080377
0.07/0.17	c GLOBAL bounds - >= 5752 @ 0.081711
0.07/0.17	c GLOBAL bounds - >= 5752 @ 0.083345
0.07/0.18	c GLOBAL bounds - >= 5752 @ 0.084324
0.07/0.18	c GLOBAL bounds - >= 5752 @ 0.087932
0.07/0.19	c GLOBAL bounds - >= 5752 @ 0.089206
0.07/0.19	c GLOBAL bounds - >= 5752 @ 0.091245
0.07/0.20	c GLOBAL bounds - >= 5752 @ 0.091862
0.07/0.20	c GLOBAL bounds - >= 5752 @ 0.092209
0.07/0.20	c GLOBAL bounds - >= 5752 @ 0.093172
0.07/0.20	c GLOBAL bounds - >= 5752 @ 0.094463
0.07/0.21	c GLOBAL bounds - >= 5752 @ 0.09729
0.07/0.21	c GLOBAL bounds - >= 5752 @ 0.099008
0.07/0.21	c GLOBAL bounds - >= 5752 @ 0.099657
0.07/0.22	c GLOBAL bounds - >= 5752 @ 0.10208
0.07/0.22	c GLOBAL bounds - >= 5752 @ 0.103932
0.18/0.22	c GLOBAL bounds - >= 5752 @ 0.104607
0.18/0.23	c GLOBAL bounds - >= 5752 @ 0.105604
0.18/0.25	c GLOBAL bounds - >= 5752 @ 0.124574
0.18/0.25	c GLOBAL bounds - >= 5752 @ 0.125934
0.18/0.26	c GLOBAL bounds - >= 5752 @ 0.128546
0.18/0.26	c GLOBAL bounds - >= 5752 @ 0.133522
0.28/0.32	c GLOBAL bounds - >= 12966 @ 0.194166
0.28/0.33	c GLOBAL bounds - >= 12966 @ 0.197332
0.28/0.33	c GLOBAL bounds - >= 12966 @ 0.199446
0.28/0.33	c GLOBAL bounds - >= 12966 @ 0.201406
0.28/0.34	c GLOBAL bounds - >= 12966 @ 0.202834
0.28/0.34	c GLOBAL bounds - >= 12966 @ 0.204705
0.28/0.34	c GLOBAL bounds - >= 12966 @ 0.207455
0.28/0.35	c GLOBAL bounds - >= 12966 @ 0.209581
0.28/0.35	c GLOBAL bounds - >= 12966 @ 0.212012
0.28/0.36	c GLOBAL bounds - >= 12966 @ 0.213171
0.28/0.36	c GLOBAL bounds - >= 12966 @ 0.215256
0.28/0.36	c GLOBAL bounds - >= 12966 @ 0.216695
0.28/0.37	c GLOBAL bounds - >= 12966 @ 0.219895
0.28/0.37	c GLOBAL bounds - >= 12966 @ 0.222205
0.28/0.37	c GLOBAL bounds - >= 12966 @ 0.224191
0.28/0.38	c GLOBAL bounds - >= 12966 @ 0.226804
0.28/0.38	c GLOBAL bounds - >= 12966 @ 0.229158
0.28/0.39	c GLOBAL bounds - >= 12966 @ 0.231279
0.28/0.39	c GLOBAL bounds - >= 12966 @ 0.233623
0.28/0.39	c GLOBAL bounds - >= 12966 @ 0.235111
0.28/0.40	c GLOBAL bounds - >= 12966 @ 0.237089
0.28/0.40	c GLOBAL bounds - >= 12966 @ 0.237089
0.28/0.40	c GLOBAL bounds - >= 12966 @ 0.23906
0.28/0.40	c GLOBAL bounds - >= 12966 @ 0.240393
0.28/0.41	c GLOBAL bounds - >= 12966 @ 0.24325
0.28/0.41	c GLOBAL bounds - >= 12966 @ 0.248263
0.28/0.42	c GLOBAL bounds - >= 12966 @ 0.250986
0.28/0.42	c GLOBAL bounds - >= 12966 @ 0.253823
0.38/0.43	c GLOBAL bounds - >= 12966 @ 0.257043
0.38/0.46	c GLOBAL bounds - >= 12966 @ 0.285045
0.38/0.46	c GLOBAL bounds - >= 12966 @ 0.286817
0.38/0.48	c GLOBAL bounds - >= 12966 @ 0.301249
0.56/0.62	c GLOBAL bounds - >= 12966 @ 0.441883
1.97/2.03	c #Conflicts:       1000 | #Constraints:       1153
1.97/2.03	c #Conflicts:       2000 | #Constraints:       2153
1.97/2.03	c INPROCESSING
1.97/2.03	c GARBAGE COLLECT
1.97/2.03	c #Conflicts:       3000 | #Constraints:       2129
1.97/2.03	c #Conflicts:       4000 | #Constraints:       3129
1.97/2.03	c INPROCESSING
1.97/2.03	c GARBAGE COLLECT
1.97/2.03	c #Conflicts:       5000 | #Constraints:       2540
1.97/2.03	c #Conflicts:       6000 | #Constraints:       3540
1.97/2.03	c GLOBAL bounds - >= 18982 @ 1.76907
1.97/2.03	c GLOBAL bounds - >= 18982 @ 1.77212
1.97/2.03	c GLOBAL bounds - >= 18982 @ 1.77259
1.97/2.03	c GLOBAL bounds - >= 18982 @ 1.7741
1.97/2.04	c GLOBAL bounds - >= 18982 @ 1.77513
1.97/2.04	c GLOBAL bounds - >= 18982 @ 1.77559
1.97/2.04	c GLOBAL bounds - >= 18982 @ 1.77559
1.97/2.04	c GLOBAL bounds - >= 18982 @ 1.77559
1.97/2.04	c GLOBAL bounds - >= 18982 @ 1.77642
1.97/2.04	c GLOBAL bounds - >= 18982 @ 1.77658
1.97/2.04	c GLOBAL bounds - >= 18982 @ 1.77658
1.97/2.05	c GLOBAL bounds - >= 18982 @ 1.77671
1.97/2.05	c GLOBAL bounds - >= 18982 @ 1.77757
1.97/2.05	c GLOBAL bounds - >= 18982 @ 1.77757
1.97/2.05	c GLOBAL bounds - >= 18982 @ 1.77856
1.97/2.05	c GLOBAL bounds - >= 18982 @ 1.77856
1.97/2.05	c GLOBAL bounds - >= 18982 @ 1.7796
1.97/2.05	c GLOBAL bounds - >= 18982 @ 1.78055
1.97/2.06	c GLOBAL bounds - >= 18982 @ 1.7814
1.97/2.06	c GLOBAL bounds - >= 18982 @ 1.78194
1.97/2.06	c GLOBAL bounds 29969 >= 18982 @ 1.78254
2.06/2.11	c INPROCESSING
2.06/2.11	c GARBAGE COLLECT
2.06/2.11	c GLOBAL bounds 29969 >= 18982 @ 1.83623
2.06/2.12	c GLOBAL bounds 29969 >= 18982 @ 1.83776
2.06/2.12	c GLOBAL bounds 29969 >= 18982 @ 1.83846
2.06/2.13	c GLOBAL bounds 29969 >= 18982 @ 1.84782
2.06/2.13	c GLOBAL bounds 29969 >= 18982 @ 1.84931
2.06/2.14	c GLOBAL bounds 29969 >= 18982 @ 1.85628
2.25/2.38	c #Conflicts:       7000 | #Constraints:       2577
2.25/2.38	c #Conflicts:       8000 | #Constraints:       3577
2.25/2.38	c GLOBAL bounds 29969 >= 18982 @ 2.08139
2.35/2.40	c GLOBAL bounds 29969 >= 18982 @ 2.10355
2.35/2.40	c GLOBAL bounds 29969 >= 18982 @ 2.10543
2.35/2.41	c GLOBAL bounds 29969 >= 18982 @ 2.11046
2.35/2.42	c GLOBAL bounds 29969 >= 18982 @ 2.11759
2.55/2.63	c #Conflicts:       9000 | #Constraints:       4592
2.55/2.63	c INPROCESSING
2.55/2.63	c GARBAGE COLLECT
2.55/2.63	c GLOBAL bounds 29969 >= 18982 @ 2.31371
4.25/4.32	c #Conflicts:      10000 | #Constraints:       3288
4.25/4.32	c #Conflicts:      11000 | #Constraints:       4288
4.25/4.32	c #Conflicts:      12000 | #Constraints:       5288
4.25/4.32	c INPROCESSING
4.25/4.32	c GARBAGE COLLECT
4.25/4.32	c #Conflicts:      13000 | #Constraints:       3741
4.25/4.32	c #Conflicts:      14000 | #Constraints:       4741
4.25/4.32	c #Conflicts:      15000 | #Constraints:       5741
4.25/4.32	c INPROCESSING
4.25/4.32	c GARBAGE COLLECT
4.25/4.32	c #Conflicts:      16000 | #Constraints:       3970
4.25/4.32	c #Conflicts:      17000 | #Constraints:       4970
4.25/4.32	c #Conflicts:      18000 | #Constraints:       5970
4.25/4.32	c GLOBAL bounds 29969 >= 21829 @ 3.93262
4.25/4.32	c GLOBAL bounds 29969 >= 21829 @ 3.93481
4.25/4.32	c GLOBAL bounds 29969 >= 21829 @ 3.93481
4.25/4.32	c GLOBAL bounds 29969 >= 21829 @ 3.93515
4.25/4.33	c GLOBAL bounds 27301 >= 21829 @ 3.93645
4.25/4.33	c GLOBAL bounds 27301 >= 21829 @ 3.9376
4.25/4.33	c GLOBAL bounds 27301 >= 21829 @ 3.93859
4.25/4.33	c GLOBAL bounds 27301 >= 21829 @ 3.93978
4.25/4.33	c GLOBAL bounds 27301 >= 21829 @ 3.93978
4.25/4.33	c GLOBAL bounds 27301 >= 21829 @ 3.94071
4.25/4.33	c GLOBAL bounds 27301 >= 21829 @ 3.94169
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94177
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94231
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94287
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94376
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94376
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94444
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94475
4.25/4.34	c GLOBAL bounds 27301 >= 21829 @ 3.94502
4.25/4.35	c GLOBAL bounds 27301 >= 21829 @ 3.94671
4.25/4.35	c GLOBAL bounds 27301 >= 21829 @ 3.94674
4.25/4.35	c GLOBAL bounds 27301 >= 21829 @ 3.94769
4.25/4.35	c GLOBAL bounds 27301 >= 21829 @ 3.94874
4.25/4.38	c INPROCESSING
4.25/4.38	c GARBAGE COLLECT
4.25/4.38	c GLOBAL bounds 27301 >= 21829 @ 3.97267
4.25/4.38	c GLOBAL bounds 27301 >= 21829 @ 3.97466
4.25/4.38	c GLOBAL bounds 27301 >= 21829 @ 3.97596
4.25/4.38	c GLOBAL bounds 27301 >= 21829 @ 3.97742
4.25/4.38	c GLOBAL bounds 27301 >= 21829 @ 3.97865
4.25/4.39	c GLOBAL bounds 27301 >= 21829 @ 3.97999
5.95/6.10	c #Conflicts:      19000 | #Constraints:       4012
5.95/6.10	c #Conflicts:      20000 | #Constraints:       5012
5.95/6.10	c #Conflicts:      21000 | #Constraints:       6012
5.95/6.10	c INPROCESSING
5.95/6.10	c GARBAGE COLLECT
5.95/6.10	c #Conflicts:      22000 | #Constraints:       3816
5.95/6.10	c #Conflicts:      23000 | #Constraints:       4816
5.95/6.10	c #Conflicts:      24000 | #Constraints:       5816
5.95/6.10	c #Conflicts:      25000 | #Constraints:       6816
5.95/6.10	c INPROCESSING
5.95/6.10	c GARBAGE COLLECT
5.95/6.10	c #Conflicts:      26000 | #Constraints:       4420
5.95/6.10	c #Conflicts:      27000 | #Constraints:       5420
5.95/6.10	c GLOBAL bounds 27301 >= 21829 @ 5.63003
5.95/6.10	c GLOBAL bounds 27301 >= 21829 @ 5.63388
5.95/6.10	c GLOBAL bounds 27301 >= 21829 @ 5.63484
5.95/6.11	c GLOBAL bounds 27301 >= 21829 @ 5.63505
6.05/6.13	c GLOBAL bounds 27301 >= 21829 @ 5.6556
7.94/8.10	c #Conflicts:      28000 | #Constraints:       6435
7.94/8.10	c #Conflicts:      29000 | #Constraints:       7435
7.94/8.10	c INPROCESSING
7.94/8.10	c GARBAGE COLLECT
7.94/8.10	c #Conflicts:      30000 | #Constraints:       4830
7.94/8.10	c #Conflicts:      31000 | #Constraints:       5830
7.94/8.10	c #Conflicts:      32000 | #Constraints:       6830
7.94/8.10	c #Conflicts:      33000 | #Constraints:       7830
7.94/8.10	c INPROCESSING
7.94/8.10	c GARBAGE COLLECT
7.94/8.10	c #Conflicts:      34000 | #Constraints:       5033
7.94/8.10	c #Conflicts:      35000 | #Constraints:       6033
7.94/8.10	c #Conflicts:      36000 | #Constraints:       7033
7.94/8.10	c GLOBAL bounds 27301 >= 21829 @ 7.51315
7.94/8.10	c GLOBAL bounds 27301 >= 21829 @ 7.51614
8.05/8.12	c GLOBAL bounds 27301 >= 21829 @ 7.53502
8.05/8.13	c GLOBAL bounds 27301 >= 21829 @ 7.54002
8.43/8.56	c #Conflicts:      37000 | #Constraints:       8045
8.43/8.56	c INPROCESSING
8.43/8.56	c GARBAGE COLLECT
8.43/8.56	c #Conflicts:      38000 | #Constraints:       5042
8.43/8.56	c GLOBAL bounds 27301 >= 21829 @ 7.94592
8.43/8.56	c GLOBAL bounds 27301 >= 21829 @ 7.94798
8.43/8.56	c GLOBAL bounds 27301 >= 21829 @ 7.94926
8.43/8.56	c GLOBAL bounds 27301 >= 21829 @ 7.95054
8.73/8.81	c #Conflicts:      39000 | #Constraints:       6054
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.17972
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18166
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18222
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18222
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18222
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18222
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18222
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18332
8.73/8.81	c GLOBAL bounds 27301 >= 21973 @ 8.18422
8.73/8.82	c GLOBAL bounds 27301 >= 21973 @ 8.19077
8.73/8.82	c GLOBAL bounds 27301 >= 21973 @ 8.19181
8.73/8.82	c GLOBAL bounds 27301 >= 21973 @ 8.1925
8.73/8.83	c GLOBAL bounds 27301 >= 21973 @ 8.19319
8.73/8.83	c GLOBAL bounds 27301 >= 21973 @ 8.19319
8.73/8.83	c GLOBAL bounds 27301 >= 21973 @ 8.19415
8.73/8.83	c GLOBAL bounds 27301 >= 21973 @ 8.19718
8.73/8.83	c GLOBAL bounds 27301 >= 21973 @ 8.19791
8.73/8.84	c GLOBAL bounds 27301 >= 21973 @ 8.20615
8.73/8.84	c GLOBAL bounds 27301 >= 21973 @ 8.20712
8.73/8.85	c GLOBAL bounds 27301 >= 21973 @ 8.21096
8.73/8.85	c GLOBAL bounds 27301 >= 21973 @ 8.21205
8.73/8.85	c GLOBAL bounds 27301 >= 21973 @ 8.21512
8.73/8.85	c GLOBAL bounds 27301 >= 21973 @ 8.21585
8.73/8.86	c GLOBAL bounds 27301 >= 21973 @ 8.21832
8.73/8.86	c GLOBAL bounds 27301 >= 21973 @ 8.21911
8.73/8.87	c GLOBAL bounds 27301 >= 21973 @ 8.22717
8.73/8.87	c GLOBAL bounds 27301 >= 21973 @ 8.23196
9.32/9.42	c #Conflicts:      40000 | #Constraints:       7101
9.32/9.42	c #Conflicts:      41000 | #Constraints:       8101
9.32/9.42	c INPROCESSING
9.32/9.42	c GARBAGE COLLECT
9.32/9.42	c #Conflicts:      42000 | #Constraints:       4888
9.32/9.42	c GLOBAL bounds 27301 >= 21973 @ 8.75951
9.32/9.43	c GLOBAL bounds 27301 >= 21973 @ 8.76769
9.43/9.54	c #Conflicts:      43000 | #Constraints:       5894
9.43/9.54	c GLOBAL bounds 27301 >= 21973 @ 8.86618
9.43/9.57	c GLOBAL bounds 27301 >= 21973 @ 8.89706
9.43/9.57	c GLOBAL bounds 27301 >= 21973 @ 8.8991
9.82/9.98	c #Conflicts:      44000 | #Constraints:       6903
9.82/9.98	c #Conflicts:      45000 | #Constraints:       7903
9.82/9.98	c GLOBAL bounds 27301 >= 21973 @ 9.27125
10.42/10.53	c #Conflicts:      46000 | #Constraints:       8906
10.42/10.53	c INPROCESSING
10.42/10.53	c GARBAGE COLLECT
10.42/10.53	c #Conflicts:      47000 | #Constraints:       5499
10.42/10.53	c GLOBAL bounds 27301 >= 21973 @ 9.79167
10.72/10.86	c #Conflicts:      48000 | #Constraints:       6502
10.72/10.86	c GLOBAL bounds 27301 >= 21973 @ 10.1047
11.71/11.87	c #Conflicts:      49000 | #Constraints:       7505
11.71/11.87	c #Conflicts:      50000 | #Constraints:       8505
11.71/11.87	c #Conflicts:      51000 | #Constraints:       9505
11.71/11.87	c INPROCESSING
11.71/11.87	c GARBAGE COLLECT
11.71/11.87	c #Conflicts:      52000 | #Constraints:       5911
11.71/11.87	c #Conflicts:      53000 | #Constraints:       6911
11.71/11.87	c GLOBAL bounds 27301 >= 21973 @ 11.0778
13.70/13.85	c #Conflicts:      54000 | #Constraints:       7914
13.70/13.85	c #Conflicts:      55000 | #Constraints:       8914
13.70/13.85	c #Conflicts:      56000 | #Constraints:       9914
13.70/13.85	c INPROCESSING
13.70/13.85	c GARBAGE COLLECT
13.70/13.85	c #Conflicts:      57000 | #Constraints:       6107
13.70/13.85	c #Conflicts:      58000 | #Constraints:       7107
13.70/13.85	c #Conflicts:      59000 | #Constraints:       8107
13.70/13.85	c #Conflicts:      60000 | #Constraints:       9107
13.70/13.85	c #Conflicts:      61000 | #Constraints:      10107
13.70/13.85	c INPROCESSING
13.70/13.85	c GARBAGE COLLECT
13.70/13.85	c #Conflicts:      62000 | #Constraints:       6104
13.70/13.85	c GLOBAL bounds 27301 >= 21973 @ 12.9689
13.70/13.85	c GLOBAL bounds 27301 >= 21973 @ 12.9732
13.70/13.86	c GLOBAL bounds 27301 >= 21973 @ 12.9823
14.11/14.21	c #Conflicts:      63000 | #Constraints:       7113
14.11/14.21	c GLOBAL bounds 27301 >= 21973 @ 13.3154
14.11/14.22	c #Conflicts:      64000 | #Constraints:       8116
14.11/14.22	c GLOBAL bounds 27301 >= 21973 @ 13.3223
15.60/15.74	c #Conflicts:      65000 | #Constraints:       9119
15.60/15.74	c #Conflicts:      66000 | #Constraints:      10119
15.60/15.74	c INPROCESSING
15.60/15.74	c GARBAGE COLLECT
15.60/15.74	c #Conflicts:      67000 | #Constraints:       5917
15.60/15.74	c #Conflicts:      68000 | #Constraints:       6917
15.60/15.74	c #Conflicts:      69000 | #Constraints:       7917
15.60/15.74	c #Conflicts:      70000 | #Constraints:       8917
15.60/15.74	c #Conflicts:      71000 | #Constraints:       9917
15.60/15.74	c GLOBAL bounds 27301 >= 22254 @ 14.7784
15.60/15.75	c GLOBAL bounds 27301 >= 22254 @ 14.7807
15.60/15.75	c GLOBAL bounds 27301 >= 22254 @ 14.7816
15.60/15.75	c GLOBAL bounds 27301 >= 22254 @ 14.7824
15.60/15.75	c GLOBAL bounds 27301 >= 22254 @ 14.7834
15.60/15.75	c GLOBAL bounds 27301 >= 22254 @ 14.7846
15.60/15.75	c GLOBAL bounds 27301 >= 22254 @ 14.7856
15.70/15.82	c #Conflicts:      72000 | #Constraints:      10922
15.70/15.82	c GLOBAL bounds 27301 >= 22254 @ 14.8474
15.70/15.82	c GLOBAL bounds 27301 >= 22254 @ 14.8488
15.70/15.82	c GLOBAL bounds 27301 >= 22254 @ 14.8504
15.70/15.82	c GLOBAL bounds 27301 >= 22254 @ 14.8517
15.70/15.83	c GLOBAL bounds 27301 >= 22254 @ 14.8536
15.70/15.83	c GLOBAL bounds 27301 >= 22254 @ 14.8542
15.70/15.84	c GLOBAL bounds 27301 >= 22254 @ 14.8676
15.70/15.84	c GLOBAL bounds 27301 >= 22254 @ 14.8685
15.70/15.85	c GLOBAL bounds 27301 >= 22254 @ 14.8686
15.70/15.85	c GLOBAL bounds 27301 >= 22254 @ 14.8695
15.70/15.85	c GLOBAL bounds 27301 >= 22254 @ 14.8716
15.70/15.85	c GLOBAL bounds 27301 >= 22254 @ 14.8724
15.70/15.87	c GLOBAL bounds 27301 >= 22254 @ 14.8874
15.70/15.87	c GLOBAL bounds 27301 >= 22254 @ 14.8885
15.70/15.89	c INPROCESSING
15.70/15.89	c GARBAGE COLLECT
15.70/15.89	c GLOBAL bounds 27301 >= 22254 @ 14.9124
15.70/15.90	c GLOBAL bounds 27301 >= 22254 @ 14.9135
15.80/15.90	c GLOBAL bounds 27301 >= 22254 @ 14.9143
15.80/15.90	c GLOBAL bounds 27301 >= 22254 @ 14.9156
15.80/15.90	c GLOBAL bounds 27301 >= 22254 @ 14.9165
15.80/15.94	c GLOBAL bounds 27301 >= 22254 @ 14.9503
15.80/15.94	c GLOBAL bounds 27301 >= 22254 @ 14.9503
15.80/15.95	c GLOBAL bounds 27301 >= 22254 @ 14.9513
15.80/15.98	c GLOBAL bounds 27301 >= 22254 @ 14.9842
15.80/15.98	c GLOBAL bounds 27301 >= 22254 @ 14.9852
16.20/16.37	c #Conflicts:      73000 | #Constraints:       6555
16.20/16.37	c #Conflicts:      74000 | #Constraints:       7555
16.20/16.37	c GLOBAL bounds 27301 >= 22254 @ 15.3501
16.60/16.74	c #Conflicts:      75000 | #Constraints:       8558
16.60/16.74	c #Conflicts:      76000 | #Constraints:       9558
16.60/16.74	c GLOBAL bounds 27301 >= 22254 @ 15.6981
19.59/19.75	c #Conflicts:      77000 | #Constraints:      10561
19.59/19.75	c #Conflicts:      78000 | #Constraints:      11561
19.59/19.75	c INPROCESSING
19.59/19.75	c GARBAGE COLLECT
19.59/19.75	c #Conflicts:      79000 | #Constraints:       6957
19.59/19.75	c #Conflicts:      80000 | #Constraints:       7957
19.59/19.75	c #Conflicts:      81000 | #Constraints:       8957
19.59/19.75	c #Conflicts:      82000 | #Constraints:       9957
19.59/19.75	c #Conflicts:      83000 | #Constraints:      10957
19.59/19.75	c #Conflicts:      84000 | #Constraints:      11957
19.59/19.75	c INPROCESSING
19.59/19.75	c GARBAGE COLLECT
19.59/19.75	c #Conflicts:      85000 | #Constraints:       7165
19.59/19.75	c #Conflicts:      86000 | #Constraints:       8165
19.59/19.75	c #Conflicts:      87000 | #Constraints:       9165
19.59/19.75	c #Conflicts:      88000 | #Constraints:      10165
19.59/19.75	c #Conflicts:      89000 | #Constraints:      11165
19.59/19.75	c GLOBAL bounds 27301 >= 22254 @ 18.5717
31.26/31.43	c #Conflicts:      90000 | #Constraints:      12168
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c #Conflicts:      91000 | #Constraints:       7166
31.26/31.43	c #Conflicts:      92000 | #Constraints:       8166
31.26/31.43	c #Conflicts:      93000 | #Constraints:       9166
31.26/31.43	c #Conflicts:      94000 | #Constraints:      10166
31.26/31.43	c #Conflicts:      95000 | #Constraints:      11166
31.26/31.43	c #Conflicts:      96000 | #Constraints:      12166
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c #Conflicts:      97000 | #Constraints:       7014
31.26/31.43	c #Conflicts:      98000 | #Constraints:       8014
31.26/31.43	c #Conflicts:      99000 | #Constraints:       9014
31.26/31.43	c #Conflicts:     100000 | #Constraints:      10014
31.26/31.43	c #Conflicts:     101000 | #Constraints:      11014
31.26/31.43	c #Conflicts:     102000 | #Constraints:      12014
31.26/31.43	c #Conflicts:     103000 | #Constraints:      13014
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c #Conflicts:     104000 | #Constraints:       7602
31.26/31.43	c #Conflicts:     105000 | #Constraints:       8602
31.26/31.43	c #Conflicts:     106000 | #Constraints:       9602
31.26/31.43	c #Conflicts:     107000 | #Constraints:      10602
31.26/31.43	c #Conflicts:     108000 | #Constraints:      11602
31.26/31.43	c #Conflicts:     109000 | #Constraints:      12602
31.26/31.43	c #Conflicts:     110000 | #Constraints:      13602
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c #Conflicts:     111000 | #Constraints:       7987
31.26/31.43	c #Conflicts:     112000 | #Constraints:       8987
31.26/31.43	c #Conflicts:     113000 | #Constraints:       9987
31.26/31.43	c #Conflicts:     114000 | #Constraints:      10987
31.26/31.43	c #Conflicts:     115000 | #Constraints:      11987
31.26/31.43	c #Conflicts:     116000 | #Constraints:      12987
31.26/31.43	c #Conflicts:     117000 | #Constraints:      13987
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c #Conflicts:     118000 | #Constraints:       8187
31.26/31.43	c #Conflicts:     119000 | #Constraints:       9187
31.26/31.43	c #Conflicts:     120000 | #Constraints:      10187
31.26/31.43	c #Conflicts:     121000 | #Constraints:      11187
31.26/31.43	c #Conflicts:     122000 | #Constraints:      12187
31.26/31.43	c #Conflicts:     123000 | #Constraints:      13187
31.26/31.43	c #Conflicts:     124000 | #Constraints:      14187
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c #Conflicts:     125000 | #Constraints:       8179
31.26/31.43	c #Conflicts:     126000 | #Constraints:       9179
31.26/31.43	c #Conflicts:     127000 | #Constraints:      10179
31.26/31.43	c #Conflicts:     128000 | #Constraints:      11179
31.26/31.43	c #Conflicts:     129000 | #Constraints:      12179
31.26/31.43	c #Conflicts:     130000 | #Constraints:      13179
31.26/31.43	c #Conflicts:     131000 | #Constraints:      14179
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c #Conflicts:     132000 | #Constraints:       7979
31.26/31.43	c #Conflicts:     133000 | #Constraints:       8979
31.26/31.43	c #Conflicts:     134000 | #Constraints:       9979
31.26/31.43	c #Conflicts:     135000 | #Constraints:      10979
31.26/31.43	c #Conflicts:     136000 | #Constraints:      11979
31.26/31.43	c #Conflicts:     137000 | #Constraints:      12979
31.26/31.43	c GLOBAL bounds 27301 >= 23583 @ 29.7187
31.26/31.43	c GLOBAL bounds 27301 >= 23583 @ 29.7216
31.26/31.43	c GLOBAL bounds 27301 >= 23583 @ 29.7225
31.26/31.43	c GLOBAL bounds 27301 >= 23583 @ 29.7236
31.35/31.50	c GLOBAL bounds 27301 >= 23583 @ 29.7873
31.35/31.50	c GLOBAL bounds 27301 >= 23583 @ 29.7885
31.35/31.50	c GLOBAL bounds 27301 >= 23583 @ 29.7904
31.35/31.50	c GLOBAL bounds 26131 >= 23583 @ 29.7913
31.35/31.52	c GLOBAL bounds 26131 >= 23583 @ 29.8023
31.35/31.52	c GLOBAL bounds 26131 >= 23583 @ 29.8033
31.35/31.52	c GLOBAL bounds 26131 >= 23583 @ 29.8053
31.35/31.52	c GLOBAL bounds 26131 >= 23583 @ 29.8063
31.35/31.53	c GLOBAL bounds 26131 >= 23583 @ 29.8073
31.35/31.53	c GLOBAL bounds 25997 >= 23583 @ 29.8083
31.65/31.81	c #Conflicts:     138000 | #Constraints:      14002
31.65/31.81	c #Conflicts:     139000 | #Constraints:      15002
31.65/31.81	c INPROCESSING
31.65/31.81	c GARBAGE COLLECT
31.65/31.81	c GLOBAL bounds 25997 >= 23583 @ 30.0791
31.65/31.82	c GLOBAL bounds 25997 >= 23583 @ 30.0808
31.65/31.82	c GLOBAL bounds 25997 >= 23583 @ 30.0816
31.65/31.82	c GLOBAL bounds 25997 >= 23583 @ 30.0825
31.65/31.82	c GLOBAL bounds 25997 >= 23583 @ 30.0831
31.65/31.82	c GLOBAL bounds 25997 >= 23583 @ 30.0844
31.65/31.82	c GLOBAL bounds 25997 >= 23583 @ 30.0856
31.65/31.83	c GLOBAL bounds 25997 >= 23583 @ 30.0869
31.65/31.83	c GLOBAL bounds 25997 >= 23583 @ 30.0889
31.65/31.83	c GLOBAL bounds 25997 >= 23583 @ 30.0895
31.65/31.83	c GLOBAL bounds 25997 >= 23583 @ 30.0898
31.65/31.83	c GLOBAL bounds 25997 >= 23583 @ 30.0905
31.65/31.83	c GLOBAL bounds 25997 >= 23583 @ 30.0915
32.36/32.52	c #Conflicts:     140000 | #Constraints:       8551
32.36/32.52	c #Conflicts:     141000 | #Constraints:       9551
32.36/32.52	c #Conflicts:     142000 | #Constraints:      10551
32.36/32.52	c GLOBAL bounds 25997 >= 23583 @ 30.7378
36.54/36.79	c #Conflicts:     143000 | #Constraints:      11554
36.54/36.79	c #Conflicts:     144000 | #Constraints:      12554
36.54/36.79	c #Conflicts:     145000 | #Constraints:      13554
36.54/36.79	c #Conflicts:     146000 | #Constraints:      14554
36.54/36.79	c #Conflicts:     147000 | #Constraints:      15554
36.54/36.79	c INPROCESSING
36.54/36.79	c GARBAGE COLLECT
36.54/36.79	c #Conflicts:     148000 | #Constraints:       8954
36.54/36.79	c #Conflicts:     149000 | #Constraints:       9954
36.54/36.79	c #Conflicts:     150000 | #Constraints:      10954
36.54/36.79	c #Conflicts:     151000 | #Constraints:      11954
36.54/36.79	c #Conflicts:     152000 | #Constraints:      12954
36.54/36.79	c #Conflicts:     153000 | #Constraints:      13954
36.54/36.79	c #Conflicts:     154000 | #Constraints:      14954
36.54/36.79	c #Conflicts:     155000 | #Constraints:      15954
36.54/36.79	c INPROCESSING
36.54/36.79	c GARBAGE COLLECT
36.54/36.79	c #Conflicts:     156000 | #Constraints:       9173
36.54/36.79	c #Conflicts:     157000 | #Constraints:      10173
36.54/36.79	c #Conflicts:     158000 | #Constraints:      11173
36.54/36.79	c #Conflicts:     159000 | #Constraints:      12173
36.54/36.79	c #Conflicts:     160000 | #Constraints:      13173
36.54/36.79	c GLOBAL bounds 25997 >= 23583 @ 34.8403
40.53/40.74	c #Conflicts:     161000 | #Constraints:      14176
40.53/40.74	c #Conflicts:     162000 | #Constraints:      15176
40.53/40.74	c #Conflicts:     163000 | #Constraints:      16176
40.53/40.74	c INPROCESSING
40.53/40.74	c GARBAGE COLLECT
40.53/40.74	c #Conflicts:     164000 | #Constraints:       9160
40.53/40.74	c #Conflicts:     165000 | #Constraints:      10160
40.53/40.74	c #Conflicts:     166000 | #Constraints:      11160
40.53/40.74	c #Conflicts:     167000 | #Constraints:      12160
40.53/40.74	c #Conflicts:     168000 | #Constraints:      13160
40.53/40.74	c #Conflicts:     169000 | #Constraints:      14160
40.53/40.74	c #Conflicts:     170000 | #Constraints:      15160
40.53/40.74	c #Conflicts:     171000 | #Constraints:      16160
40.53/40.74	c #Conflicts:     172000 | #Constraints:      17160
40.53/40.74	c #Conflicts:     173000 | #Constraints:      18160
40.53/40.74	c #Conflicts:     174000 | #Constraints:      19160
40.53/40.74	c GLOBAL bounds 25997 >= 23699 @ 38.6374
40.53/40.74	c GLOBAL bounds 25997 >= 23699 @ 38.6404
40.53/40.74	c GLOBAL bounds 25997 >= 23699 @ 38.6414
40.53/40.74	c GLOBAL bounds 25997 >= 23699 @ 38.6426
40.53/40.76	c GLOBAL bounds 25997 >= 23699 @ 38.6585
40.53/40.76	c GLOBAL bounds 25997 >= 23699 @ 38.6593
40.53/40.76	c GLOBAL bounds 25997 >= 23699 @ 38.6615
40.53/40.76	c GLOBAL bounds 25997 >= 23699 @ 38.6624
40.53/40.77	c GLOBAL bounds 25997 >= 23699 @ 38.665
40.53/40.77	c GLOBAL bounds 25039 >= 23699 @ 38.6665
40.62/40.86	c GLOBAL bounds 25039 >= 23699 @ 38.7562
40.62/40.86	c GLOBAL bounds 24891 >= 23699 @ 38.7572
40.73/40.96	c #Conflicts:     175000 | #Constraints:      20177
40.73/40.96	c GLOBAL bounds 24891 >= 23699 @ 38.8483
40.73/40.96	c GLOBAL bounds 24891 >= 23699 @ 38.8498
40.73/40.96	c GLOBAL bounds 24891 >= 23699 @ 38.851
40.73/40.96	c GLOBAL bounds 24891 >= 23699 @ 38.8519
40.73/40.97	c GLOBAL bounds 24891 >= 23699 @ 38.8539
40.73/40.97	c GLOBAL bounds 24891 >= 23699 @ 38.8539
40.94/41.20	c GLOBAL bounds 24891 >= 23699 @ 39.0633
41.02/41.20	c GLOBAL bounds 24891 >= 23699 @ 39.0644
41.02/41.20	c GLOBAL bounds 24891 >= 23699 @ 39.0664
41.02/41.20	c GLOBAL bounds 24891 >= 23699 @ 39.0676
41.02/41.20	c GLOBAL bounds 24891 >= 23699 @ 39.0689
41.02/41.20	c GLOBAL bounds 24891 >= 23699 @ 39.07
41.02/41.21	c GLOBAL bounds 24891 >= 23699 @ 39.0723
41.02/41.21	c GLOBAL bounds 24891 >= 23699 @ 39.0732
41.02/41.21	c GLOBAL bounds 24891 >= 23699 @ 39.0742
41.02/41.21	c GLOBAL bounds 24891 >= 23699 @ 39.0752
41.02/41.21	c GLOBAL bounds 24891 >= 23699 @ 39.0762
44.92/45.14	c #Conflicts:     176000 | #Constraints:      21202
44.92/45.14	c #Conflicts:     177000 | #Constraints:      22202
44.92/45.14	c #Conflicts:     178000 | #Constraints:      23202
44.92/45.14	c #Conflicts:     179000 | #Constraints:      24202
44.92/45.14	c #Conflicts:     180000 | #Constraints:      25202
44.92/45.14	c #Conflicts:     181000 | #Constraints:      26202
44.92/45.14	c #Conflicts:     182000 | #Constraints:      27202
44.92/45.14	c #Conflicts:     183000 | #Constraints:      28202
44.92/45.14	c #Conflicts:     184000 | #Constraints:      29202
44.92/45.14	c #Conflicts:     185000 | #Constraints:      30202
44.92/45.14	c #Conflicts:     186000 | #Constraints:      31202
44.92/45.14	c #Conflicts:     187000 | #Constraints:      32202
44.92/45.14	c #Conflicts:     188000 | #Constraints:      33202
44.92/45.14	c GLOBAL bounds 24891 >= 23826 @ 42.8315
44.92/45.14	c GLOBAL bounds 24891 >= 23826 @ 42.8359
44.92/45.14	c GLOBAL bounds 24891 >= 23826 @ 42.8365
44.92/45.14	c GLOBAL bounds 24891 >= 23826 @ 42.8365
45.01/45.25	c GLOBAL bounds 24891 >= 23826 @ 42.9423
45.01/45.26	c GLOBAL bounds 24891 >= 23826 @ 42.9436
45.31/45.59	c #Conflicts:     189000 | #Constraints:      34205
45.31/45.59	c GLOBAL bounds 24891 >= 23826 @ 43.2716
45.31/45.59	c GLOBAL bounds 24891 >= 23826 @ 43.2731
51.29/51.56	c #Conflicts:     190000 | #Constraints:      35209
51.29/51.56	c #Conflicts:     191000 | #Constraints:      36209
51.29/51.56	c #Conflicts:     192000 | #Constraints:      37209
51.29/51.56	c #Conflicts:     193000 | #Constraints:      38209
51.29/51.56	c #Conflicts:     194000 | #Constraints:      39209
51.29/51.56	c #Conflicts:     195000 | #Constraints:      40209
51.29/51.56	c #Conflicts:     196000 | #Constraints:      41209
51.29/51.56	c #Conflicts:     197000 | #Constraints:      42209
51.29/51.56	c #Conflicts:     198000 | #Constraints:      43209
51.29/51.56	c #Conflicts:     199000 | #Constraints:      44209
51.29/51.56	c #Conflicts:     200000 | #Constraints:      45209
51.29/51.56	c #Conflicts:     201000 | #Constraints:      46209
51.29/51.56	c INPROCESSING
51.29/51.56	c GARBAGE COLLECT
51.29/51.56	c #Conflicts:     202000 | #Constraints:      24132
51.29/51.56	c #Conflicts:     203000 | #Constraints:      25132
51.29/51.56	c #Conflicts:     204000 | #Constraints:      26132
51.29/51.56	c #Conflicts:     205000 | #Constraints:      27132
51.29/51.56	c #Conflicts:     206000 | #Constraints:      28132
51.29/51.56	c #Conflicts:     207000 | #Constraints:      29132
51.29/51.56	c #Conflicts:     208000 | #Constraints:      30132
51.29/51.56	c #Conflicts:     209000 | #Constraints:      31132
51.29/51.56	c GLOBAL bounds 24891 >= 23826 @ 49.0548
51.29/51.56	c GLOBAL bounds 24891 >= 23826 @ 49.0565
51.39/51.68	c GLOBAL bounds 24891 >= 23826 @ 49.1744
51.39/51.68	c GLOBAL bounds 24891 >= 23826 @ 49.176
51.80/52.05	c #Conflicts:     210000 | #Constraints:      32140
51.80/52.05	c INPROCESSING
51.80/52.05	c GARBAGE COLLECT
51.80/52.05	c GLOBAL bounds 24891 >= 23826 @ 49.5331
51.80/52.05	c GLOBAL bounds 24891 >= 23826 @ 49.5344
52.30/52.51	c #Conflicts:     211000 | #Constraints:      16866
52.30/52.51	c #Conflicts:     212000 | #Constraints:      17866
52.30/52.51	c #Conflicts:     213000 | #Constraints:      18866
52.30/52.51	c GLOBAL bounds 24891 >= 23826 @ 49.9791
52.30/52.51	c GLOBAL bounds 24891 >= 23826 @ 49.9807
53.38/53.66	c #Conflicts:     214000 | #Constraints:      19870
53.38/53.66	c #Conflicts:     215000 | #Constraints:      20870
53.38/53.66	c #Conflicts:     216000 | #Constraints:      21870
53.38/53.66	c #Conflicts:     217000 | #Constraints:      22870
53.38/53.66	c #Conflicts:     218000 | #Constraints:      23870
53.38/53.66	c GLOBAL bounds 24891 >= 23826 @ 51.0885
53.38/53.66	c GLOBAL bounds 24891 >= 23826 @ 51.0898
53.49/53.74	c GLOBAL bounds 24891 >= 23826 @ 51.1629
53.49/53.74	c GLOBAL bounds 24891 >= 23826 @ 51.1643
53.98/54.30	c #Conflicts:     219000 | #Constraints:      24875
53.98/54.30	c #Conflicts:     220000 | #Constraints:      25875
53.98/54.30	c INPROCESSING
53.98/54.30	c GARBAGE COLLECT
53.98/54.30	c GLOBAL bounds 24891 >= 23826 @ 51.6998
54.09/54.30	c GLOBAL bounds 24891 >= 23826 @ 51.7007
55.68/55.95	c #Conflicts:     221000 | #Constraints:      13909
55.68/55.95	c #Conflicts:     222000 | #Constraints:      14909
55.68/55.95	c #Conflicts:     223000 | #Constraints:      15909
55.68/55.95	c #Conflicts:     224000 | #Constraints:      16909
55.68/55.95	c #Conflicts:     225000 | #Constraints:      17909
55.68/55.95	c #Conflicts:     226000 | #Constraints:      18909
55.68/55.95	c #Conflicts:     227000 | #Constraints:      19909
55.68/55.95	c #Conflicts:     228000 | #Constraints:      20909
55.68/55.95	c #Conflicts:     229000 | #Constraints:      21909
55.68/55.95	c GLOBAL bounds 24891 >= 23826 @ 53.2678
55.68/55.98	c GLOBAL bounds 24891 >= 23826 @ 53.2983
57.18/57.42	c #Conflicts:     230000 | #Constraints:      22912
57.18/57.42	c INPROCESSING
57.18/57.42	c GARBAGE COLLECT
57.18/57.42	c #Conflicts:     231000 | #Constraints:      12459
57.18/57.42	c #Conflicts:     232000 | #Constraints:      13459
57.18/57.42	c #Conflicts:     233000 | #Constraints:      14459
57.18/57.42	c #Conflicts:     234000 | #Constraints:      15459
57.18/57.42	c GLOBAL bounds 24891 >= 23835 @ 54.6974
57.18/57.42	c GLOBAL bounds 24891 >= 23835 @ 54.7001
57.18/57.42	c GLOBAL bounds 24891 >= 23835 @ 54.7009
57.68/57.99	c #Conflicts:     235000 | #Constraints:      16460
57.68/57.99	c #Conflicts:     236000 | #Constraints:      17460
57.68/57.99	c #Conflicts:     237000 | #Constraints:      18460
57.68/57.99	c GLOBAL bounds 24891 >= 23835 @ 55.2547
57.68/58.00	c GLOBAL bounds 24891 >= 23835 @ 55.2564
58.67/58.96	c #Conflicts:     238000 | #Constraints:      19464
58.67/58.96	c #Conflicts:     239000 | #Constraints:      20464
58.67/58.96	c #Conflicts:     240000 | #Constraints:      21464
58.67/58.96	c #Conflicts:     241000 | #Constraints:      22464
58.67/58.96	c GLOBAL bounds 24891 >= 23835 @ 56.185
58.67/58.96	c GLOBAL bounds 24891 >= 23835 @ 56.1866
58.88/59.12	c #Conflicts:     242000 | #Constraints:      23468
58.88/59.12	c GLOBAL bounds 24891 >= 23835 @ 56.334
58.88/59.12	c GLOBAL bounds 24891 >= 23835 @ 56.3355
58.97/59.23	c GLOBAL bounds 24891 >= 23835 @ 56.4396
58.97/59.23	c GLOBAL bounds 24891 >= 23835 @ 56.4409
59.17/59.48	c #Conflicts:     243000 | #Constraints:      24476
59.17/59.48	c GLOBAL bounds 24891 >= 23835 @ 56.6832
59.17/59.48	c GLOBAL bounds 24891 >= 23835 @ 56.6842
59.47/59.70	c #Conflicts:     244000 | #Constraints:      25480
59.47/59.70	c GLOBAL bounds 24891 >= 23835 @ 56.9015
59.47/59.70	c GLOBAL bounds 24891 >= 23835 @ 56.9025
59.47/59.71	c GLOBAL bounds 24891 >= 23835 @ 56.9063
59.47/59.71	c GLOBAL bounds 24891 >= 23835 @ 56.9076
59.47/59.73	c GLOBAL bounds 24891 >= 23835 @ 56.9274
59.47/59.73	c GLOBAL bounds 24891 >= 23835 @ 56.9283
60.27/60.56	c #Conflicts:     245000 | #Constraints:      26489
60.27/60.56	c #Conflicts:     246000 | #Constraints:      27489
60.27/60.56	c #Conflicts:     247000 | #Constraints:      28489
60.27/60.56	c GLOBAL bounds 24891 >= 23835 @ 57.7491
60.27/60.57	c GLOBAL bounds 24891 >= 23835 @ 57.7502
61.17/61.43	c #Conflicts:     248000 | #Constraints:      29490
61.17/61.43	c #Conflicts:     249000 | #Constraints:      30490
61.17/61.43	c #Conflicts:     250000 | #Constraints:      31490
61.17/61.43	c GLOBAL bounds 24891 >= 23835 @ 58.6026
64.26/64.56	c #Conflicts:     251000 | #Constraints:      32493
64.26/64.56	c #Conflicts:     252000 | #Constraints:      33493
64.26/64.56	c #Conflicts:     253000 | #Constraints:      34493
64.26/64.56	c #Conflicts:     254000 | #Constraints:      35493
64.26/64.56	c #Conflicts:     255000 | #Constraints:      36493
64.26/64.56	c #Conflicts:     256000 | #Constraints:      37493
64.26/64.56	c #Conflicts:     257000 | #Constraints:      38493
64.26/64.56	c #Conflicts:     258000 | #Constraints:      39493
64.26/64.56	c #Conflicts:     259000 | #Constraints:      40493
64.26/64.56	c GLOBAL bounds 24891 >= 23914 @ 61.6613
64.26/64.56	c GLOBAL bounds 24891 >= 23914 @ 61.6653
64.26/64.57	c GLOBAL bounds 24891 >= 23914 @ 61.6687
64.26/64.57	c GLOBAL bounds 24891 >= 23914 @ 61.67
64.26/64.58	c GLOBAL bounds 24891 >= 23914 @ 61.6761
64.26/64.58	c GLOBAL bounds 24891 >= 23914 @ 61.6772
64.26/64.58	c GLOBAL bounds 24891 >= 23914 @ 61.6819
64.26/64.58	c GLOBAL bounds 24891 >= 23914 @ 61.6833
64.26/64.59	c GLOBAL bounds 24891 >= 23914 @ 61.6862
64.26/64.59	c GLOBAL bounds 24891 >= 23914 @ 61.6871
64.35/64.60	c GLOBAL bounds 24891 >= 23914 @ 61.6944
64.35/64.60	c GLOBAL bounds 24891 >= 23914 @ 61.6952
64.46/64.79	c GLOBAL bounds 24891 >= 23914 @ 61.8839
64.55/64.80	c GLOBAL bounds 24891 >= 23914 @ 61.8856
64.55/64.87	c GLOBAL bounds 24891 >= 23914 @ 61.9547
64.55/64.87	c GLOBAL bounds 24891 >= 23914 @ 61.9564
65.05/65.32	c #Conflicts:     260000 | #Constraints:      41515
65.05/65.32	c #Conflicts:     261000 | #Constraints:      42515
65.05/65.32	c GLOBAL bounds 24891 >= 23914 @ 62.4005
65.05/65.33	c GLOBAL bounds 24891 >= 23914 @ 62.4021
65.05/65.33	c GLOBAL bounds 24891 >= 23914 @ 62.4065
65.05/65.33	c GLOBAL bounds 23978 >= 23914 @ 62.4086
65.45/65.73	c #Conflicts:     262000 | #Constraints:      43524
65.45/65.73	c GLOBAL bounds 23978 >= 23978 @ 62.7967
65.45/65.73	c cpu time 62.7967 s
65.45/65.73	c deterministic time 1224759 1.22e+06
65.45/65.73	c optimization time 62.591 s
65.45/65.73	c total solve time 0.18498 s
65.45/65.73	c core-guided solve time 0 s
65.45/65.73	c propagation time 0.120229 s
65.45/65.73	c conflict analysis time 0.007716 s
65.45/65.73	c propagations 148442
65.45/65.73	c resolve steps 0
65.45/65.73	c decisions 144039
65.45/65.73	c conflicts 18
65.45/65.73	c restarts 1
65.45/65.73	c inprocessing phases 0
65.45/65.73	c garbage collections 0 ,( -nan )
65.45/65.73	c input clauses 2582 ,( 95.81 )
65.45/65.73	c input cardinalities 0 ,( 0.00 )
65.45/65.73	c input general constraints 113 ,( 4.19 )
65.45/65.73	c input average constraint length 32.76
65.45/65.73	c input average constraint degree 42691.38
65.45/65.73	c learned clauses 132 ,( 100.00 )
65.45/65.73	c learned cardinalities 0 ,( 0.00 )
65.45/65.73	c learned general constraints 0 ,( 0.00 )
65.45/65.73	c learned average constraint length 47.23
65.45/65.73	c learned average constraint degree 1.00
65.45/65.73	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
65.45/65.73	c counting CF 32, 64, 128, Arb: 114 , 0 , 0 , 0
65.45/65.73	c watched   constraints 0 ,( 0.00 ) 
65.45/65.73	c counting  constraints 113 ,( 100.00 ) 
65.45/65.73	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 96639 , 0 , 14305 ,( 0 , 14305 )
65.45/65.73	c gcd simplifications 0
65.45/65.73	c detected cardinalities 0
65.45/65.73	c weakened non-implied lits 0
65.45/65.73	c weakened non-implying lits 0
65.45/65.73	c original variables 1343
65.45/65.73	c clausal propagations 74134
65.45/65.73	c cardinality propagations 0
65.45/65.73	c watched propagations 0
65.45/65.73	c counting propagations 3128
65.45/65.73	c watch lookups 169875
65.45/65.73	c watch backjump lookups 0
65.45/65.73	c watch checks 368785
65.45/65.73	c propagation checks 77707
65.45/65.73	c constraint additions 22801
65.45/65.73	c trail pops 292496
65.45/65.73	c formula constraints 2405
65.45/65.73	c learned constraints 132
65.45/65.73	c bound constraints 0
65.45/65.73	c core-guided constraints 0
65.45/65.73	c encountered formula constraints 18
65.45/65.73	c encountered learned constraints 0
65.45/65.73	c encountered bound constraints 0
65.45/65.73	c encountered core-guided constraints 0
65.45/65.73	c LP total time 0.109737 s
65.45/65.73	c LP solve time 0.08 s
65.45/65.73	c LP constraints added 2405
65.45/65.73	c LP constraints removed 0
65.45/65.73	c LP pivots internal 0
65.45/65.73	c LP pivots root 613
65.45/65.73	c LP calls 140
65.45/65.73	c LP optimalities 140
65.45/65.73	c LP no pivot count 139
65.45/65.73	c LP infeasibilities 0
65.45/65.73	c LP valid Farkas constraints 0
65.45/65.73	c LP learned Farkas constraints 0
65.45/65.73	c LP basis resets 0
65.45/65.73	c LP cycling count 0
65.45/65.73	c LP singular count 0
65.45/65.73	c LP no primal count 0
65.45/65.73	c LP no farkas count 0
65.45/65.73	c LP other issue count 0
65.45/65.73	c LP Gomory cuts 0
65.45/65.73	c LP learned cuts 0
65.45/65.73	c LP deleted cuts 0
65.45/65.73	c LP encountered Gomory constraints 0
65.45/65.73	c LP encountered Farkas constraints 0
65.45/65.73	c LP encountered learned Farkas constraints 0
65.45/65.73	c CG auxiliary variables introduced 183
65.45/65.73	c CG solutions found 7
65.45/65.73	c CG cores constructed 132
65.45/65.73	c CG core cardinality constraints returned 0
65.45/65.73	c CG unit cores 0
65.45/65.73	c CG single cores 0
65.45/65.73	c CG blocks removed during cardinality reduction 0
65.45/65.73	c CG first core best 0
65.45/65.73	c CG decision core best 0
65.45/65.73	c CG core reduction tie 0
65.45/65.73	c CG core degree average 0.00
65.45/65.73	c CG core slack average 0.00
65.45/65.73	c CG core upper bound improvements 0
65.45/65.73	c STR number of successful calls 0
65.45/65.73	c STR number of unsuccessful calls 0
65.45/65.73	c STR number of inconclusive calls 0
65.45/65.73	c STR number of successful attempts 0
65.45/65.73	c STR number of unsuccessful attempts 0
65.45/65.73	c STR number of inconclusive attempts 0
65.45/65.73	c STR average degree increase per successful call inf
65.45/65.73	c STR average degree increase per successful attempt inf
65.45/65.73	c STR total number of conflicts for successful attempts 0
65.45/65.73	c STR total number of conflicts for unsuccessful attempts 0
65.45/65.73	c STR total number of conflicts for inconclusive attempts 0
65.45/65.73	c STR average number of conflicts per successful attempt inf
65.45/65.73	c STR average number of conflicts per unsuccessful attempt inf
65.45/65.73	c STR average number of conflicts per inconclusive attempt inf
65.45/65.73	c AVG.sumWPerc 98.98 
65.45/65.73	c bigint constraints 0 
65.45/65.73	o 23978
65.45/65.73	s OPTIMUM FOUND
65.45/65.73	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 x1339 x1340 x1341 x1342 -x1343

Verifier Data 

OK	23978

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: 63837 MiB (59337 MiB free)
  memory of node 1: 64465 MiB (63821 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497008-1751396781/watcher-4497008-1751396781 -o /tmp/evaluation-result-4497008-1751396781/solver-4497008-1751396781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56606 --watchdog 3760 run-opt.sh HOME/instance-4497008-1751396781.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=56653, runsolver pid=56644
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 3.54 4.09 4.10 6/255 56666
/proc/meminfo: memFree=126103352/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=64832 memory=14360 CPUtime=0.07 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 1963 0 0 0 5 2 0 0 20 0 1 0 55357310 66387968 3590 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 16208 3590 2368 1147 0 3635 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 69024 KiB
Current children cumulated memory: 17304 KiB

[startup+0.214198 s]*
/proc/loadavg: 3.54 4.09 4.10 5/252 56666
/proc/meminfo: memFree=126102864/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=65568 memory=15000 CPUtime=0.18 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 2135 0 0 0 10 8 0 0 20 0 1 0 55357310 67141632 3750 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 16392 3750 2368 1147 0 3819 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69760 KiB
Current children cumulated memory: 17944 KiB

[startup+0.31342 s]*
/proc/loadavg: 3.54 4.09 4.10 6/252 56670
/proc/meminfo: memFree=126100848/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=66492 memory=16280 CPUtime=0.28 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 2425 0 0 0 19 9 0 0 20 0 1 0 55357310 68087808 4070 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 16623 4070 2400 1147 0 4050 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70684 KiB
Current children cumulated memory: 19224 KiB

[startup+0.700339 s]
/proc/loadavg: 3.54 4.09 4.10 6/250 56674
/proc/meminfo: memFree=126083812/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=69456 memory=20248 CPUtime=0.65 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 3421 0 0 0 50 15 0 0 20 0 1 0 55357310 71122944 5062 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 17364 5062 2400 1147 0 4791 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 73648 KiB
Current children cumulated memory: 23192 KiB

[startup+1.50034 s]
/proc/loadavg: 3.54 4.09 4.10 5/250 56674
/proc/meminfo: memFree=126027504/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=74564 memory=27252 CPUtime=1.45 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 4642 0 0 0 125 20 0 0 20 0 1 0 55357310 76353536 6813 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 18641 6813 2400 1147 0 6068 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 78756 KiB
Current children cumulated memory: 30196 KiB

[startup+3.11281 s]
/proc/loadavg: 3.58 4.09 4.10 6/255 56712
/proc/meminfo: memFree=125993828/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=83092 memory=37120 CPUtime=3.06 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 6080 0 0 0 276 30 0 0 20 0 1 0 55357310 85086208 9280 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 20773 9280 2400 1147 0 8200 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 87284 KiB
Current children cumulated memory: 40064 KiB

[startup+6.30034 s]
/proc/loadavg: 3.58 4.09 4.10 6/255 56712
/proc/meminfo: memFree=125942080/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=87516 memory=41472 CPUtime=6.23 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 7173 0 0 0 580 43 0 0 20 0 1 0 55357310 89616384 10368 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 21879 10368 2400 1147 0 9306 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 91708 KiB
Current children cumulated memory: 44416 KiB

[startup+12.7003 s]
/proc/loadavg: 3.61 4.08 4.10 5/255 56758
/proc/meminfo: memFree=125782240/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=102264 memory=52856 CPUtime=12.61 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 9542 0 0 0 1186 75 0 0 20 0 1 0 55357310 104718336 13214 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 25566 13214 2400 1147 0 12993 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 106456 KiB
Current children cumulated memory: 55800 KiB

[startup+25.5004 s]
/proc/loadavg: 3.77 4.10 4.10 5/255 56759
/proc/meminfo: memFree=125670900/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=106020 memory=56952 CPUtime=25.37 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 10546 0 0 0 2403 134 0 0 20 0 1 0 55357310 108564480 14238 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 26505 14238 2400 1147 0 13932 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 110212 KiB
Current children cumulated memory: 59896 KiB

[startup+51.1131 s]
/proc/loadavg: 3.85 4.09 4.09 5/255 56759
/proc/meminfo: memFree=125407740/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=50.9 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25752 0 0 0 4862 228 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+65.7404 s]
# the end of solver process 56653 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=62.802 s, system=2.70475 s

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

[startup+51.2004 s]
/proc/loadavg: 3.85 4.09 4.09 5/255 56759
/proc/meminfo: memFree=125407740/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=50.99 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25752 0 0 0 4870 229 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+57.6003 s]
/proc/loadavg: 3.86 4.08 4.09 5/255 56759
/proc/meminfo: memFree=125399676/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=57.38 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25752 0 0 0 5487 251 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 57.38 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+60.8003 s]
/proc/loadavg: 3.87 4.08 4.09 5/255 56759
/proc/meminfo: memFree=125399676/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=60.56 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25753 0 0 0 5797 259 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 60.56 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+64.0003 s]*
/proc/loadavg: 3.96 4.10 4.10 5/255 56759
/proc/meminfo: memFree=125399684/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=63.77 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25761 0 0 0 6112 265 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+64.8003 s]
/proc/loadavg: 3.96 4.10 4.10 5/255 56759
/proc/meminfo: memFree=125399684/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=64.55 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25762 0 0 0 6188 267 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 64.55 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+65.2003 s]
/proc/loadavg: 3.96 4.10 4.10 5/255 56759
/proc/meminfo: memFree=125398676/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=64.95 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25763 0 0 0 6227 268 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 64.95 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+65.6003 s]
/proc/loadavg: 3.96 4.10 4.10 5/255 56759
/proc/meminfo: memFree=125398676/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=65.35 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25764 0 0 0 6266 269 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 65.35 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

[startup+65.7003 s]
/proc/loadavg: 3.96 4.10 4.10 5/255 56759
/proc/meminfo: memFree=125398676/131382116 swapFree=33010160/33010684
[pid=56653] ppid=56644 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/56653/stat : 56653 (run-opt.sh) S 56644 56653 56593 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55357308 4292608 736 18446744073709551615 94648858099712 94648858994245 140736768891040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648859233296 94648859281040 94648892370944 140736768899437 140736768899560 140736768899560 140736768905162 0
/proc/56653/statm: 1048 736 704 219 0 110 0
[pid=56660] ppid=56653 vsize=209672 memory=134044 CPUtime=65.45 cores=5,7
/proc/56660/stat : 56660 (roundingsat) R 56653 56653 56593 0 -1 4194304 25768 0 0 0 6276 269 0 0 20 0 1 0 55357310 214704128 33511 18446744073709551615 4227072 8923433 140720530690800 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34938880 140720530696610 140720530696744 140720530696744 140720530702314 0
/proc/56660/statm: 52418 33511 2400 1147 0 39845 0
Current children cumulated CPU time: 65.45 s
Current children cumulated vsize: 213864 KiB
Current children cumulated memory: 136988 KiB

Child status: 0

Real time (s): 65.7405
CPU time (s): 65.5067
CPU user time (s): 62.802
CPU system time (s): 2.70475
CPU usage (%): 99.6443
Max. virtual memory (cumulated for all children) (KiB): 213864
Max. memory (cumulated for all children) (KiB): 136988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.802
system time used= 2.70475
maximum resident set size= 134044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25998
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= 222
involuntary context switches= 111


# summary of solver processes directly reported to runsolver:
#   pid: 56653
#   total CPU time (s): 65.5067
#   total CPU user time (s): 62.802
#   total CPU system time (s): 2.70475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.351005 second user time and 0.754805 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-01 21:06:21
IDJOB=4497008
IDBENCH=148151
IDSOLVER=3350
FILE ID=nodeC004/4497008-1751396781
RUNJOBID= nodeC004-1751396781-56606
SLURM_JOB_ID= 9598272
Free space on /tmp= 433060 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497008-1751396781/watcher-4497008-1751396781 -o /tmp/evaluation-result-4497008-1751396781/solver-4497008-1751396781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56606 --watchdog 3760  run-opt.sh HOME/instance-4497008-1751396781.opb

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

MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b
RANDOM SEED=1472381049

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.215
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.211
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1197.638
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1197.340
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1196.982
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1197.208
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.217
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.317
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126114272 kB
MemAvailable:   129893416 kB
Buffers:            2720 kB
Cached:          4529880 kB
SwapCached:           20 kB
Active:           395212 kB
Inactive:        4204120 kB
Active(anon):      78504 kB
Inactive(anon):     6188 kB
Active(file):     316708 kB
Inactive(file):  4197932 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30792 kB
Writeback:             8 kB
AnonPages:         69840 kB
Mapped:           102716 kB
Shmem:             17956 kB
KReclaimable:     208264 kB
Slab:             293888 kB
SReclaimable:     208264 kB
SUnreclaim:        85624 kB
KernelStack:        3872 kB
PageTables:         2888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     331616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-07-01 21:07:27