Trace number 4496917

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-log 63f22ad? (exit code) 3044.44 3067.43

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
MD5SUM3ad5724dc0c956b4efc5b1550fba1884
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 benchmark70311
Best CPU time to get the best result obtained on this benchmark2.5581
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables24250
Total number of constraints51198
Number of constraints which are clauses51198
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 constraint423
Number of terms in the objective function 12053
Biggest coefficient in the objective function 2252
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 21122166
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 2252
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 21122166
Number of bits of the biggest sum of numbers25
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.66/0.72	c #variables 24250 #constraints 51198
0.66/0.72	c objective is ce32 
0.66/0.75	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.66/0.75	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.66/0.75	c GLOBAL bounds - >= 0 @ 0.575891
0.77/0.81	c GLOBAL bounds - >= 0 @ 0.602308
0.77/0.85	c GLOBAL bounds - >= 0 @ 0.625029
0.77/0.85	c GLOBAL bounds - >= 5430 @ 0.625635
1.26/1.31	c GLOBAL bounds - >= 5430 @ 1.0475
1.26/1.35	c GLOBAL bounds - >= 5430 @ 1.07382
1.26/1.36	c GLOBAL bounds - >= 5430 @ 1.08168
1.36/1.41	c GLOBAL bounds - >= 5430 @ 1.10694
1.36/1.42	c GLOBAL bounds - >= 5430 @ 1.11245
1.36/1.46	c GLOBAL bounds - >= 5430 @ 1.13446
1.36/1.48	c GLOBAL bounds - >= 5430 @ 1.13939
1.46/1.52	c GLOBAL bounds - >= 5430 @ 1.16096
1.46/1.53	c GLOBAL bounds - >= 5430 @ 1.16632
1.46/1.58	c GLOBAL bounds - >= 5430 @ 1.18775
1.46/1.59	c GLOBAL bounds - >= 5430 @ 1.19513
1.56/1.63	c GLOBAL bounds - >= 5430 @ 1.21334
1.56/1.64	c GLOBAL bounds - >= 5430 @ 1.2218
1.56/1.68	c GLOBAL bounds - >= 5430 @ 1.23672
1.56/1.69	c GLOBAL bounds - >= 5430 @ 1.24156
1.66/1.73	c GLOBAL bounds - >= 5430 @ 1.26073
1.66/1.74	c GLOBAL bounds - >= 5430 @ 1.26788
1.66/1.77	c GLOBAL bounds - >= 5430 @ 1.28175
1.66/1.79	c GLOBAL bounds - >= 5430 @ 1.28573
1.76/1.82	c GLOBAL bounds - >= 5430 @ 1.30536
1.76/1.86	c GLOBAL bounds - >= 5430 @ 1.33324
1.86/1.90	c GLOBAL bounds - >= 5430 @ 1.35251
1.86/1.92	c GLOBAL bounds - >= 5430 @ 1.36657
1.86/1.96	c GLOBAL bounds - >= 5430 @ 1.37861
1.86/1.99	c GLOBAL bounds - >= 5430 @ 1.3953
1.97/2.04	c GLOBAL bounds - >= 5430 @ 1.43157
1.97/2.07	c GLOBAL bounds - >= 5430 @ 1.44697
1.97/2.10	c GLOBAL bounds - >= 5430 @ 1.4728
2.08/2.13	c GLOBAL bounds - >= 5430 @ 1.49048
2.08/2.16	c GLOBAL bounds - >= 5430 @ 1.50895
2.08/2.18	c GLOBAL bounds - >= 5430 @ 1.51972
2.16/2.21	c GLOBAL bounds - >= 5430 @ 1.53695
2.36/2.40	c GLOBAL bounds - >= 5430 @ 1.71843
2.36/2.48	c GLOBAL bounds - >= 5430 @ 1.78706
4.25/4.30	c GLOBAL bounds - >= 12456 @ 3.53747
4.25/4.32	c GLOBAL bounds - >= 12456 @ 3.55204
4.25/4.33	c GLOBAL bounds - >= 12456 @ 3.55624
4.25/4.36	c GLOBAL bounds - >= 12456 @ 3.56913
4.25/4.37	c GLOBAL bounds - >= 12456 @ 3.5733
4.35/4.40	c GLOBAL bounds - >= 12456 @ 3.5907
4.35/4.41	c GLOBAL bounds - >= 12456 @ 3.5986
4.35/4.43	c GLOBAL bounds - >= 12456 @ 3.61368
4.35/4.44	c GLOBAL bounds - >= 12456 @ 3.61591
4.35/4.47	c GLOBAL bounds - >= 12456 @ 3.63487
4.35/4.48	c GLOBAL bounds - >= 12456 @ 3.6381
4.45/4.51	c GLOBAL bounds - >= 12456 @ 3.65376
4.45/4.52	c GLOBAL bounds - >= 12456 @ 3.65862
4.45/4.55	c GLOBAL bounds - >= 12456 @ 3.66808
4.45/4.56	c GLOBAL bounds - >= 12456 @ 3.67548
4.45/4.59	c GLOBAL bounds - >= 12456 @ 3.6917
4.55/4.60	c GLOBAL bounds - >= 12456 @ 3.69889
4.55/4.63	c GLOBAL bounds - >= 12456 @ 3.71175
4.55/4.64	c GLOBAL bounds - >= 12456 @ 3.71613
4.55/4.67	c GLOBAL bounds - >= 12456 @ 3.73055
4.55/4.68	c GLOBAL bounds - >= 12456 @ 3.73531
4.65/4.71	c GLOBAL bounds - >= 12456 @ 3.75224
4.65/4.74	c GLOBAL bounds - >= 12456 @ 3.77179
4.65/4.77	c GLOBAL bounds - >= 12456 @ 3.78734
4.75/4.80	c GLOBAL bounds - >= 12456 @ 3.80953
4.75/4.86	c GLOBAL bounds - >= 12456 @ 3.84453
4.75/4.89	c GLOBAL bounds - >= 12456 @ 3.86948
4.85/4.95	c GLOBAL bounds - >= 12456 @ 3.91308
4.97/5.02	c GLOBAL bounds - >= 12456 @ 3.97731
5.25/5.33	c GLOBAL bounds - >= 12456 @ 4.27589
5.45/5.59	c GLOBAL bounds - >= 12456 @ 4.50637
5.55/5.62	c GLOBAL bounds - >= 12456 @ 4.52196
5.55/5.65	c GLOBAL bounds - >= 12456 @ 4.54874
5.65/5.76	c GLOBAL bounds - >= 12456 @ 4.65046
11.14/11.28	c #Conflicts:       1000 | #Constraints:       1148
11.14/11.28	c GLOBAL bounds - >= 12456 @ 9.96395
11.24/11.37	c GLOBAL bounds - >= 12456 @ 10.0401
13.52/13.68	c GLOBAL bounds - >= 12456 @ 12.2921
27.57/27.78	c #Conflicts:       2000 | #Constraints:       2157
27.57/27.78	c INPROCESSING
27.57/27.78	c GARBAGE COLLECT
27.57/27.78	c #Conflicts:       3000 | #Constraints:       2131
27.57/27.78	c GLOBAL bounds - >= 17509 @ 25.9664
27.67/27.81	c GLOBAL bounds - >= 17509 @ 25.986
27.67/27.82	c GLOBAL bounds - >= 17509 @ 25.9889
27.67/27.83	c GLOBAL bounds - >= 17509 @ 25.9916
27.67/27.84	c GLOBAL bounds - >= 17509 @ 25.9958
27.67/27.85	c GLOBAL bounds - >= 17509 @ 25.9985
27.67/27.88	c GLOBAL bounds - >= 17509 @ 26.0217
27.67/27.89	c GLOBAL bounds - >= 17509 @ 26.0281
27.76/27.92	c GLOBAL bounds - >= 17509 @ 26.0397
27.76/27.93	c GLOBAL bounds - >= 17509 @ 26.0438
27.76/27.96	c GLOBAL bounds - >= 17509 @ 26.0609
27.76/27.97	c GLOBAL bounds - >= 17509 @ 26.064
27.76/28.00	c GLOBAL bounds - >= 17509 @ 26.0773
27.88/28.02	c GLOBAL bounds - >= 17509 @ 26.0827
27.88/28.05	c GLOBAL bounds - >= 17509 @ 26.101
27.88/28.06	c GLOBAL bounds - >= 17509 @ 26.106
27.88/28.09	c GLOBAL bounds - >= 17509 @ 26.1172
27.88/28.10	c GLOBAL bounds - >= 17509 @ 26.1233
27.98/28.13	c GLOBAL bounds - >= 17509 @ 26.1369
27.98/28.14	c GLOBAL bounds - >= 17509 @ 26.1402
27.98/28.17	c GLOBAL bounds - >= 17509 @ 26.1565
27.98/28.18	c GLOBAL bounds - >= 17509 @ 26.1621
28.06/28.21	c GLOBAL bounds - >= 17509 @ 26.1774
28.06/28.22	c GLOBAL bounds - >= 17509 @ 26.1826
28.06/28.25	c GLOBAL bounds - >= 17509 @ 26.1932
28.06/28.29	c GLOBAL bounds - >= 17509 @ 26.2096
28.16/28.33	c GLOBAL bounds - >= 17509 @ 26.2312
28.16/28.39	c GLOBAL bounds - >= 17509 @ 26.2824
28.26/28.43	c GLOBAL bounds - >= 17509 @ 26.3046
28.26/28.47	c GLOBAL bounds - >= 17509 @ 26.3257
28.26/28.50	c GLOBAL bounds - >= 17509 @ 26.3423
28.36/28.52	c GLOBAL bounds - >= 17509 @ 26.3576
28.36/28.56	c GLOBAL bounds - >= 17509 @ 26.3819
28.46/28.60	c GLOBAL bounds - >= 17509 @ 26.4019
28.46/28.65	c GLOBAL bounds - >= 17509 @ 26.4406
28.46/28.68	c GLOBAL bounds - >= 17509 @ 26.462
28.56/28.73	c GLOBAL bounds - >= 17509 @ 26.4993
28.56/28.78	c GLOBAL bounds - >= 17509 @ 26.5359
30.05/30.25	c GLOBAL bounds - >= 17509 @ 27.9394
30.15/30.32	c GLOBAL bounds - >= 17509 @ 27.9977
30.45/30.69	c GLOBAL bounds - >= 17509 @ 28.316
30.55/30.72	c GLOBAL bounds - >= 17509 @ 28.3312
30.75/30.90	c GLOBAL bounds - >= 17509 @ 28.5035
32.75/32.94	c #Conflicts:       4000 | #Constraints:       3223
32.75/32.94	c INPROCESSING
32.75/32.94	c GARBAGE COLLECT
32.75/32.94	c GLOBAL bounds - >= 17509 @ 30.4824
34.64/34.85	c GLOBAL bounds - >= 17509 @ 32.3299
34.85/35.08	c GLOBAL bounds - >= 17509 @ 32.5319
36.44/36.66	c GLOBAL bounds - >= 17509 @ 34.065
61.56/61.83	c #Conflicts:       5000 | #Constraints:       2616
61.56/61.83	c #Conflicts:       6000 | #Constraints:       3616
61.56/61.83	c INPROCESSING
61.56/61.83	c GARBAGE COLLECT
61.56/61.83	c #Conflicts:       7000 | #Constraints:       2618
61.56/61.83	c #Conflicts:       8000 | #Constraints:       3618
61.56/61.83	c GLOBAL bounds - >= 18979 @ 58.5448
61.56/61.86	c GLOBAL bounds - >= 18979 @ 58.5589
61.56/61.87	c GLOBAL bounds - >= 18979 @ 58.564
61.56/61.88	c GLOBAL bounds - >= 18979 @ 58.5696
61.56/61.89	c GLOBAL bounds - >= 18979 @ 58.5734
61.66/61.90	c GLOBAL bounds - >= 18979 @ 58.5819
61.66/61.93	c GLOBAL bounds - >= 18979 @ 58.5982
61.66/61.95	c GLOBAL bounds - >= 18979 @ 58.6027
61.66/61.98	c GLOBAL bounds - >= 18979 @ 58.6199
61.66/61.99	c GLOBAL bounds - >= 18979 @ 58.6295
61.76/62.03	c GLOBAL bounds - >= 18979 @ 58.6463
61.76/62.04	c GLOBAL bounds - >= 18979 @ 58.653
61.76/62.08	c GLOBAL bounds - >= 18979 @ 58.671
61.76/62.09	c GLOBAL bounds - >= 18979 @ 58.676
61.87/62.12	c GLOBAL bounds - >= 18979 @ 58.6921
61.87/62.13	c GLOBAL bounds - >= 18979 @ 58.697
61.87/62.16	c GLOBAL bounds - >= 18979 @ 58.7106
61.87/62.18	c GLOBAL bounds - >= 18979 @ 58.7172
61.95/62.21	c GLOBAL bounds - >= 18979 @ 58.7359
61.95/62.22	c GLOBAL bounds - >= 18979 @ 58.74
61.95/62.25	c GLOBAL bounds - >= 18979 @ 58.7543
61.95/62.26	c GLOBAL bounds - >= 18979 @ 58.7617
61.95/62.29	c GLOBAL bounds - >= 18979 @ 58.7769
62.06/62.31	c GLOBAL bounds - >= 18979 @ 58.7843
62.06/62.34	c GLOBAL bounds - >= 18979 @ 58.7985
62.06/62.37	c GLOBAL bounds - >= 18979 @ 58.8204
62.16/62.45	c GLOBAL bounds - >= 18979 @ 58.8885
62.16/62.50	c GLOBAL bounds - >= 18979 @ 58.9194
62.45/62.75	c GLOBAL bounds - >= 18979 @ 59.1594
62.56/62.89	c GLOBAL bounds - >= 18979 @ 59.2751
63.26/63.54	c GLOBAL bounds - >= 18979 @ 59.8931
64.05/64.31	c GLOBAL bounds - >= 18979 @ 60.6035
64.15/64.46	c GLOBAL bounds - >= 18979 @ 60.7278
64.25/64.57	c GLOBAL bounds - >= 18979 @ 60.821
148.25/148.84	c #Conflicts:       9000 | #Constraints:       4688
148.25/148.84	c INPROCESSING
148.25/148.84	c GARBAGE COLLECT
148.25/148.84	c #Conflicts:      10000 | #Constraints:       3373
148.25/148.84	c #Conflicts:      11000 | #Constraints:       4373
148.25/148.84	c #Conflicts:      12000 | #Constraints:       5373
148.25/148.84	c INPROCESSING
148.25/148.84	c GARBAGE COLLECT
148.25/148.84	c #Conflicts:      13000 | #Constraints:       3825
148.25/148.84	c #Conflicts:      14000 | #Constraints:       4825
148.25/148.84	c #Conflicts:      15000 | #Constraints:       5825
148.25/148.84	c INPROCESSING
148.25/148.84	c GARBAGE COLLECT
148.25/148.84	c #Conflicts:      16000 | #Constraints:       4055
148.25/148.84	c #Conflicts:      17000 | #Constraints:       5055
148.25/148.84	c #Conflicts:      18000 | #Constraints:       6055
148.25/148.84	c INPROCESSING
148.25/148.84	c GARBAGE COLLECT
148.25/148.84	c #Conflicts:      19000 | #Constraints:       4069
148.25/148.84	c #Conflicts:      20000 | #Constraints:       5069
148.25/148.84	c GLOBAL bounds - >= 24818 @ 142.62
148.34/148.91	c GLOBAL bounds - >= 24818 @ 142.687
148.34/148.92	c GLOBAL bounds - >= 24818 @ 142.693
148.34/148.93	c GLOBAL bounds - >= 24818 @ 142.698
148.84/149.42	c GLOBAL bounds - >= 24818 @ 143.163
148.84/149.44	c GLOBAL bounds - >= 24818 @ 143.171
148.84/149.47	c GLOBAL bounds - >= 24818 @ 143.188
148.84/149.48	c GLOBAL bounds - >= 24818 @ 143.196
148.95/149.51	c GLOBAL bounds - >= 24818 @ 143.21
148.95/149.53	c GLOBAL bounds - >= 24818 @ 143.216
148.95/149.56	c GLOBAL bounds - >= 24818 @ 143.232
148.95/149.57	c GLOBAL bounds - >= 24818 @ 143.238
149.04/149.60	c GLOBAL bounds - >= 24818 @ 143.249
149.04/149.61	c GLOBAL bounds - >= 24818 @ 143.253
149.04/149.64	c GLOBAL bounds - >= 24818 @ 143.271
149.04/149.66	c GLOBAL bounds - >= 24818 @ 143.274
149.04/149.69	c GLOBAL bounds - >= 24818 @ 143.289
149.15/149.70	c GLOBAL bounds - >= 24818 @ 143.295
149.15/149.73	c GLOBAL bounds - >= 24818 @ 143.314
149.15/149.75	c GLOBAL bounds - >= 24818 @ 143.321
149.15/149.78	c GLOBAL bounds - >= 24818 @ 143.341
149.15/149.79	c GLOBAL bounds - >= 24818 @ 143.346
149.24/149.82	c GLOBAL bounds - >= 24818 @ 143.361
149.24/149.85	c GLOBAL bounds - >= 24818 @ 143.376
149.24/149.88	c GLOBAL bounds - >= 24818 @ 143.388
149.35/149.96	c GLOBAL bounds - >= 24818 @ 143.443
149.46/150.01	c GLOBAL bounds - >= 24818 @ 143.483
149.64/150.26	c GLOBAL bounds - >= 24818 @ 143.71
150.94/151.54	c GLOBAL bounds - >= 24818 @ 144.909
152.94/153.53	c GLOBAL bounds - >= 24818 @ 146.804
155.63/156.21	c #Conflicts:      21000 | #Constraints:       6128
155.63/156.21	c GLOBAL bounds - >= 24818 @ 149.384
168.60/169.24	c INPROCESSING
168.60/169.24	c GARBAGE COLLECT
168.60/169.24	c #Conflicts:      22000 | #Constraints:       3917
168.60/169.24	c GLOBAL bounds - >= 24818 @ 162.006
168.70/169.37	c GLOBAL bounds - >= 24818 @ 162.12
171.98/172.67	c #Conflicts:      23000 | #Constraints:       4923
171.98/172.67	c GLOBAL bounds - >= 24818 @ 165.322
196.43/197.11	c #Conflicts:      24000 | #Constraints:       5926
196.43/197.11	c #Conflicts:      25000 | #Constraints:       6926
196.43/197.11	c INPROCESSING
196.43/197.11	c GARBAGE COLLECT
196.43/197.11	c #Conflicts:      26000 | #Constraints:       4526
196.43/197.11	c #Conflicts:      27000 | #Constraints:       5526
196.43/197.11	c GLOBAL bounds - >= 24818 @ 189.114
210.29/211.06	c #Conflicts:      28000 | #Constraints:       6529
210.29/211.06	c #Conflicts:      29000 | #Constraints:       7529
210.29/211.06	c INPROCESSING
210.29/211.06	c GARBAGE COLLECT
210.29/211.06	c GLOBAL bounds - >= 24818 @ 202.585
210.29/211.10	c GLOBAL bounds - >= 24818 @ 202.616
210.38/211.14	c GLOBAL bounds - >= 24818 @ 202.645
698.16/700.48	c #Conflicts:      30000 | #Constraints:       4941
698.16/700.48	c #Conflicts:      31000 | #Constraints:       5941
698.16/700.48	c #Conflicts:      32000 | #Constraints:       6941
698.16/700.48	c #Conflicts:      33000 | #Constraints:       7941
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      34000 | #Constraints:       5141
698.16/700.48	c #Conflicts:      35000 | #Constraints:       6141
698.16/700.48	c #Conflicts:      36000 | #Constraints:       7141
698.16/700.48	c #Conflicts:      37000 | #Constraints:       8141
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      38000 | #Constraints:       5144
698.16/700.48	c #Conflicts:      39000 | #Constraints:       6144
698.16/700.48	c #Conflicts:      40000 | #Constraints:       7144
698.16/700.48	c #Conflicts:      41000 | #Constraints:       8144
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      42000 | #Constraints:       4947
698.16/700.48	c #Conflicts:      43000 | #Constraints:       5947
698.16/700.48	c #Conflicts:      44000 | #Constraints:       6947
698.16/700.48	c #Conflicts:      45000 | #Constraints:       7947
698.16/700.48	c #Conflicts:      46000 | #Constraints:       8947
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      47000 | #Constraints:       5547
698.16/700.48	c #Conflicts:      48000 | #Constraints:       6547
698.16/700.48	c #Conflicts:      49000 | #Constraints:       7547
698.16/700.48	c #Conflicts:      50000 | #Constraints:       8547
698.16/700.48	c #Conflicts:      51000 | #Constraints:       9547
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      52000 | #Constraints:       5951
698.16/700.48	c #Conflicts:      53000 | #Constraints:       6951
698.16/700.48	c #Conflicts:      54000 | #Constraints:       7951
698.16/700.48	c #Conflicts:      55000 | #Constraints:       8951
698.16/700.48	c #Conflicts:      56000 | #Constraints:       9951
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      57000 | #Constraints:       6158
698.16/700.48	c #Conflicts:      58000 | #Constraints:       7158
698.16/700.48	c #Conflicts:      59000 | #Constraints:       8158
698.16/700.48	c #Conflicts:      60000 | #Constraints:       9158
698.16/700.48	c #Conflicts:      61000 | #Constraints:      10158
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      62000 | #Constraints:       6159
698.16/700.48	c #Conflicts:      63000 | #Constraints:       7159
698.16/700.48	c #Conflicts:      64000 | #Constraints:       8159
698.16/700.48	c #Conflicts:      65000 | #Constraints:       9159
698.16/700.48	c #Conflicts:      66000 | #Constraints:      10159
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      67000 | #Constraints:       5958
698.16/700.48	c #Conflicts:      68000 | #Constraints:       6958
698.16/700.48	c #Conflicts:      69000 | #Constraints:       7958
698.16/700.48	c #Conflicts:      70000 | #Constraints:       8958
698.16/700.48	c #Conflicts:      71000 | #Constraints:       9958
698.16/700.48	c #Conflicts:      72000 | #Constraints:      10958
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      73000 | #Constraints:       6559
698.16/700.48	c #Conflicts:      74000 | #Constraints:       7559
698.16/700.48	c #Conflicts:      75000 | #Constraints:       8559
698.16/700.48	c #Conflicts:      76000 | #Constraints:       9559
698.16/700.48	c #Conflicts:      77000 | #Constraints:      10559
698.16/700.48	c #Conflicts:      78000 | #Constraints:      11559
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      79000 | #Constraints:       6966
698.16/700.48	c #Conflicts:      80000 | #Constraints:       7966
698.16/700.48	c #Conflicts:      81000 | #Constraints:       8966
698.16/700.48	c #Conflicts:      82000 | #Constraints:       9966
698.16/700.48	c #Conflicts:      83000 | #Constraints:      10966
698.16/700.48	c #Conflicts:      84000 | #Constraints:      11966
698.16/700.48	c INPROCESSING
698.16/700.48	c GARBAGE COLLECT
698.16/700.48	c #Conflicts:      85000 | #Constraints:       7165
698.16/700.48	c #Conflicts:      86000 | #Constraints:       8165
698.16/700.48	c #Conflicts:      87000 | #Constraints:       9165
698.16/700.48	c #Conflicts:      88000 | #Constraints:      10165
698.16/700.48	c #Conflicts:      89000 | #Constraints:      11165
698.16/700.48	c GLOBAL bounds - >= 31104 @ 679.084
698.26/700.55	c GLOBAL bounds - >= 31104 @ 679.144
698.26/700.56	c GLOBAL bounds - >= 31104 @ 679.151
699.16/701.44	c GLOBAL bounds - >= 31104 @ 680
699.16/701.46	c GLOBAL bounds - >= 31104 @ 680.009
699.16/701.49	c GLOBAL bounds - >= 31104 @ 680.025
699.25/701.51	c GLOBAL bounds - >= 31104 @ 680.034
699.25/701.54	c GLOBAL bounds - >= 31104 @ 680.046
699.25/701.55	c GLOBAL bounds - >= 31104 @ 680.052
699.25/701.58	c GLOBAL bounds - >= 31104 @ 680.066
699.25/701.59	c GLOBAL bounds - >= 31104 @ 680.073
699.35/701.62	c GLOBAL bounds - >= 31104 @ 680.092
699.35/701.64	c GLOBAL bounds - >= 31104 @ 680.097
699.35/701.67	c GLOBAL bounds - >= 31104 @ 680.114
699.35/701.68	c GLOBAL bounds - >= 31104 @ 680.123
699.46/701.72	c GLOBAL bounds - >= 31104 @ 680.141
699.46/701.73	c GLOBAL bounds - >= 31104 @ 680.148
699.46/701.76	c GLOBAL bounds - >= 31104 @ 680.163
699.46/701.78	c GLOBAL bounds - >= 31104 @ 680.17
699.56/701.81	c GLOBAL bounds - >= 31104 @ 680.19
699.56/701.82	c GLOBAL bounds - >= 31104 @ 680.197
699.56/701.86	c GLOBAL bounds - >= 31104 @ 680.213
699.56/701.89	c GLOBAL bounds - >= 31104 @ 680.225
699.66/701.92	c GLOBAL bounds - >= 31104 @ 680.247
702.24/704.57	c #Conflicts:      90000 | #Constraints:      12203
702.24/704.57	c INPROCESSING
702.24/704.57	c GARBAGE COLLECT
702.24/704.57	c GLOBAL bounds - >= 31104 @ 682.815
702.35/704.66	c GLOBAL bounds - >= 31104 @ 682.874
702.35/704.69	c GLOBAL bounds - >= 31104 @ 682.899
702.45/704.74	c GLOBAL bounds - >= 31104 @ 682.93
702.54/704.82	c GLOBAL bounds - >= 31104 @ 682.994
702.94/705.21	c GLOBAL bounds - >= 31104 @ 683.365
706.93/709.25	c GLOBAL bounds - >= 31104 @ 687.273
743.48/745.95	c #Conflicts:      91000 | #Constraints:       7208
743.48/745.95	c #Conflicts:      92000 | #Constraints:       8208
743.48/745.95	c #Conflicts:      93000 | #Constraints:       9208
743.48/745.95	c #Conflicts:      94000 | #Constraints:      10208
743.48/745.95	c #Conflicts:      95000 | #Constraints:      11208
743.48/745.95	c #Conflicts:      96000 | #Constraints:      12208
743.48/745.95	c GLOBAL bounds - >= 31104 @ 722.941
792.50/795.12	c INPROCESSING
792.50/795.12	c GARBAGE COLLECT
792.50/795.12	c #Conflicts:      97000 | #Constraints:       7002
792.50/795.12	c #Conflicts:      98000 | #Constraints:       8002
792.50/795.12	c #Conflicts:      99000 | #Constraints:       9002
792.50/795.12	c #Conflicts:     100000 | #Constraints:      10002
792.50/795.12	c #Conflicts:     101000 | #Constraints:      11002
792.50/795.12	c #Conflicts:     102000 | #Constraints:      12002
792.50/795.12	c #Conflicts:     103000 | #Constraints:      13002
792.50/795.12	c INPROCESSING
792.50/795.12	c GARBAGE COLLECT
792.50/795.12	c GLOBAL bounds - >= 31104 @ 770.698
792.58/795.22	c GLOBAL bounds - >= 31104 @ 770.787
839.00/841.89	c #Conflicts:     104000 | #Constraints:       7603
839.00/841.89	c #Conflicts:     105000 | #Constraints:       8603
839.00/841.89	c #Conflicts:     106000 | #Constraints:       9603
839.00/841.89	c #Conflicts:     107000 | #Constraints:      10603
839.00/841.89	c #Conflicts:     108000 | #Constraints:      11603
839.00/841.89	c #Conflicts:     109000 | #Constraints:      12603
839.00/841.89	c #Conflicts:     110000 | #Constraints:      13603
839.00/841.89	c INPROCESSING
839.00/841.89	c GARBAGE COLLECT
839.00/841.89	c GLOBAL bounds - >= 31104 @ 815.937
839.10/841.93	c GLOBAL bounds - >= 31104 @ 815.959
841.49/844.38	c GLOBAL bounds - >= 31104 @ 818.339
929.25/932.49	c #Conflicts:     111000 | #Constraints:       8010
929.25/932.49	c #Conflicts:     112000 | #Constraints:       9010
929.25/932.49	c #Conflicts:     113000 | #Constraints:      10010
929.25/932.49	c #Conflicts:     114000 | #Constraints:      11010
929.25/932.49	c #Conflicts:     115000 | #Constraints:      12010
929.25/932.49	c #Conflicts:     116000 | #Constraints:      13010
929.25/932.49	c #Conflicts:     117000 | #Constraints:      14010
929.25/932.49	c INPROCESSING
929.25/932.49	c GARBAGE COLLECT
929.25/932.49	c #Conflicts:     118000 | #Constraints:       8204
929.25/932.49	c #Conflicts:     119000 | #Constraints:       9204
929.25/932.49	c #Conflicts:     120000 | #Constraints:      10204
929.25/932.49	c #Conflicts:     121000 | #Constraints:      11204
929.25/932.49	c #Conflicts:     122000 | #Constraints:      12204
929.25/932.49	c GLOBAL bounds - >= 31104 @ 903.834
980.67/984.05	c #Conflicts:     123000 | #Constraints:      13207
980.67/984.05	c #Conflicts:     124000 | #Constraints:      14207
980.67/984.05	c INPROCESSING
980.67/984.05	c GARBAGE COLLECT
980.67/984.05	c #Conflicts:     125000 | #Constraints:       8210
980.67/984.05	c #Conflicts:     126000 | #Constraints:       9210
980.67/984.05	c #Conflicts:     127000 | #Constraints:      10210
980.67/984.05	c #Conflicts:     128000 | #Constraints:      11210
980.67/984.05	c #Conflicts:     129000 | #Constraints:      12210
980.67/984.05	c GLOBAL bounds - >= 31104 @ 953.888
1520.32/1525.49	c #Conflicts:     130000 | #Constraints:      13210
1520.32/1525.49	c #Conflicts:     131000 | #Constraints:      14210
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     132000 | #Constraints:       8004
1520.32/1525.49	c #Conflicts:     133000 | #Constraints:       9004
1520.32/1525.49	c #Conflicts:     134000 | #Constraints:      10004
1520.32/1525.49	c #Conflicts:     135000 | #Constraints:      11004
1520.32/1525.49	c #Conflicts:     136000 | #Constraints:      12004
1520.32/1525.49	c #Conflicts:     137000 | #Constraints:      13004
1520.32/1525.49	c #Conflicts:     138000 | #Constraints:      14004
1520.32/1525.49	c #Conflicts:     139000 | #Constraints:      15004
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     140000 | #Constraints:       8609
1520.32/1525.49	c #Conflicts:     141000 | #Constraints:       9609
1520.32/1525.49	c #Conflicts:     142000 | #Constraints:      10609
1520.32/1525.49	c #Conflicts:     143000 | #Constraints:      11609
1520.32/1525.49	c #Conflicts:     144000 | #Constraints:      12609
1520.32/1525.49	c #Conflicts:     145000 | #Constraints:      13609
1520.32/1525.49	c #Conflicts:     146000 | #Constraints:      14609
1520.32/1525.49	c #Conflicts:     147000 | #Constraints:      15609
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     148000 | #Constraints:       9014
1520.32/1525.49	c #Conflicts:     149000 | #Constraints:      10014
1520.32/1525.49	c #Conflicts:     150000 | #Constraints:      11014
1520.32/1525.49	c #Conflicts:     151000 | #Constraints:      12014
1520.32/1525.49	c #Conflicts:     152000 | #Constraints:      13014
1520.32/1525.49	c #Conflicts:     153000 | #Constraints:      14014
1520.32/1525.49	c #Conflicts:     154000 | #Constraints:      15014
1520.32/1525.49	c #Conflicts:     155000 | #Constraints:      16014
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     156000 | #Constraints:       9217
1520.32/1525.49	c #Conflicts:     157000 | #Constraints:      10217
1520.32/1525.49	c #Conflicts:     158000 | #Constraints:      11217
1520.32/1525.49	c #Conflicts:     159000 | #Constraints:      12217
1520.32/1525.49	c #Conflicts:     160000 | #Constraints:      13217
1520.32/1525.49	c #Conflicts:     161000 | #Constraints:      14217
1520.32/1525.49	c #Conflicts:     162000 | #Constraints:      15217
1520.32/1525.49	c #Conflicts:     163000 | #Constraints:      16217
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     164000 | #Constraints:       9230
1520.32/1525.49	c #Conflicts:     165000 | #Constraints:      10230
1520.32/1525.49	c #Conflicts:     166000 | #Constraints:      11230
1520.32/1525.49	c #Conflicts:     167000 | #Constraints:      12230
1520.32/1525.49	c #Conflicts:     168000 | #Constraints:      13230
1520.32/1525.49	c #Conflicts:     169000 | #Constraints:      14230
1520.32/1525.49	c #Conflicts:     170000 | #Constraints:      15230
1520.32/1525.49	c #Conflicts:     171000 | #Constraints:      16230
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     172000 | #Constraints:       9023
1520.32/1525.49	c #Conflicts:     173000 | #Constraints:      10023
1520.32/1525.49	c #Conflicts:     174000 | #Constraints:      11023
1520.32/1525.49	c #Conflicts:     175000 | #Constraints:      12023
1520.32/1525.49	c #Conflicts:     176000 | #Constraints:      13023
1520.32/1525.49	c #Conflicts:     177000 | #Constraints:      14023
1520.32/1525.49	c #Conflicts:     178000 | #Constraints:      15023
1520.32/1525.49	c #Conflicts:     179000 | #Constraints:      16023
1520.32/1525.49	c #Conflicts:     180000 | #Constraints:      17023
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     181000 | #Constraints:       9620
1520.32/1525.49	c #Conflicts:     182000 | #Constraints:      10620
1520.32/1525.49	c #Conflicts:     183000 | #Constraints:      11620
1520.32/1525.49	c #Conflicts:     184000 | #Constraints:      12620
1520.32/1525.49	c #Conflicts:     185000 | #Constraints:      13620
1520.32/1525.49	c #Conflicts:     186000 | #Constraints:      14620
1520.32/1525.49	c #Conflicts:     187000 | #Constraints:      15620
1520.32/1525.49	c #Conflicts:     188000 | #Constraints:      16620
1520.32/1525.49	c #Conflicts:     189000 | #Constraints:      17620
1520.32/1525.49	c INPROCESSING
1520.32/1525.49	c GARBAGE COLLECT
1520.32/1525.49	c #Conflicts:     190000 | #Constraints:      10023
1520.32/1525.49	c #Conflicts:     191000 | #Constraints:      11023
1520.32/1525.49	c #Conflicts:     192000 | #Constraints:      12023
1520.32/1525.49	c GLOBAL bounds - >= 35368 @ 1480.68
1520.42/1525.55	c GLOBAL bounds - >= 35368 @ 1480.72
1520.42/1525.56	c GLOBAL bounds - >= 35368 @ 1480.73
1520.42/1525.57	c GLOBAL bounds - >= 35368 @ 1480.73
1520.42/1525.58	c GLOBAL bounds - >= 35368 @ 1480.74
1520.42/1525.59	c GLOBAL bounds - >= 35368 @ 1480.74
1520.52/1525.61	c GLOBAL bounds - >= 35368 @ 1480.75
1541.97/1547.14	c #Conflicts:     193000 | #Constraints:      13028
1541.97/1547.14	c #Conflicts:     194000 | #Constraints:      14028
1541.97/1547.14	c #Conflicts:     195000 | #Constraints:      15028
1541.97/1547.14	c GLOBAL bounds - >= 35368 @ 1501.74
1541.97/1547.15	c GLOBAL bounds - >= 35368 @ 1501.75
1541.97/1547.19	c GLOBAL bounds - >= 35368 @ 1501.76
1542.05/1547.20	c GLOBAL bounds - >= 35368 @ 1501.77
1542.05/1547.23	c GLOBAL bounds - >= 35368 @ 1501.78
1542.05/1547.25	c GLOBAL bounds - >= 35368 @ 1501.79
1542.05/1547.28	c GLOBAL bounds - >= 35368 @ 1501.81
1542.05/1547.29	c GLOBAL bounds - >= 35368 @ 1501.81
1542.15/1547.32	c GLOBAL bounds - >= 35368 @ 1501.83
1542.15/1547.33	c GLOBAL bounds - >= 35368 @ 1501.84
1542.15/1547.36	c GLOBAL bounds - >= 35368 @ 1501.85
1542.15/1547.38	c GLOBAL bounds - >= 35368 @ 1501.86
1542.26/1547.41	c GLOBAL bounds - >= 35368 @ 1501.88
1542.26/1547.42	c GLOBAL bounds - >= 35368 @ 1501.88
1542.26/1547.45	c GLOBAL bounds - >= 35368 @ 1501.89
1542.26/1547.47	c GLOBAL bounds - >= 35368 @ 1501.9
1542.35/1547.50	c GLOBAL bounds - >= 35368 @ 1501.92
1542.35/1547.51	c GLOBAL bounds - >= 35368 @ 1501.93
1542.35/1547.54	c GLOBAL bounds - >= 35368 @ 1501.95
1542.35/1547.58	c GLOBAL bounds - >= 35368 @ 1501.97
1542.46/1547.63	c GLOBAL bounds - >= 35368 @ 1502.01
1542.46/1547.66	c GLOBAL bounds - >= 35368 @ 1502.03
1542.56/1547.71	c GLOBAL bounds - >= 35368 @ 1502.05
1551.63/1556.89	c #Conflicts:     196000 | #Constraints:      16072
1551.63/1556.89	c #Conflicts:     197000 | #Constraints:      17072
1551.63/1556.89	c GLOBAL bounds - >= 35368 @ 1511.03
1551.85/1557.10	c GLOBAL bounds - >= 35368 @ 1511.22
1551.95/1557.13	c GLOBAL bounds - >= 35368 @ 1511.24
1551.95/1557.15	c GLOBAL bounds - >= 35368 @ 1511.25
1551.95/1557.17	c GLOBAL bounds - >= 35368 @ 1511.27
1551.95/1557.21	c GLOBAL bounds - >= 35368 @ 1511.29
1553.63/1558.87	c GLOBAL bounds - >= 35368 @ 1512.87
1555.02/1560.23	c #Conflicts:     198000 | #Constraints:      18093
1555.02/1560.23	c INPROCESSING
1555.02/1560.23	c GARBAGE COLLECT
1555.02/1560.23	c GLOBAL bounds - >= 35368 @ 1514.18
1555.32/1560.57	c GLOBAL bounds - >= 35368 @ 1514.49
1555.93/1561.16	c GLOBAL bounds - >= 35368 @ 1515.05
1661.74/1667.29	c #Conflicts:     199000 | #Constraints:      10273
1661.74/1667.29	c #Conflicts:     200000 | #Constraints:      11273
1661.74/1667.29	c #Conflicts:     201000 | #Constraints:      12273
1661.74/1667.29	c #Conflicts:     202000 | #Constraints:      13273
1661.74/1667.29	c #Conflicts:     203000 | #Constraints:      14273
1661.74/1667.29	c #Conflicts:     204000 | #Constraints:      15273
1661.74/1667.29	c #Conflicts:     205000 | #Constraints:      16273
1661.74/1667.29	c #Conflicts:     206000 | #Constraints:      17273
1661.74/1667.29	c #Conflicts:     207000 | #Constraints:      18273
1661.74/1667.29	c INPROCESSING
1661.74/1667.29	c GARBAGE COLLECT
1661.74/1667.29	c #Conflicts:     208000 | #Constraints:      10269
1661.74/1667.29	c #Conflicts:     209000 | #Constraints:      11269
1661.74/1667.29	c #Conflicts:     210000 | #Constraints:      12269
1661.74/1667.29	c #Conflicts:     211000 | #Constraints:      13269
1661.74/1667.29	c #Conflicts:     212000 | #Constraints:      14269
1661.74/1667.29	c #Conflicts:     213000 | #Constraints:      15269
1661.74/1667.29	c GLOBAL bounds - >= 35368 @ 1617.59
1739.35/1745.07	c #Conflicts:     214000 | #Constraints:      16272
1739.35/1745.07	c #Conflicts:     215000 | #Constraints:      17272
1739.35/1745.07	c #Conflicts:     216000 | #Constraints:      18272
1739.35/1745.07	c INPROCESSING
1739.35/1745.07	c GARBAGE COLLECT
1739.35/1745.07	c #Conflicts:     217000 | #Constraints:      10082
1739.35/1745.07	c #Conflicts:     218000 | #Constraints:      11082
1739.35/1745.07	c #Conflicts:     219000 | #Constraints:      12082
1739.35/1745.07	c #Conflicts:     220000 | #Constraints:      13082
1739.35/1745.07	c #Conflicts:     221000 | #Constraints:      14082
1739.35/1745.07	c #Conflicts:     222000 | #Constraints:      15082
1739.35/1745.07	c #Conflicts:     223000 | #Constraints:      16082
1739.35/1745.07	c #Conflicts:     224000 | #Constraints:      17082
1739.35/1745.07	c GLOBAL bounds - >= 35368 @ 1693.12
1746.34/1752.08	c #Conflicts:     225000 | #Constraints:      18085
1746.34/1752.08	c GLOBAL bounds - >= 35368 @ 1699.92
1751.22/1756.90	c #Conflicts:     226000 | #Constraints:      19088
1751.22/1756.90	c INPROCESSING
1751.22/1756.90	c GARBAGE COLLECT
1751.22/1756.90	c GLOBAL bounds - >= 35368 @ 1704.59
1774.14/1779.91	c #Conflicts:     227000 | #Constraints:      10682
1774.14/1779.91	c #Conflicts:     228000 | #Constraints:      11682
1774.14/1779.91	c #Conflicts:     229000 | #Constraints:      12682
1774.14/1779.91	c GLOBAL bounds - >= 35368 @ 1726.92
1816.59/1822.55	c #Conflicts:     230000 | #Constraints:      13685
1816.59/1822.55	c #Conflicts:     231000 | #Constraints:      14685
1816.59/1822.55	c #Conflicts:     232000 | #Constraints:      15685
1816.59/1822.55	c #Conflicts:     233000 | #Constraints:      16685
1816.59/1822.55	c #Conflicts:     234000 | #Constraints:      17685
1816.59/1822.55	c #Conflicts:     235000 | #Constraints:      18685
1816.59/1822.55	c GLOBAL bounds - >= 35368 @ 1768.1
2330.96/2338.45	c #Conflicts:     236000 | #Constraints:      19688
2330.96/2338.45	c INPROCESSING
2330.96/2338.45	c GARBAGE COLLECT
2330.96/2338.45	c #Conflicts:     237000 | #Constraints:      11082
2330.96/2338.45	c #Conflicts:     238000 | #Constraints:      12082
2330.96/2338.45	c #Conflicts:     239000 | #Constraints:      13082
2330.96/2338.45	c #Conflicts:     240000 | #Constraints:      14082
2330.96/2338.45	c #Conflicts:     241000 | #Constraints:      15082
2330.96/2338.45	c #Conflicts:     242000 | #Constraints:      16082
2330.96/2338.45	c #Conflicts:     243000 | #Constraints:      17082
2330.96/2338.45	c #Conflicts:     244000 | #Constraints:      18082
2330.96/2338.45	c #Conflicts:     245000 | #Constraints:      19082
2330.96/2338.45	c #Conflicts:     246000 | #Constraints:      20082
2330.96/2338.45	c INPROCESSING
2330.96/2338.45	c GARBAGE COLLECT
2330.96/2338.45	c #Conflicts:     247000 | #Constraints:      11287
2330.96/2338.45	c #Conflicts:     248000 | #Constraints:      12287
2330.96/2338.45	c #Conflicts:     249000 | #Constraints:      13287
2330.96/2338.45	c #Conflicts:     250000 | #Constraints:      14287
2330.96/2338.45	c #Conflicts:     251000 | #Constraints:      15287
2330.96/2338.45	c #Conflicts:     252000 | #Constraints:      16287
2330.96/2338.45	c #Conflicts:     253000 | #Constraints:      17287
2330.96/2338.45	c #Conflicts:     254000 | #Constraints:      18287
2330.96/2338.45	c #Conflicts:     255000 | #Constraints:      19287
2330.96/2338.45	c #Conflicts:     256000 | #Constraints:      20287
2330.96/2338.45	c INPROCESSING
2330.96/2338.45	c GARBAGE COLLECT
2330.96/2338.45	c #Conflicts:     257000 | #Constraints:      11283
2330.96/2338.45	c #Conflicts:     258000 | #Constraints:      12283
2330.96/2338.45	c #Conflicts:     259000 | #Constraints:      13283
2330.96/2338.45	c #Conflicts:     260000 | #Constraints:      14283
2330.96/2338.45	c #Conflicts:     261000 | #Constraints:      15283
2330.96/2338.45	c #Conflicts:     262000 | #Constraints:      16283
2330.96/2338.45	c #Conflicts:     263000 | #Constraints:      17283
2330.96/2338.45	c #Conflicts:     264000 | #Constraints:      18283
2330.96/2338.45	c #Conflicts:     265000 | #Constraints:      19283
2330.96/2338.45	c #Conflicts:     266000 | #Constraints:      20283
2330.96/2338.45	c INPROCESSING
2330.96/2338.45	c GARBAGE COLLECT
2330.96/2338.45	c #Conflicts:     267000 | #Constraints:      11089
2330.96/2338.45	c #Conflicts:     268000 | #Constraints:      12089
2330.96/2338.45	c #Conflicts:     269000 | #Constraints:      13089
2330.96/2338.45	c #Conflicts:     270000 | #Constraints:      14089
2330.96/2338.45	c #Conflicts:     271000 | #Constraints:      15089
2330.96/2338.45	c #Conflicts:     272000 | #Constraints:      16089
2330.96/2338.45	c #Conflicts:     273000 | #Constraints:      17089
2330.96/2338.45	c #Conflicts:     274000 | #Constraints:      18089
2330.96/2338.45	c #Conflicts:     275000 | #Constraints:      19089
2330.96/2338.45	c #Conflicts:     276000 | #Constraints:      20089
2330.96/2338.45	c #Conflicts:     277000 | #Constraints:      21089
2330.96/2338.45	c INPROCESSING
2330.96/2338.45	c GARBAGE COLLECT
2330.96/2338.45	c #Conflicts:     278000 | #Constraints:      11692
2330.96/2338.45	c #Conflicts:     279000 | #Constraints:      12692
2330.96/2338.45	c #Conflicts:     280000 | #Constraints:      13692
2330.96/2338.45	c #Conflicts:     281000 | #Constraints:      14692
2330.96/2338.45	c #Conflicts:     282000 | #Constraints:      15692
2330.96/2338.45	c #Conflicts:     283000 | #Constraints:      16692
2330.96/2338.45	c #Conflicts:     284000 | #Constraints:      17692
2330.96/2338.45	c #Conflicts:     285000 | #Constraints:      18692
2330.96/2338.45	c #Conflicts:     286000 | #Constraints:      19692
2330.96/2338.45	c #Conflicts:     287000 | #Constraints:      20692
2330.96/2338.45	c #Conflicts:     288000 | #Constraints:      21692
2330.96/2338.45	c INPROCESSING
2330.96/2338.45	c GARBAGE COLLECT
2330.96/2338.45	c #Conflicts:     289000 | #Constraints:      12095
2330.96/2338.45	c #Conflicts:     290000 | #Constraints:      13095
2330.96/2338.45	c #Conflicts:     291000 | #Constraints:      14095
2330.96/2338.45	c #Conflicts:     292000 | #Constraints:      15095
2330.96/2338.45	c #Conflicts:     293000 | #Constraints:      16095
2330.96/2338.45	c #Conflicts:     294000 | #Constraints:      17095
2330.96/2338.45	c #Conflicts:     295000 | #Constraints:      18095
2330.96/2338.45	c #Conflicts:     296000 | #Constraints:      19095
2330.96/2338.45	c #Conflicts:     297000 | #Constraints:      20095
2330.96/2338.45	c #Conflicts:     298000 | #Constraints:      21095
2330.96/2338.45	c #Conflicts:     299000 | #Constraints:      22095
2330.96/2338.45	c INPROCESSING
2330.96/2338.45	c GARBAGE COLLECT
2330.96/2338.45	c #Conflicts:     300000 | #Constraints:      12294
2330.96/2338.45	c #Conflicts:     301000 | #Constraints:      13294
2330.96/2338.45	c #Conflicts:     302000 | #Constraints:      14294
2330.96/2338.45	c #Conflicts:     303000 | #Constraints:      15294
2330.96/2338.45	c #Conflicts:     304000 | #Constraints:      16294
2330.96/2338.45	c #Conflicts:     305000 | #Constraints:      17294
2330.96/2338.45	c #Conflicts:     306000 | #Constraints:      18294
2330.96/2338.45	c #Conflicts:     307000 | #Constraints:      19294
2330.96/2338.45	c GLOBAL bounds - >= 35368 @ 2268.12
2331.86/2339.30	c GLOBAL bounds - >= 35368 @ 2268.94
2501.19/2509.29	c #Conflicts:     308000 | #Constraints:      20300
2501.19/2509.29	c #Conflicts:     309000 | #Constraints:      21300
2501.19/2509.29	c #Conflicts:     310000 | #Constraints:      22300
2501.19/2509.29	c INPROCESSING
2501.19/2509.29	c GARBAGE COLLECT
2501.19/2509.29	c #Conflicts:     311000 | #Constraints:      12291
2501.19/2509.29	c #Conflicts:     312000 | #Constraints:      13291
2501.19/2509.29	c #Conflicts:     313000 | #Constraints:      14291
2501.19/2509.29	c #Conflicts:     314000 | #Constraints:      15291
2501.19/2509.29	c #Conflicts:     315000 | #Constraints:      16291
2501.19/2509.29	c #Conflicts:     316000 | #Constraints:      17291
2501.19/2509.29	c #Conflicts:     317000 | #Constraints:      18291
2501.19/2509.29	c #Conflicts:     318000 | #Constraints:      19291
2501.19/2509.29	c #Conflicts:     319000 | #Constraints:      20291
2501.19/2509.29	c #Conflicts:     320000 | #Constraints:      21291
2501.19/2509.29	c #Conflicts:     321000 | #Constraints:      22291
2501.19/2509.29	c INPROCESSING
2501.19/2509.29	c GARBAGE COLLECT
2501.19/2509.29	c #Conflicts:     322000 | #Constraints:      12092
2501.19/2509.29	c #Conflicts:     323000 | #Constraints:      13092
2501.19/2509.29	c #Conflicts:     324000 | #Constraints:      14092
2501.19/2509.29	c #Conflicts:     325000 | #Constraints:      15092
2501.19/2509.29	c #Conflicts:     326000 | #Constraints:      16092
2501.19/2509.29	c #Conflicts:     327000 | #Constraints:      17092
2501.19/2509.29	c #Conflicts:     328000 | #Constraints:      18092
2501.19/2509.29	c #Conflicts:     329000 | #Constraints:      19092
2501.19/2509.29	c #Conflicts:     330000 | #Constraints:      20092
2501.19/2509.29	c #Conflicts:     331000 | #Constraints:      21092
2501.19/2509.29	c #Conflicts:     332000 | #Constraints:      22092
2501.19/2509.29	c GLOBAL bounds - >= 35368 @ 2434.07
0.00/3067.43	HOME/run-opt-log.sh: line 2: 66840 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --opt-mode=ihs --reified-ub=1 --proof-log="$2"

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62963 MiB free)
  memory of node 1: 64465 MiB (63623 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496917-1751396901/watcher-4496917-1751396901 -o /tmp/evaluation-result-4496917-1751396901/solver-4496917-1751396901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66778 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4496917-1751396901.opb PROOFDIR/proof-4496917-1751396901 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66838, runsolver pid=66827
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 0.54 1.03 1.86 5/255 66840
/proc/meminfo: memFree=129611976/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=60656 memory=15980 CPUtime=0.08 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 2221 0 0 0 6 2 0 0 20 0 1 0 55369253 62111744 3995 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 15164 3995 1984 1147 0 2591 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64848 KiB
Current children cumulated memory: 18924 KiB

[startup+0.213171 s]*
/proc/loadavg: 0.54 1.03 1.86 4/251 66840
/proc/meminfo: memFree=129612988/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=61988 memory=17388 CPUtime=0.19 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 2547 0 0 0 14 5 0 0 20 0 1 0 55369253 63475712 4347 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 15497 4347 2016 1147 0 2924 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66180 KiB
Current children cumulated memory: 20332 KiB

[startup+0.313158 s]*
/proc/loadavg: 0.54 1.03 1.86 5/250 66845
/proc/meminfo: memFree=129633960/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=63132 memory=18540 CPUtime=0.29 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 2834 0 0 0 22 7 0 0 20 0 1 0 55369253 64647168 4635 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 15783 4635 2016 1147 0 3210 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67324 KiB
Current children cumulated memory: 21484 KiB

[startup+0.700419 s]
/proc/loadavg: 0.54 1.03 1.86 5/250 66848
/proc/meminfo: memFree=129599316/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=108608 memory=53268 CPUtime=0.66 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 7655 0 0 0 52 14 0 0 20 0 1 0 55369253 111214592 13317 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 27152 13317 2304 1147 0 14579 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 112800 KiB
Current children cumulated memory: 56212 KiB

[startup+1.50034 s]
/proc/loadavg: 0.54 1.03 1.86 5/250 66848
/proc/meminfo: memFree=129514952/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=152588 memory=94732 CPUtime=1.46 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 15856 0 0 0 115 31 0 0 20 0 1 0 55369253 156250112 23683 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 38147 23683 2400 1147 0 25574 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 156780 KiB
Current children cumulated memory: 97676 KiB

[startup+3.11257 s]
/proc/loadavg: 0.54 1.03 1.86 5/255 66887
/proc/meminfo: memFree=129338868/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=162256 memory=107212 CPUtime=3.06 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 18460 0 0 0 238 68 0 0 20 0 1 0 55369253 166150144 26803 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 40564 26803 2400 1147 0 27991 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 166448 KiB
Current children cumulated memory: 110156 KiB

[startup+6.30035 s]
/proc/loadavg: 0.82 1.08 1.87 5/255 66887
/proc/meminfo: memFree=128945792/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=214776 memory=156352 CPUtime=6.24 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 23617 0 0 0 515 109 0 0 20 0 1 0 55369253 219930624 39088 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 53694 39088 2400 1147 0 41121 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 218968 KiB
Current children cumulated memory: 159296 KiB

[startup+12.7004 s]
/proc/loadavg: 1.07 1.13 1.88 5/255 66887
/proc/meminfo: memFree=128173668/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=258664 memory=205808 CPUtime=12.63 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 32432 0 0 0 1134 129 0 0 20 0 1 0 55369253 264871936 51452 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 64666 51452 2400 1147 0 52093 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 262856 KiB
Current children cumulated memory: 208752 KiB

[startup+25.5004 s]
/proc/loadavg: 1.72 1.27 1.92 5/253 66917
/proc/meminfo: memFree=126880988/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=324676 memory=253488 CPUtime=25.37 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 42814 0 0 0 2375 162 0 0 20 0 1 0 55369253 332468224 63372 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 81169 63372 2400 1147 0 68596 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 328868 KiB
Current children cumulated memory: 256432 KiB

[startup+51.1132 s]
/proc/loadavg: 2.56 1.51 1.98 5/258 66938
/proc/meminfo: memFree=124032624/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=452480 memory=369856 CPUtime=50.9 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 64724 0 0 0 4804 286 0 0 20 0 1 0 55369253 463339520 92464 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 113120 92464 2400 1147 0 100547 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 456672 KiB
Current children cumulated memory: 372800 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.91 2.09 5/262 66944
/proc/meminfo: memFree=117771248/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=564220 memory=439232 CPUtime=101.94 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 77593 0 0 0 9734 460 0 0 20 0 1 0 55369253 577761280 109808 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 141055 109808 2400 1147 0 128482 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 568412 KiB
Current children cumulated memory: 442176 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.32 2.23 6/259 66977
/proc/meminfo: memFree=114656168/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=629208 memory=550772 CPUtime=161.72 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 96609 0 0 0 15526 646 0 0 20 0 1 0 55369253 644308992 137693 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 157302 137693 2400 1147 0 144729 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 633400 KiB
Current children cumulated memory: 553716 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.66 2.35 5/258 66979
/proc/meminfo: memFree=108503700/131382112 swapFree=33010684/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=634604 memory=564776 CPUtime=221.53 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 98606 0 0 0 21318 835 0 0 20 0 1 0 55369253 649834496 141194 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0

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

/proc/meminfo: memFree=888316/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=1997652 memory=1800164 CPUtime=2733.59 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 479257 0 0 0 266039 7320 0 0 20 0 1 0 55369253 2045595648 450041 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 499413 450041 2400 1147 0 486840 0
Current children cumulated CPU time: 2733.59 s
Current children cumulated vsize: 2001844 KiB
Current children cumulated memory: 1803108 KiB

[startup+2802.3 s]
/proc/loadavg: 4.15 4.27 4.16 5/261 67323
/proc/meminfo: memFree=888612/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=1997652 memory=1800292 CPUtime=2793.43 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 479293 0 0 0 271877 7466 0 0 20 0 1 0 55369253 2045595648 450073 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 499413 450073 2400 1147 0 486840 0
Current children cumulated CPU time: 2793.43 s
Current children cumulated vsize: 2001844 KiB
Current children cumulated memory: 1803236 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.23 4.16 5/263 67331
/proc/meminfo: memFree=825656/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=1997652 memory=1800292 CPUtime=2853.29 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 479588 0 0 0 277726 7603 0 0 20 0 1 0 55369253 2045595648 450073 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 499413 450073 2400 1147 0 486840 0
Current children cumulated CPU time: 2853.29 s
Current children cumulated vsize: 2001844 KiB
Current children cumulated memory: 1803236 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.23 4.16 5/263 67333
/proc/meminfo: memFree=972672/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=2006412 memory=1825760 CPUtime=2913.14 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 481980 0 0 0 283571 7743 0 0 20 0 1 0 55369253 2054565888 456440 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 501603 456440 2400 1147 0 489030 0
Current children cumulated CPU time: 2913.14 s
Current children cumulated vsize: 2010604 KiB
Current children cumulated memory: 1828704 KiB

[startup+2982.3 s]
/proc/loadavg: 4.29 4.24 4.17 5/263 67335
/proc/meminfo: memFree=1000092/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=2006412 memory=1826016 CPUtime=2972.98 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 482826 0 0 0 289417 7881 0 0 20 0 1 0 55369253 2054565888 456504 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 501603 456504 2400 1147 0 489030 0
Current children cumulated CPU time: 2972.98 s
Current children cumulated vsize: 2010604 KiB
Current children cumulated memory: 1828960 KiB

[startup+3042.3 s]
/proc/loadavg: 4.66 4.34 4.20 5/263 67337
/proc/meminfo: memFree=1107784/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=2006412 memory=1826016 CPUtime=3032.79 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 482829 0 0 0 295250 8029 0 0 20 0 1 0 55369253 2054565888 456504 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 501603 456504 2400 1147 0 489030 0
Current children cumulated CPU time: 3032.79 s
Current children cumulated vsize: 2010604 KiB
Current children cumulated memory: 1828960 KiB

[startup+3067.43 s]
# the end of solver process 66838 was just reported to runsolver
# Child status: 153

# cumulated CPU time of all completed processes:  user=2959.97 s, system=84.4681 s

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

[startup+3046.4 s]
/proc/loadavg: 4.61 4.33 4.20 5/263 67337
/proc/meminfo: memFree=1099532/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
[pid=66840] ppid=66838 vsize=2006412 memory=1826016 CPUtime=3036.88 cores=1,3
/proc/66840/stat : 66840 (roundingsat) R 66838 66838 66766 0 -1 4194304 482829 0 0 0 295652 8036 0 0 20 0 1 0 55369253 2054565888 456504 18446744073709551615 4227072 8923433 140730689615296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26763264 140730689620306 140730689620520 140730689620520 140730689626090 0
/proc/66840/statm: 501603 456504 2400 1147 0 489030 0
Current children cumulated CPU time: 3036.88 s
Current children cumulated vsize: 2010604 KiB
Current children cumulated memory: 1828960 KiB

[startup+3059.2 s]
/proc/loadavg: 4.55 4.33 4.20 5/276 67357
/proc/meminfo: memFree=3886832/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3062.4 s]
/proc/loadavg: 4.55 4.33 4.20 6/275 67357
/proc/meminfo: memFree=3801944/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3065.6 s]
/proc/loadavg: 4.59 4.34 4.21 6/275 67357
/proc/meminfo: memFree=3732188/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3066.4 s]
/proc/loadavg: 4.59 4.34 4.21 5/275 67357
/proc/meminfo: memFree=3712464/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3067.2 s]
/proc/loadavg: 4.59 4.34 4.21 5/275 67357
/proc/meminfo: memFree=3768668/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3067.4 s]
/proc/loadavg: 4.59 4.34 4.21 5/275 67357
/proc/meminfo: memFree=3768668/131382112 swapFree=33010416/33010684
[pid=66838] ppid=66827 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/66838/stat : 66838 (run-opt-log.sh) S 66827 66838 66766 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55369251 4292608 736 18446744073709551615 94646216331264 94646217225797 140726786708240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94646217464848 94646217512592 94646232514560 140726786709793 140726786709988 140726786709988 140726786715590 0
/proc/66838/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 153

Real time (s): 3067.43
CPU time (s): 3044.44
CPU user time (s): 2959.97
CPU system time (s): 84.4681
CPU usage (%): 99.2503
Max. virtual memory (cumulated for all children) (KiB): 2010604
Max. memory (cumulated for all children) (KiB): 1828960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2959.97
system time used= 84.4681
maximum resident set size= 1826016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204800000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270345
involuntary context switches= 16744


# summary of solver processes directly reported to runsolver:
#   pid: 66838
#   total CPU time (s): 3044.44
#   total CPU user time (s): 2959.97
#   total CPU system time (s): 84.4681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.266 second user time and 31.8693 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-01 21:08:21
IDJOB=4496917
IDBENCH=148149
IDSOLVER=3351
FILE ID=nodeC007/4496917-1751396901
RUNJOBID= nodeC007-1751396901-66778
SLURM_JOB_ID= 9598273
Free space on /tmp= 432992 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496917-1751396901/watcher-4496917-1751396901 -o /tmp/evaluation-result-4496917-1751396901/solver-4496917-1751396901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66778 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4496917-1751396901.opb PROOFDIR/proof-4496917-1751396901

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

MD5SUM BENCH= 3ad5724dc0c956b4efc5b1550fba1884
RANDOM SEED=1494711650

nodeC007 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.232
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.68
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.204
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.68
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.170
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.68
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.336
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.68
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		: 1197.572
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.68
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.188
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.68
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.220
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.68
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.186
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129623712 kB
MemAvailable:   129903848 kB
Buffers:            3280 kB
Cached:          1086316 kB
SwapCached:            0 kB
Active:           318364 kB
Inactive:         838388 kB
Active(anon):      85116 kB
Inactive(anon):        0 kB
Active(file):     233248 kB
Inactive(file):   838388 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30404 kB
Writeback:             0 kB
AnonPages:         70320 kB
Mapped:           102208 kB
Shmem:             17960 kB
KReclaimable:      96256 kB
Slab:             180228 kB
SReclaimable:      96256 kB
SUnreclaim:        83972 kB
KernelStack:        3896 kB
PageTables:         2840 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     335552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149336 kB
VmallocChunk:          0 kB
Percpu:             3776 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432832 MiB
End job on nodeC007 at 2025-07-01 21:59:29