Trace number 4518088

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 63f22adOPT-48768 234.908 235.629

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/
normalized-knapPI_9_5000_1000_1_-48768.opb
MD5SUM6df3ef663e01b06123bb3451687b2522
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 benchmark-48768
Best CPU time to get the best result obtained on this benchmark0.04891
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint5000
Maximum length of a constraint5000
Number of terms in the objective function 5000
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526647
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 4952979
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 505203951
Number of bits of the biggest sum of numbers29
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.00/0.03	c #variables 5000 #constraints 1
0.00/0.03	c objective is ce32 
0.00/0.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03	c GLOBAL bounds - >= -2526647 @ 0.004494
0.00/0.03	c GLOBAL bounds - >= -2526647 @ 0.005774
0.00/0.04	c GLOBAL bounds - >= -2526647 @ 0.010082
0.00/0.04	c GLOBAL bounds - >= -2526647 @ 0.012315
0.00/0.05	c GLOBAL bounds - >= -2526647 @ 0.013667
0.00/0.06	c GLOBAL bounds - >= -2526647 @ 0.0157
0.00/0.06	c GLOBAL bounds - >= -2526647 @ 0.018924
0.00/0.07	c GLOBAL bounds - >= -2526647 @ 0.022286
0.00/0.07	c GLOBAL bounds - >= -2526647 @ 0.023654
0.00/0.08	c GLOBAL bounds - >= -2526647 @ 0.025761
0.00/0.08	c GLOBAL bounds - >= -2526647 @ 0.030273
0.00/0.09	c GLOBAL bounds - >= -2526647 @ 0.032281
0.00/0.09	c GLOBAL bounds - >= -2526647 @ 0.034608
0.00/0.10	c GLOBAL bounds - >= -2526647 @ 0.036308
0.07/0.10	c GLOBAL bounds - >= -2526647 @ 0.037643
0.07/0.11	c GLOBAL bounds - >= -2526647 @ 0.040932
0.07/0.11	c GLOBAL bounds - >= -2526647 @ 0.043275
0.07/0.12	c GLOBAL bounds - >= -2526647 @ 0.045569
0.07/0.13	c GLOBAL bounds - >= -2526647 @ 0.047918
0.07/0.13	c GLOBAL bounds - >= -2526647 @ 0.050276
0.07/0.14	c GLOBAL bounds - >= -2526647 @ 0.053627
0.07/0.14	c GLOBAL bounds - >= -2526647 @ 0.057229
0.07/0.15	c GLOBAL bounds - >= -2526647 @ 0.059363
0.07/0.15	c GLOBAL bounds - >= -2526647 @ 0.063727
0.07/0.16	c GLOBAL bounds - >= -2526647 @ 0.067102
0.07/0.16	c GLOBAL bounds - >= -2526647 @ 0.070495
0.07/0.17	c GLOBAL bounds - >= -2526647 @ 0.072166
0.07/0.17	c GLOBAL bounds - >= -2526647 @ 0.073519
0.07/0.18	c GLOBAL bounds - >= -2526647 @ 0.076827
0.07/0.18	c GLOBAL bounds - >= -2526647 @ 0.07829
0.07/0.19	c GLOBAL bounds - >= -2526647 @ 0.079174
0.07/0.20	c GLOBAL bounds - >= -2526647 @ 0.083229
0.07/0.20	c GLOBAL bounds - >= -2526647 @ 0.084155
0.17/0.21	c GLOBAL bounds - >= -2526647 @ 0.087251
0.17/0.21	c GLOBAL bounds - >= -2526647 @ 0.08818
0.17/0.22	c GLOBAL bounds - >= -2526647 @ 0.08935
0.17/0.22	c GLOBAL bounds - >= -2526647 @ 0.093175
0.17/0.23	c GLOBAL bounds - >= -2526647 @ 0.095438
0.17/0.23	c GLOBAL bounds - >= -2526647 @ 0.09817
0.17/0.24	c GLOBAL bounds - >= -2526647 @ 0.099587
0.17/0.25	c GLOBAL bounds - >= -2526647 @ 0.10131
0.17/0.25	c GLOBAL bounds - >= -2526647 @ 0.10219
0.17/0.26	c GLOBAL bounds - >= -2526647 @ 0.105509
0.17/0.26	c GLOBAL bounds - >= -2526647 @ 0.107176
0.17/0.27	c GLOBAL bounds - >= -2526647 @ 0.10912
0.17/0.27	c GLOBAL bounds - >= -2526647 @ 0.111307
0.17/0.28	c GLOBAL bounds - >= -2526647 @ 0.113178
0.17/0.29	c GLOBAL bounds - >= -2526647 @ 0.117538
0.17/0.29	c GLOBAL bounds - >= -2526647 @ 0.121203
0.17/0.30	c GLOBAL bounds - >= -2526647 @ 0.122908
0.17/0.30	c GLOBAL bounds - >= -2526647 @ 0.126603
0.27/0.31	c GLOBAL bounds - >= -2526647 @ 0.130333
0.27/0.32	c GLOBAL bounds - >= -2526647 @ 0.133095
0.27/0.32	c GLOBAL bounds - >= -2526647 @ 0.137448
0.27/0.33	c GLOBAL bounds - >= -2526647 @ 0.142161
0.27/0.34	c GLOBAL bounds - >= -2526647 @ 0.146705
0.27/0.35	c GLOBAL bounds - >= -2526647 @ 0.151698
0.27/0.35	c GLOBAL bounds - >= -2526647 @ 0.156074
0.27/0.36	c GLOBAL bounds - >= -2526647 @ 0.159556
0.27/0.37	c GLOBAL bounds - >= -2526647 @ 0.167855
0.27/0.38	c GLOBAL bounds - >= -2526647 @ 0.174407
0.27/0.39	c GLOBAL bounds - >= -2526647 @ 0.183835
0.27/0.40	c GLOBAL bounds - >= -2526647 @ 0.190751
0.27/0.40	c GLOBAL bounds - >= -2526647 @ 0.195807
0.37/0.41	c GLOBAL bounds - >= -2526647 @ 0.200939
0.37/0.43	c GLOBAL bounds - >= -2526647 @ 0.212406
0.37/0.44	c GLOBAL bounds - >= -2526647 @ 0.220254
0.37/0.46	c GLOBAL bounds - >= -2526647 @ 0.233692
0.37/0.47	c GLOBAL bounds - >= -2526647 @ 0.244041
0.37/0.48	c GLOBAL bounds - >= -2526647 @ 0.249761
0.48/0.52	c GLOBAL bounds - >= -2526647 @ 0.277765
0.48/0.52	c GLOBAL bounds - >= -2526647 @ 0.285191
0.48/0.58	c GLOBAL bounds - >= -2526647 @ 0.334343
0.67/0.77	c GLOBAL bounds - >= -2526647 @ 0.506357
0.77/0.81	c GLOBAL bounds - >= -2526647 @ 0.541231
0.77/0.84	c GLOBAL bounds - >= -2526647 @ 0.572345
0.77/0.86	c GLOBAL bounds - >= -2526647 @ 0.596023
0.86/0.94	c GLOBAL bounds - >= -2526647 @ 0.669304
0.97/1.05	c GLOBAL bounds - >= -2526647 @ 0.770916
1.07/1.11	c GLOBAL bounds - >= -2526647 @ 0.832622
1.07/1.13	c GLOBAL bounds - >= -2526647 @ 0.844694
1.07/1.16	c GLOBAL bounds - >= -2526647 @ 0.875597
1.07/1.20	c GLOBAL bounds - >= -2526647 @ 0.909612
1.17/1.23	c GLOBAL bounds - >= -2526647 @ 0.940148
1.17/1.26	c GLOBAL bounds - >= -2526647 @ 0.971936
1.26/1.33	c GLOBAL bounds - >= -2526647 @ 1.0412
1.26/1.35	c GLOBAL bounds - >= -2526647 @ 1.05813
1.37/1.42	c GLOBAL bounds - >= -2526647 @ 1.12563
1.37/1.46	c GLOBAL bounds - >= -2526647 @ 1.15679
1.46/1.53	c GLOBAL bounds - >= -2526647 @ 1.22664
1.56/1.61	c GLOBAL bounds - >= -2526647 @ 1.30031
1.56/1.63	c GLOBAL bounds - >= -2526647 @ 1.31695
1.66/1.71	c GLOBAL bounds - >= -2526647 @ 1.39882
1.66/1.75	c GLOBAL bounds - >= -2526647 @ 1.43008
1.66/1.76	c GLOBAL bounds - >= -2526647 @ 1.44279
1.66/1.79	c GLOBAL bounds - >= -2526647 @ 1.46106
1.76/1.80	c GLOBAL bounds - >= -2526647 @ 1.4752
1.76/1.82	c GLOBAL bounds - >= -2526647 @ 1.49239
1.76/1.84	c GLOBAL bounds - >= -2526647 @ 1.50896
1.76/1.86	c GLOBAL bounds - >= -2526647 @ 1.52325
1.76/1.87	c GLOBAL bounds - >= -2526647 @ 1.53909
1.86/1.91	c GLOBAL bounds - >= -2526647 @ 1.57056
1.86/1.93	c GLOBAL bounds - >= -2526647 @ 1.58637
2.07/2.10	c GLOBAL bounds - >= -2526647 @ 1.74708
2.07/2.13	c GLOBAL bounds - >= -2526647 @ 1.76789
2.07/2.14	c GLOBAL bounds - >= -2526647 @ 1.77947
2.07/2.16	c GLOBAL bounds - >= -2526647 @ 1.79114
2.07/2.18	c GLOBAL bounds - >= -2526647 @ 1.80443
2.07/2.20	c GLOBAL bounds - >= -2526647 @ 1.82005
2.16/2.21	c GLOBAL bounds - >= -2526647 @ 1.8383
2.16/2.23	c GLOBAL bounds - >= -2526647 @ 1.85588
2.16/2.25	c GLOBAL bounds - >= -2526647 @ 1.86774
2.16/2.27	c GLOBAL bounds - >= -2526647 @ 1.88011
2.16/2.29	c GLOBAL bounds - >= -2526647 @ 1.89726
2.26/2.30	c GLOBAL bounds - >= -2526647 @ 1.91179
2.26/2.32	c GLOBAL bounds - >= -2526647 @ 1.92866
2.26/2.34	c GLOBAL bounds - >= -2526647 @ 1.94217
2.26/2.36	c GLOBAL bounds - >= -2526647 @ 1.96071
2.36/2.46	c GLOBAL bounds - >= -2526647 @ 2.05511
2.46/2.50	c GLOBAL bounds - >= -2526647 @ 2.09184
2.46/2.53	c GLOBAL bounds - >= -2526647 @ 2.11756
2.56/2.69	c GLOBAL bounds - >= -2526647 @ 2.27635
2.66/2.75	c GLOBAL bounds - >= -2526647 @ 2.33993
2.76/2.86	c GLOBAL bounds - >= -2526647 @ 2.44342
2.85/2.90	c GLOBAL bounds - >= -2526647 @ 2.47977
2.97/3.02	c GLOBAL bounds - >= -2526647 @ 2.59498
2.97/3.03	c GLOBAL bounds - >= -2526647 @ 2.61172
2.97/3.06	c GLOBAL bounds - >= -2526647 @ 2.63252
2.97/3.07	c GLOBAL bounds - >= -2526647 @ 2.64761
3.06/3.10	c GLOBAL bounds - >= -2526647 @ 2.67146
3.06/3.17	c GLOBAL bounds - >= -2526647 @ 2.72885
3.16/3.22	c GLOBAL bounds - >= -2526647 @ 2.78093
3.36/3.43	c GLOBAL bounds - >= -2526647 @ 2.98753
4.06/4.19	c GLOBAL bounds - >= -2526647 @ 3.73976
4.26/4.38	c GLOBAL bounds - >= -2526647 @ 3.92292
4.56/4.65	c GLOBAL bounds - >= -2526647 @ 4.19202
4.75/4.80	c GLOBAL bounds - >= -2526647 @ 4.34563
4.85/4.95	c GLOBAL bounds - >= -2526647 @ 4.4951
4.95/5.09	c GLOBAL bounds - >= -2526647 @ 4.629
5.06/5.13	c GLOBAL bounds - >= -2526647 @ 4.6605
5.25/5.33	c GLOBAL bounds - >= -2526647 @ 4.86356
5.25/5.36	c GLOBAL bounds - >= -2526647 @ 4.89322
5.25/5.39	c GLOBAL bounds - >= -2526647 @ 4.92397
5.35/5.42	c GLOBAL bounds - >= -2526647 @ 4.94425
5.35/5.44	c GLOBAL bounds - >= -2526647 @ 4.964
5.35/5.48	c GLOBAL bounds - >= -2526647 @ 4.99566
5.55/5.67	c GLOBAL bounds - >= -2526647 @ 5.19023
5.85/5.95	c GLOBAL bounds - >= -2526647 @ 5.46022
5.85/5.98	c GLOBAL bounds - >= -2526647 @ 5.48722
6.05/6.18	c GLOBAL bounds - >= -2526647 @ 5.68635
6.15/6.22	c GLOBAL bounds - >= -2526647 @ 5.71645
6.15/6.25	c GLOBAL bounds - >= -2526647 @ 5.74826
6.15/6.28	c GLOBAL bounds - >= -2526647 @ 5.77087
6.24/6.30	c GLOBAL bounds - >= -2526647 @ 5.79566
6.24/6.33	c GLOBAL bounds - >= -2526647 @ 5.81717
6.24/6.38	c GLOBAL bounds - >= -2526647 @ 5.86516
6.35/6.44	c GLOBAL bounds - >= -2526647 @ 5.91878
6.35/6.47	c GLOBAL bounds - >= -2526647 @ 5.9485
6.45/6.50	c GLOBAL bounds - >= -2526647 @ 5.97862
6.45/6.53	c GLOBAL bounds - >= -2526647 @ 6.00355
6.45/6.56	c GLOBAL bounds - >= -2526647 @ 6.03139
6.45/6.59	c GLOBAL bounds - >= -2526647 @ 6.05826
6.55/6.62	c GLOBAL bounds - >= -2526647 @ 6.09553
6.55/6.66	c GLOBAL bounds - >= -2526647 @ 6.1227
6.55/6.68	c GLOBAL bounds - >= -2526647 @ 6.14438
6.65/6.71	c GLOBAL bounds - >= -2526647 @ 6.16633
6.65/6.74	c GLOBAL bounds - >= -2526647 @ 6.19014
6.65/6.77	c GLOBAL bounds - >= -2526647 @ 6.21638
6.75/6.80	c GLOBAL bounds - >= -2526647 @ 6.24488
6.75/6.83	c GLOBAL bounds - >= -2526647 @ 6.2729
6.75/6.87	c GLOBAL bounds - >= -2526647 @ 6.30518
7.14/7.20	c GLOBAL bounds - >= -2526647 @ 6.62946
7.74/7.88	c GLOBAL bounds - >= -2526647 @ 7.30182
8.05/8.17	c GLOBAL bounds - >= -2526647 @ 7.59315
8.74/8.84	c GLOBAL bounds - >= -2526647 @ 8.24756
8.94/9.01	c GLOBAL bounds - >= -2526647 @ 8.41095
9.14/9.24	c GLOBAL bounds - >= -2526647 @ 8.64885
9.64/9.75	c GLOBAL bounds - >= -2526647 @ 9.14952
9.84/9.96	c GLOBAL bounds - >= -2526647 @ 9.3532
10.24/10.37	c GLOBAL bounds - >= -2526647 @ 9.75576
10.64/10.73	c #Conflicts:       1000 | #Constraints:       1357
10.64/10.73	c GLOBAL bounds - >= -2526647 @ 10.1119
10.83/10.93	c GLOBAL bounds - >= -2526647 @ 10.3121
11.44/11.56	c GLOBAL bounds - >= -2526647 @ 10.934
11.53/11.65	c GLOBAL bounds - >= -2526647 @ 11.0198
12.83/12.93	c GLOBAL bounds - >= -2526647 @ 12.1836
12.93/13.02	c GLOBAL bounds - >= -2526647 @ 12.2637
12.93/13.06	c GLOBAL bounds - >= -2526647 @ 12.3054
13.04/13.15	c GLOBAL bounds - >= -2526647 @ 12.3855
13.13/13.20	c GLOBAL bounds - >= -2526647 @ 12.4398
13.23/13.30	c GLOBAL bounds - >= -2526647 @ 12.5389
13.33/13.49	c GLOBAL bounds - >= -2526647 @ 12.7246
13.43/13.58	c GLOBAL bounds - >= -2526647 @ 12.8188
13.53/13.62	c GLOBAL bounds - >= -2526647 @ 12.8576
13.53/13.66	c GLOBAL bounds - >= -2526647 @ 12.8957
13.53/13.69	c GLOBAL bounds - >= -2526647 @ 12.9227
13.63/13.73	c GLOBAL bounds - >= -2526647 @ 12.9522
13.63/13.76	c GLOBAL bounds - >= -2526647 @ 12.984
13.63/13.79	c GLOBAL bounds - >= -2526647 @ 13.0105
13.73/13.83	c GLOBAL bounds - >= -2526647 @ 13.04
13.83/13.90	c GLOBAL bounds - >= -2526647 @ 13.1042
13.83/13.94	c GLOBAL bounds - >= -2526647 @ 13.1416
13.83/13.97	c GLOBAL bounds - >= -2526647 @ 13.1726
13.94/14.02	c GLOBAL bounds - >= -2526647 @ 13.221
13.94/14.06	c GLOBAL bounds - >= -2526647 @ 13.2552
14.03/14.10	c GLOBAL bounds - >= -2526647 @ 13.2969
14.03/14.14	c GLOBAL bounds - >= -2526647 @ 13.3303
14.03/14.18	c GLOBAL bounds - >= -2526647 @ 13.3687
14.13/14.21	c GLOBAL bounds - >= -2526647 @ 13.4011
14.13/14.25	c GLOBAL bounds - >= -2526647 @ 13.4315
14.32/14.47	c GLOBAL bounds - >= -2526647 @ 13.6459
14.42/14.57	c GLOBAL bounds - >= -2526647 @ 13.748
14.73/14.83	c GLOBAL bounds - >= -2526647 @ 14.0018
14.82/14.95	c GLOBAL bounds - >= -2526647 @ 14.1232
15.03/15.16	c GLOBAL bounds - >= -2526647 @ 14.3265
15.23/15.39	c GLOBAL bounds - >= -2526647 @ 14.551
15.52/15.68	c GLOBAL bounds - >= -2526647 @ 14.8384
15.72/15.83	c GLOBAL bounds - >= -2526647 @ 14.9905
15.93/16.02	c GLOBAL bounds - >= -2526647 @ 15.1702
16.22/16.33	c GLOBAL bounds - >= -2526647 @ 15.4757
16.22/16.39	c GLOBAL bounds - >= -2526647 @ 15.5362
16.32/16.44	c GLOBAL bounds - >= -2526647 @ 15.5874
16.32/16.48	c GLOBAL bounds - >= -2526647 @ 15.6243
16.42/16.52	c GLOBAL bounds - >= -2526647 @ 15.6595
16.42/16.55	c GLOBAL bounds - >= -2526647 @ 15.6915
16.42/16.59	c GLOBAL bounds - >= -2526647 @ 15.7265
16.52/16.63	c GLOBAL bounds - >= -2526647 @ 15.7628
16.52/16.66	c GLOBAL bounds - >= -2526647 @ 15.7993
16.62/16.70	c GLOBAL bounds - >= -2526647 @ 15.8353
16.62/16.74	c GLOBAL bounds - >= -2526647 @ 15.8708
16.62/16.78	c GLOBAL bounds - >= -2526647 @ 15.9009
16.72/16.81	c GLOBAL bounds - >= -2526647 @ 15.935
16.72/16.85	c GLOBAL bounds - >= -2526647 @ 15.9687
16.72/16.89	c GLOBAL bounds - >= -2526647 @ 16.0064
16.82/16.93	c GLOBAL bounds - >= -2526647 @ 16.0416
16.82/16.97	c GLOBAL bounds - >= -2526647 @ 16.0778
16.93/17.01	c GLOBAL bounds - >= -2526647 @ 16.112
16.93/17.05	c GLOBAL bounds - >= -2526647 @ 16.149
16.93/17.09	c GLOBAL bounds - >= -2526647 @ 16.1874
17.12/17.28	c GLOBAL bounds - >= -2526647 @ 16.369
17.31/17.46	c GLOBAL bounds - >= -2526647 @ 16.5419
17.42/17.50	c GLOBAL bounds - >= -2526647 @ 16.5815
17.42/17.54	c GLOBAL bounds - >= -2526647 @ 16.6156
17.52/17.61	c GLOBAL bounds - >= -2526647 @ 16.6873
17.52/17.70	c GLOBAL bounds - >= -2526647 @ 16.7693
17.92/18.04	c GLOBAL bounds - >= -2526647 @ 17.1086
18.11/18.28	c GLOBAL bounds - >= -2526647 @ 17.3468
19.31/19.44	c GLOBAL bounds - >= -2526647 @ 18.497
20.41/20.57	c GLOBAL bounds - >= -2526647 @ 19.6245
21.01/21.13	c GLOBAL bounds - >= -2526647 @ 20.181
21.21/21.34	c GLOBAL bounds - >= -2526647 @ 20.3858
22.10/22.28	c GLOBAL bounds - >= -2526647 @ 21.3143
23.11/23.26	c GLOBAL bounds - >= -2526647 @ 22.282
23.20/23.38	c GLOBAL bounds - >= -2526647 @ 22.4057
23.40/23.57	c GLOBAL bounds - >= -2526647 @ 22.5928
23.60/23.71	c GLOBAL bounds - >= -2526647 @ 22.7339
23.80/23.90	c GLOBAL bounds - >= -2526647 @ 22.9159
23.90/24.10	c GLOBAL bounds - >= -2526647 @ 23.1136
24.60/24.78	c GLOBAL bounds - >= -2526647 @ 23.7872
25.10/25.20	c GLOBAL bounds - >= -2526647 @ 24.204
25.19/25.36	c GLOBAL bounds - >= -2526647 @ 24.3615
25.49/25.60	c GLOBAL bounds - >= -2526647 @ 24.6043
25.69/25.88	c GLOBAL bounds - >= -2526647 @ 24.8747
26.79/26.96	c GLOBAL bounds - >= -2526647 @ 25.9524
27.90/28.02	c #Conflicts:       2000 | #Constraints:       2523
27.90/28.02	c INPROCESSING
27.90/28.02	c GARBAGE COLLECT
27.90/28.02	c GLOBAL bounds - >= -2526647 @ 26.9983
28.19/28.36	c GLOBAL bounds - >= -2526647 @ 27.3369
28.68/28.83	c GLOBAL bounds - >= -2526647 @ 27.8051
28.79/28.95	c GLOBAL bounds - >= -2526647 @ 27.9168
28.89/29.04	c GLOBAL bounds - >= -2526647 @ 28.0075
28.89/29.07	c GLOBAL bounds - >= -2526647 @ 28.041
28.99/29.18	c GLOBAL bounds - >= -2526647 @ 28.1427
29.38/29.59	c GLOBAL bounds - >= -2526647 @ 28.5517
29.58/29.76	c GLOBAL bounds - >= -2526647 @ 28.7224
30.38/30.54	c GLOBAL bounds - >= -2526647 @ 29.4967
30.58/30.73	c GLOBAL bounds - >= -2526647 @ 29.6806
30.78/30.90	c GLOBAL bounds - >= -2526647 @ 29.8531
30.88/31.06	c GLOBAL bounds - >= -2526647 @ 30.0054
30.98/31.11	c GLOBAL bounds - >= -2526647 @ 30.055
31.08/31.26	c GLOBAL bounds - >= -2526647 @ 30.1986
31.28/31.47	c GLOBAL bounds - >= -2526647 @ 30.4163
32.57/32.72	c GLOBAL bounds - >= -2526647 @ 31.6491
34.37/34.53	c GLOBAL bounds - >= -2526647 @ 33.4453
35.06/35.23	c GLOBAL bounds - >= -2526647 @ 34.1447
36.36/36.52	c GLOBAL bounds - >= -2526647 @ 35.4207
38.96/39.19	c GLOBAL bounds - >= -2526647 @ 38.0795
41.15/41.37	c #Conflicts:       3000 | #Constraints:       2569
41.15/41.37	c GLOBAL bounds - >= -2526647 @ 40.25
44.04/44.22	c GLOBAL bounds - >= -2526647 @ 43.0861
44.14/44.30	c GLOBAL bounds - >= -2526647 @ 43.159
44.14/44.34	c GLOBAL bounds - >= -2526647 @ 43.1978
44.14/44.39	c GLOBAL bounds - >= -2526647 @ 43.2374
44.24/44.43	c GLOBAL bounds - >= -2526647 @ 43.2799
44.24/44.47	c GLOBAL bounds - >= -2526647 @ 43.3209
44.55/44.76	c GLOBAL bounds - >= -2526647 @ 43.6077
44.95/45.19	c GLOBAL bounds - >= -2526647 @ 44.0284
45.24/45.48	c GLOBAL bounds - >= -2526647 @ 44.3078
46.04/46.23	c GLOBAL bounds - >= -2526647 @ 45.0598
47.24/47.48	c GLOBAL bounds - >= -2526647 @ 46.2976
50.23/50.40	c GLOBAL bounds - >= -2526647 @ 49.1936
50.93/51.17	c GLOBAL bounds - >= -2526647 @ 49.9565
51.23/51.48	c GLOBAL bounds - >= -2526647 @ 50.2637
51.72/51.92	c GLOBAL bounds - >= -2526647 @ 50.7006
52.02/52.21	c GLOBAL bounds - >= -2526647 @ 50.9893
52.52/52.75	c GLOBAL bounds - >= -2526647 @ 51.5186
52.83/53.03	c GLOBAL bounds - >= -2526647 @ 51.7984
53.11/53.36	c GLOBAL bounds - >= -2526647 @ 52.1264
53.41/53.64	c GLOBAL bounds - >= -2526647 @ 52.395
53.72/53.93	c GLOBAL bounds - >= -2526647 @ 52.6844
57.60/57.82	c GLOBAL bounds - >= -2526647 @ 56.5487
58.10/58.30	c #Conflicts:       4000 | #Constraints:       3615
58.10/58.30	c GLOBAL bounds - >= -2526647 @ 57.0338
58.40/58.65	c GLOBAL bounds - >= -2526647 @ 57.3747
58.71/58.94	c GLOBAL bounds - >= -2526647 @ 57.6675
59.50/59.71	c GLOBAL bounds - >= -2526647 @ 58.4325
59.60/59.80	c GLOBAL bounds - >= -2526647 @ 58.5149
59.70/59.93	c GLOBAL bounds - >= -2526647 @ 58.6417
59.70/60.00	c GLOBAL bounds - >= -2526647 @ 58.7129
59.90/60.15	c GLOBAL bounds - >= -2526647 @ 58.8649
59.99/60.20	c GLOBAL bounds - >= -2526647 @ 58.9125
59.99/60.25	c GLOBAL bounds - >= -2526647 @ 58.9673
60.59/60.84	c GLOBAL bounds - >= -2526647 @ 59.549
61.40/61.68	c GLOBAL bounds - >= -2526647 @ 60.3872
61.99/62.20	c INPROCESSING
61.99/62.20	c GARBAGE COLLECT
61.99/62.20	c GLOBAL bounds - >= -2526647 @ 60.8993
62.29/62.50	c GLOBAL bounds - >= -2526647 @ 61.2033
62.49/62.78	c GLOBAL bounds - >= -2526647 @ 61.4783
62.80/63.02	c GLOBAL bounds - >= -2526647 @ 61.7192
62.80/63.09	c GLOBAL bounds - >= -2526647 @ 61.79
63.09/63.30	c GLOBAL bounds - >= -2526647 @ 61.9912
63.19/63.46	c GLOBAL bounds - >= -2526647 @ 62.1576
63.48/63.72	c GLOBAL bounds - >= -2526647 @ 62.4086
63.48/63.76	c GLOBAL bounds - >= -2526647 @ 62.4478
63.59/63.83	c GLOBAL bounds - >= -2526647 @ 62.523
63.80/64.04	c GLOBAL bounds - >= -2526647 @ 62.725
63.89/64.13	c GLOBAL bounds - >= -2526647 @ 62.8186
63.99/64.22	c GLOBAL bounds - >= -2526647 @ 62.906
63.99/64.28	c GLOBAL bounds - >= -2526647 @ 62.9663
64.09/64.36	c GLOBAL bounds - >= -2526647 @ 63.0407
66.18/66.43	c GLOBAL bounds - >= -2526647 @ 65.0973
69.17/69.45	c #Conflicts:       5000 | #Constraints:       3079
69.17/69.45	c GLOBAL bounds - >= -2526647 @ 68.0968
72.16/72.48	c GLOBAL bounds - >= -2526647 @ 71.1175
72.56/72.81	c GLOBAL bounds - >= -2526647 @ 71.4357
72.77/73.02	c GLOBAL bounds - >= -2526647 @ 71.6507
73.66/73.90	c GLOBAL bounds - >= -2526647 @ 72.5221
73.76/74.09	c GLOBAL bounds - >= -2526647 @ 72.7098
73.95/74.20	c GLOBAL bounds - >= -2526647 @ 72.8208
74.36/74.69	c GLOBAL bounds - >= -2526647 @ 73.3071
74.86/75.13	c GLOBAL bounds - >= -2526647 @ 73.7437
75.15/75.48	c GLOBAL bounds - >= -2526647 @ 74.0904
75.86/76.13	c GLOBAL bounds - >= -2526647 @ 74.7433
77.64/77.91	c GLOBAL bounds - >= -2526647 @ 76.5131
78.55/78.88	c GLOBAL bounds - >= -2526647 @ 77.4715
78.64/78.92	c GLOBAL bounds - >= -2526647 @ 77.5145
78.64/78.98	c GLOBAL bounds - >= -2526647 @ 77.571
78.75/79.08	c GLOBAL bounds - >= -2526647 @ 77.6737
79.24/79.52	c GLOBAL bounds - >= -2526647 @ 78.1035
79.24/79.56	c GLOBAL bounds - >= -2526647 @ 78.1485
79.35/79.62	c GLOBAL bounds - >= -2526647 @ 78.2061
79.55/79.89	c GLOBAL bounds - >= -2526647 @ 78.4764
79.94/80.28	c GLOBAL bounds - >= -2526647 @ 78.86
80.34/80.62	c GLOBAL bounds - >= -2526647 @ 79.2012
80.64/80.94	c GLOBAL bounds - >= -2526647 @ 79.5147
81.74/82.00	c #Conflicts:       6000 | #Constraints:       4125
81.74/82.00	c GLOBAL bounds - >= -2526647 @ 80.5732
82.14/82.45	c GLOBAL bounds - >= -2526647 @ 81.0126
83.23/83.53	c GLOBAL bounds - >= -2526647 @ 82.0934
84.03/84.36	c GLOBAL bounds - >= -2526647 @ 82.9179
84.62/84.94	c GLOBAL bounds - >= -2526647 @ 83.4944
86.42/86.70	c GLOBAL bounds - >= -2526647 @ 85.2418
89.51/89.86	c GLOBAL bounds - >= -2526647 @ 88.3782
90.61/91.00	c GLOBAL bounds - >= -2526647 @ 89.5016
90.81/91.15	c GLOBAL bounds - >= -2526647 @ 89.6538
91.20/91.53	c GLOBAL bounds - >= -2526647 @ 90.0289
91.91/92.29	c INPROCESSING
91.91/92.29	c GARBAGE COLLECT
91.91/92.29	c GLOBAL bounds - >= -2526647 @ 90.7883
92.21/92.58	c GLOBAL bounds - >= -2526647 @ 91.0762
92.81/93.13	c GLOBAL bounds - >= -2526647 @ 91.6245
93.10/93.46	c GLOBAL bounds - >= -2526647 @ 91.9529
94.00/94.35	c GLOBAL bounds - >= -2526647 @ 92.8285
94.40/94.75	c GLOBAL bounds - >= -2526647 @ 93.2301
95.89/96.24	c GLOBAL bounds - >= -2526647 @ 94.7107
104.77/105.12	c #Conflicts:       7000 | #Constraints:       3163
104.77/105.12	c GLOBAL bounds - >= -2526647 @ 103.514
105.96/106.35	c GLOBAL bounds - >= -2526647 @ 104.735
106.06/106.43	c GLOBAL bounds - >= -2526647 @ 104.822
106.16/106.54	c GLOBAL bounds - >= -2526647 @ 104.93
106.36/106.77	c GLOBAL bounds - >= -2526647 @ 105.16
106.67/107.09	c GLOBAL bounds - >= -2526647 @ 105.464
106.86/107.24	c GLOBAL bounds - >= -2526647 @ 105.606
106.96/107.34	c GLOBAL bounds - >= -2526647 @ 105.701
107.06/107.45	c GLOBAL bounds - >= -2526647 @ 105.811
107.15/107.59	c GLOBAL bounds - >= -2526647 @ 105.958
107.45/107.87	c GLOBAL bounds - >= -2526647 @ 106.227
119.12/119.50	c #Conflicts:       8000 | #Constraints:       4185
119.12/119.50	c GLOBAL bounds - >= -2526647 @ 117.762
120.02/120.41	c GLOBAL bounds - >= -2526647 @ 118.639
120.22/120.65	c GLOBAL bounds - >= -2526647 @ 118.873
122.51/122.96	c GLOBAL bounds - >= -2526647 @ 121.175
124.51/124.93	c GLOBAL bounds - >= -2526647 @ 123.127
126.40/126.85	c GLOBAL bounds - >= -2526647 @ 125.041
126.61/127.10	c GLOBAL bounds - >= -2526647 @ 125.286
126.70/127.15	c GLOBAL bounds - >= -2526647 @ 125.331
126.70/127.19	c GLOBAL bounds - >= -2526647 @ 125.371
126.81/127.25	c GLOBAL bounds - >= -2526647 @ 125.432
126.90/127.30	c GLOBAL bounds - >= -2526647 @ 125.472
126.90/127.35	c GLOBAL bounds - >= -2526647 @ 125.514
126.90/127.39	c GLOBAL bounds - >= -2526647 @ 125.558
127.10/127.59	c GLOBAL bounds - >= -2526647 @ 125.756
127.30/127.70	c GLOBAL bounds - >= -2526647 @ 125.853
127.30/127.79	c GLOBAL bounds - >= -2526647 @ 125.944
127.49/127.93	c GLOBAL bounds - >= -2526647 @ 126.072
127.49/127.97	c GLOBAL bounds - >= -2526647 @ 126.113
127.60/128.02	c GLOBAL bounds - >= -2526647 @ 126.152
127.60/128.06	c GLOBAL bounds - >= -2526647 @ 126.192
127.70/128.10	c GLOBAL bounds - >= -2526647 @ 126.23
127.70/128.15	c GLOBAL bounds - >= -2526647 @ 126.272
127.70/128.19	c GLOBAL bounds - >= -2526647 @ 126.314
127.79/128.23	c GLOBAL bounds - >= -2526647 @ 126.353
127.79/128.28	c GLOBAL bounds - >= -2526647 @ 126.395
127.89/128.32	c GLOBAL bounds - >= -2526647 @ 126.434
127.89/128.37	c GLOBAL bounds - >= -2526647 @ 126.475
128.00/128.41	c GLOBAL bounds - >= -2526647 @ 126.518
128.00/128.45	c GLOBAL bounds - >= -2526647 @ 126.559
128.09/128.51	c GLOBAL bounds - >= -2526647 @ 126.611
128.09/128.56	c GLOBAL bounds - >= -2526647 @ 126.657
128.20/128.62	c GLOBAL bounds - >= -2526647 @ 126.71
128.20/128.66	c GLOBAL bounds - >= -2526647 @ 126.751
128.30/128.70	c GLOBAL bounds - >= -2526647 @ 126.788
128.30/128.74	c GLOBAL bounds - >= -2526647 @ 126.827
128.30/128.79	c GLOBAL bounds - >= -2526647 @ 126.864
128.40/128.83	c GLOBAL bounds - >= -2526647 @ 126.904
128.40/128.87	c GLOBAL bounds - >= -2526647 @ 126.941
128.50/128.92	c GLOBAL bounds - >= -2526647 @ 126.992
128.50/128.97	c GLOBAL bounds - >= -2526647 @ 127.036
128.60/129.01	c GLOBAL bounds - >= -2526647 @ 127.074
128.60/129.06	c GLOBAL bounds - >= -2526647 @ 127.117
128.70/129.10	c GLOBAL bounds - >= -2526647 @ 127.156
128.70/129.16	c GLOBAL bounds - >= -2526647 @ 127.206
128.80/129.20	c GLOBAL bounds - >= -2526647 @ 127.246
128.80/129.28	c GLOBAL bounds - >= -2526647 @ 127.325
128.99/129.40	c GLOBAL bounds - >= -2526647 @ 127.436
129.09/129.57	c GLOBAL bounds - >= -2526647 @ 127.61
130.29/130.71	c GLOBAL bounds - >= -2526647 @ 128.746
130.49/130.96	c GLOBAL bounds - >= -2526647 @ 128.994
130.89/131.37	c #Conflicts:       9000 | #Constraints:       5285
130.89/131.37	c GLOBAL bounds - >= -2526647 @ 129.391
130.99/131.42	c GLOBAL bounds - >= -2526647 @ 129.444
131.28/131.72	c GLOBAL bounds - >= -2526647 @ 129.739
132.39/132.84	c GLOBAL bounds - >= -2526647 @ 130.85
133.78/134.28	c GLOBAL bounds - >= -2526647 @ 132.286
133.88/134.33	c GLOBAL bounds - >= -2526647 @ 132.339
134.17/134.65	c GLOBAL bounds - >= -2526647 @ 132.649
134.27/134.73	c GLOBAL bounds - >= -2526647 @ 132.737
134.37/134.82	c GLOBAL bounds - >= -2526647 @ 132.825
134.47/134.93	c GLOBAL bounds - >= -2526647 @ 132.934
135.68/136.18	c INPROCESSING
135.68/136.18	c GARBAGE COLLECT
135.68/136.18	c GLOBAL bounds - >= -2526647 @ 134.177
135.78/136.21	c GLOBAL bounds - >= -2526647 @ 134.203
136.27/136.71	c GLOBAL bounds - >= -2526647 @ 134.702
136.97/137.41	c GLOBAL bounds - >= -2526647 @ 135.396
136.97/137.44	c GLOBAL bounds - >= -2526647 @ 135.425
137.67/138.14	c GLOBAL bounds - >= -2526647 @ 136.126
144.55/145.08	c GLOBAL bounds - >= -2526647 @ 143.018
144.65/145.12	c GLOBAL bounds - >= -2526647 @ 143.056
145.65/146.11	c #Conflicts:      10000 | #Constraints:       4028
145.65/146.11	c GLOBAL bounds - >= -2526647 @ 144.04
146.65/147.17	c GLOBAL bounds - >= -2526647 @ 145.096
146.74/147.23	c GLOBAL bounds - >= -2526647 @ 145.159
146.74/147.28	c GLOBAL bounds - >= -2526647 @ 145.211
147.04/147.54	c GLOBAL bounds - >= -2526647 @ 145.469
148.23/148.78	c GLOBAL bounds - >= -2526647 @ 146.702
148.74/149.27	c GLOBAL bounds - >= -2526647 @ 147.187
158.61/159.12	c GLOBAL bounds - >= -2526647 @ 156.978
160.00/160.51	c GLOBAL bounds - >= -2526647 @ 158.364
160.30/160.87	c GLOBAL bounds - >= -2526647 @ 158.722
162.09/162.63	c GLOBAL bounds - >= -2526647 @ 160.472
162.99/163.50	c GLOBAL bounds - >= -2526647 @ 161.337
164.28/164.84	c #Conflicts:      11000 | #Constraints:       5052
164.28/164.84	c GLOBAL bounds - >= -2526647 @ 162.673
165.09/165.67	c GLOBAL bounds - >= -2526647 @ 163.499
184.22/184.83	c GLOBAL bounds - >= -2526647 @ 182.521
185.42/186.06	c GLOBAL bounds - >= -2526647 @ 183.746
186.22/186.89	c GLOBAL bounds - >= -2526647 @ 184.576
187.12/187.74	c GLOBAL bounds - >= -2526647 @ 185.416
187.52/188.18	c GLOBAL bounds - >= -2526647 @ 185.85
194.40/195.06	c #Conflicts:      12000 | #Constraints:       6066
194.40/195.06	c INPROCESSING
194.40/195.06	c GARBAGE COLLECT
194.40/195.06	c GLOBAL bounds - >= -2526647 @ 192.695
194.90/195.54	c GLOBAL bounds - >= -2526647 @ 193.169
194.90/195.58	c GLOBAL bounds - >= -2526647 @ 193.213
194.99/195.62	c GLOBAL bounds - >= -2526647 @ 193.251
194.99/195.66	c GLOBAL bounds - >= -2526647 @ 193.295
195.09/195.70	c GLOBAL bounds - >= -2526647 @ 193.33
195.09/195.74	c GLOBAL bounds - >= -2526647 @ 193.372
195.09/195.78	c GLOBAL bounds - >= -2526647 @ 193.406
195.20/195.82	c GLOBAL bounds - >= -2526647 @ 193.447
195.20/195.86	c GLOBAL bounds - >= -2526647 @ 193.486
195.29/195.93	c GLOBAL bounds - >= -2526647 @ 193.552
195.29/195.98	c GLOBAL bounds - >= -2526647 @ 193.597
195.39/196.04	c GLOBAL bounds - >= -2526647 @ 193.659
195.39/196.08	c GLOBAL bounds - >= -2526647 @ 193.699
195.49/196.12	c GLOBAL bounds - >= -2526647 @ 193.733
195.49/196.15	c GLOBAL bounds - >= -2526647 @ 193.765
195.59/196.20	c GLOBAL bounds - >= -2526647 @ 193.808
195.59/196.23	c GLOBAL bounds - >= -2526647 @ 193.838
195.79/196.41	c GLOBAL bounds - >= -2526647 @ 194.016
195.89/196.56	c GLOBAL bounds - >= -2526647 @ 194.168
196.09/196.75	c GLOBAL bounds - >= -2526647 @ 194.351
196.88/197.56	c GLOBAL bounds - >= -2526647 @ 195.158
197.19/197.84	c GLOBAL bounds - >= -2526647 @ 195.44
197.49/198.14	c GLOBAL bounds - >= -2526647 @ 195.74
198.68/199.32	c GLOBAL bounds - >= -2526647 @ 196.915
198.98/199.62	c GLOBAL bounds - >= -2526647 @ 197.215
199.18/199.88	c GLOBAL bounds - >= -2526647 @ 197.472
199.98/200.65	c GLOBAL bounds - >= -2526647 @ 198.24
200.97/201.67	c GLOBAL bounds - >= -2526647 @ 199.248
201.67/202.38	c GLOBAL bounds - >= -2526647 @ 199.956
202.97/203.69	c GLOBAL bounds - >= -2526647 @ 201.264
204.66/205.38	c GLOBAL bounds - >= -2526647 @ 202.945
204.86/205.56	c GLOBAL bounds - >= -2526647 @ 203.124
205.06/205.74	c GLOBAL bounds - >= -2526647 @ 203.296
205.96/206.68	c GLOBAL bounds - >= -2526647 @ 204.236
206.16/206.89	c GLOBAL bounds - >= -2526647 @ 204.449
206.36/207.09	c GLOBAL bounds - >= -2526647 @ 204.647
207.65/208.39	c GLOBAL bounds - >= -2526647 @ 205.937
208.55/209.27	c GLOBAL bounds - >= -2526647 @ 206.818
211.35/212.07	c GLOBAL bounds - >= -2526647 @ 209.607
211.45/212.12	c GLOBAL bounds - >= -2526647 @ 209.655
213.13/213.82	c GLOBAL bounds - >= -2526647 @ 211.338
213.34/214.07	c GLOBAL bounds - >= -2526647 @ 211.588
213.74/214.48	c GLOBAL bounds - >= -2526647 @ 212.001
214.24/214.94	c GLOBAL bounds - >= -2526647 @ 212.461
214.54/215.25	c #Conflicts:      13000 | #Constraints:       4608
214.54/215.25	c GLOBAL bounds - >= -2526647 @ 212.768
214.84/215.55	c GLOBAL bounds - >= -2526647 @ 213.067
215.13/215.86	c GLOBAL bounds - >= -2526647 @ 213.374
216.13/216.85	c GLOBAL bounds - >= -2526647 @ 214.36
216.13/216.89	c GLOBAL bounds - >= -2526647 @ 214.396
216.23/216.94	c GLOBAL bounds - >= -2526647 @ 214.451
216.33/217.06	c GLOBAL bounds - >= -2526647 @ 214.564
218.12/218.87	c GLOBAL bounds - >= -2526647 @ 216.373
219.32/220.02	c GLOBAL bounds - >= -2526647 @ 217.512
220.52/221.29	c GLOBAL bounds - >= -2526647 @ 218.775
220.81/221.54	c GLOBAL bounds - >= -2526647 @ 219.023
220.81/221.58	c GLOBAL bounds - >= -2526647 @ 219.064
221.42/222.12	c GLOBAL bounds - >= -2526647 @ 219.601
222.41/223.18	c GLOBAL bounds - >= -2526647 @ 220.659
223.00/223.77	c GLOBAL bounds - >= -2526647 @ 221.246
223.10/223.81	c GLOBAL bounds - >= -2526647 @ 221.283
223.10/223.88	c GLOBAL bounds - >= -2526647 @ 221.348
223.20/223.92	c GLOBAL bounds - >= -2526647 @ 221.39
223.20/223.96	c GLOBAL bounds - >= -2526647 @ 221.427
223.31/224.06	c GLOBAL bounds - >= -2526647 @ 221.531
223.41/224.12	c GLOBAL bounds - >= -2526647 @ 221.591
224.20/224.95	c GLOBAL bounds - >= -2526647 @ 222.406
224.20/225.00	c GLOBAL bounds - >= -2526647 @ 222.455
224.31/225.05	c GLOBAL bounds - >= -2526647 @ 222.503
224.41/225.13	c GLOBAL bounds - >= -2526647 @ 222.583
224.50/225.21	c GLOBAL bounds - >= -2526647 @ 222.661
225.00/225.77	c GLOBAL bounds - >= -2526647 @ 223.211
225.19/225.94	c GLOBAL bounds - >= -2526647 @ 223.386
225.80/226.53	c GLOBAL bounds - >= -2526647 @ 223.972
226.60/227.32	c GLOBAL bounds - >= -2526647 @ 224.762
227.10/227.86	c GLOBAL bounds - >= -2526647 @ 225.294
227.79/228.53	c GLOBAL bounds - >= -2526647 @ 225.955
228.19/229.00	c GLOBAL bounds - >= -2526647 @ 226.427
229.19/229.98	c GLOBAL bounds - >= -2526647 @ 227.403
229.78/230.56	c GLOBAL bounds - >= -2526647 @ 227.985
230.18/230.92	c GLOBAL bounds - >= -2526647 @ 228.342
230.48/231.28	c GLOBAL bounds - >= -2526647 @ 228.696
230.88/231.66	c GLOBAL bounds - >= -2526647 @ 229.074
231.18/231.93	c GLOBAL bounds - >= -2526647 @ 229.346
231.88/232.61	c GLOBAL bounds - >= -2526647 @ 230.023
231.98/232.76	c GLOBAL bounds - >= -2526647 @ 230.166
232.18/232.96	c GLOBAL bounds - >= -2526647 @ 230.373
232.28/233.09	c GLOBAL bounds - >= -2526647 @ 230.495
232.58/233.39	c GLOBAL bounds - >= -2526647 @ 230.797
232.87/233.64	c GLOBAL bounds - >= -2526647 @ 231.039
233.07/233.81	c GLOBAL bounds - >= -2526647 @ 231.213
233.27/234.02	c GLOBAL bounds - >= -2526647 @ 231.415
233.47/234.21	c GLOBAL bounds - >= -2526647 @ 231.604
233.77/234.51	c GLOBAL bounds - >= -2526647 @ 231.906
233.87/234.67	c GLOBAL bounds - >= -2526647 @ 232.062
234.07/234.81	c GLOBAL bounds - >= -2526647 @ 232.208
234.17/234.94	c GLOBAL bounds - >= -2526647 @ 232.336
234.37/235.11	c GLOBAL bounds - >= -2526647 @ 232.508
234.46/235.20	c GLOBAL bounds - >= -2526647 @ 232.59
234.56/235.30	c GLOBAL bounds - >= -2526647 @ 232.69
234.67/235.43	c GLOBAL bounds - >= -2526647 @ 232.817
234.67/235.47	c GLOBAL bounds - >= -2526647 @ 232.857
234.77/235.52	c GLOBAL bounds - >= -2526647 @ 232.907
234.77/235.55	c GLOBAL bounds - >= -2526647 @ 232.944
234.77/235.59	c GLOBAL bounds - >= -48768 @ 232.981
234.87/235.60	c rational objective -48768
234.87/235.61	c Inconsistent constraint found
234.87/235.61	c cpu time 232.996 s
234.87/235.61	c deterministic time 21348 2.13e+04
234.87/235.61	c optimization time 232.985 s
234.87/235.61	c total solve time 0.006856 s
234.87/235.61	c core-guided solve time 0 s
234.87/235.61	c propagation time 0.00095 s
234.87/235.61	c conflict analysis time 0 s
234.87/235.61	c propagations 4951
234.87/235.61	c resolve steps 0
234.87/235.61	c decisions 625
234.87/235.61	c conflicts 0
234.87/235.61	c restarts 1
234.87/235.61	c inprocessing phases 0
234.87/235.61	c garbage collections 0 ,( -nan )
234.87/235.61	c input clauses 0 ,( 0.00 )
234.87/235.61	c input cardinalities 2 ,( 100.00 )
234.87/235.61	c input general constraints 0 ,( 0.00 )
234.87/235.61	c input average constraint length 5000.00
234.87/235.61	c input average constraint degree 4951.00
234.87/235.61	c learned clauses 0 ,( 0.00 )
234.87/235.61	c learned cardinalities 0 ,( 0.00 )
234.87/235.61	c learned general constraints 0 ,( 0.00 )
234.87/235.61	c learned average constraint length 0.00
234.87/235.61	c learned average constraint degree 0.00
234.87/235.61	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
234.87/235.61	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
234.87/235.61	c watched   constraints 0 ,( -nan ) 
234.87/235.61	c counting  constraints 0 ,( -nan ) 
234.87/235.61	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 98 , 0 ,( 0 , 0 )
234.87/235.61	c gcd simplifications 0
234.87/235.61	c detected cardinalities 1
234.87/235.61	c weakened non-implied lits 0
234.87/235.61	c weakened non-implying lits 0
234.87/235.61	c original variables 5000
234.87/235.61	c clausal propagations 0
234.87/235.61	c cardinality propagations 4951
234.87/235.61	c watched propagations 0
234.87/235.61	c counting propagations 0
234.87/235.61	c watch lookups 98
234.87/235.61	c watch backjump lookups 0
234.87/235.61	c watch checks 192
234.87/235.61	c propagation checks 9904
234.87/235.61	c constraint additions 0
234.87/235.61	c trail pops 5576
234.87/235.61	c formula constraints 1
234.87/235.61	c learned constraints 0
234.87/235.61	c bound constraints 0
234.87/235.61	c core-guided constraints 0
234.87/235.61	c encountered formula constraints 0
234.87/235.61	c encountered learned constraints 0
234.87/235.61	c encountered bound constraints 0
234.87/235.61	c encountered core-guided constraints 0
234.87/235.61	c LP total time 0.005553 s
234.87/235.61	c LP solve time 0 s
234.87/235.61	c LP constraints added 1
234.87/235.61	c LP constraints removed 0
234.87/235.61	c LP pivots internal 0
234.87/235.61	c LP pivots root 1
234.87/235.61	c LP calls 2
234.87/235.61	c LP optimalities 2
234.87/235.61	c LP no pivot count 1
234.87/235.61	c LP infeasibilities 0
234.87/235.61	c LP valid Farkas constraints 0
234.87/235.61	c LP learned Farkas constraints 0
234.87/235.61	c LP basis resets 0
234.87/235.61	c LP cycling count 0
234.87/235.61	c LP singular count 0
234.87/235.61	c LP no primal count 0
234.87/235.61	c LP no farkas count 0
234.87/235.61	c LP other issue count 0
234.87/235.61	c LP Gomory cuts 0
234.87/235.61	c LP learned cuts 0
234.87/235.61	c LP deleted cuts 0
234.87/235.61	c LP encountered Gomory constraints 0
234.87/235.61	c LP encountered Farkas constraints 0
234.87/235.61	c LP encountered learned Farkas constraints 0
234.87/235.61	c CG auxiliary variables introduced 576
234.87/235.61	c CG solutions found 1
234.87/235.61	c CG cores constructed 0
234.87/235.61	c CG core cardinality constraints returned 0
234.87/235.61	c CG unit cores 0
234.87/235.61	c CG single cores 0
234.87/235.61	c CG blocks removed during cardinality reduction 0
234.87/235.61	c CG first core best 0
234.87/235.61	c CG decision core best 0
234.87/235.61	c CG core reduction tie 0
234.87/235.61	c CG core degree average 0.00
234.87/235.61	c CG core slack average 0.00
234.87/235.61	c CG core upper bound improvements 0
234.87/235.61	c STR number of successful calls 0
234.87/235.61	c STR number of unsuccessful calls 0
234.87/235.61	c STR number of inconclusive calls 0
234.87/235.61	c STR number of successful attempts 0
234.87/235.61	c STR number of unsuccessful attempts 0
234.87/235.61	c STR number of inconclusive attempts 0
234.87/235.61	c STR average degree increase per successful call inf
234.87/235.61	c STR average degree increase per successful attempt inf
234.87/235.61	c STR total number of conflicts for successful attempts 0
234.87/235.61	c STR total number of conflicts for unsuccessful attempts 0
234.87/235.61	c STR total number of conflicts for inconclusive attempts 0
234.87/235.61	c STR average number of conflicts per successful attempt inf
234.87/235.61	c STR average number of conflicts per unsuccessful attempt inf
234.87/235.61	c STR average number of conflicts per inconclusive attempt inf
234.87/235.61	c AVG.sumWPerc -nan 
234.87/235.61	c bigint constraints 0 
234.87/235.61	o -48768
234.87/235.61	s OPTIMUM FOUND
234.87/235.61	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 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000

Verifier Data 

OK	-48768

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: 63708 MiB (50227 MiB free)
  memory of node 1: 64465 MiB (61034 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77579, runsolver pid=77570
Current StackSize limit: 8192 KiB


[startup+0.100014 s]*
/proc/loadavg: 0.25 1.25 2.42 6/268 77594
/proc/meminfo: memFree=113908044/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=63388 memory=16128 CPUtime=0.07 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 1537 0 0 0 3 4 0 0 20 0 1 0 70066476 64909312 4032 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 15847 4032 2368 1147 0 3274 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67580 KiB
Current children cumulated memory: 19072 KiB

[startup+0.20594 s]*
/proc/loadavg: 0.25 1.25 2.42 6/268 77594
/proc/meminfo: memFree=113901996/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=63532 memory=16256 CPUtime=0.17 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 1590 0 0 0 8 9 0 0 20 0 1 0 70066476 65056768 4064 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 15883 4064 2368 1147 0 3310 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67724 KiB
Current children cumulated memory: 19200 KiB

[startup+0.305263 s]*
/proc/loadavg: 0.25 1.25 2.42 6/268 77594
/proc/meminfo: memFree=113890152/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=63932 memory=16640 CPUtime=0.27 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 1673 0 0 0 12 15 0 0 20 0 1 0 70066476 65466368 4160 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 15983 4160 2368 1147 0 3410 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 68124 KiB
Current children cumulated memory: 19584 KiB

[startup+0.700154 s]
/proc/loadavg: 0.55 1.29 2.43 6/268 77594
/proc/meminfo: memFree=113886120/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=70424 memory=24320 CPUtime=0.67 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 3598 0 0 0 44 23 0 0 20 0 1 0 70066476 72114176 6080 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 17606 6080 2368 1147 0 5033 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 74616 KiB
Current children cumulated memory: 27264 KiB

[startup+1.50017 s]
/proc/loadavg: 0.55 1.29 2.43 6/268 77594
/proc/meminfo: memFree=113865192/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=88676 memory=39392 CPUtime=1.46 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 6335 0 0 0 119 27 0 0 20 0 1 0 70066476 90804224 9848 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 22169 9848 2368 1147 0 9596 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 92868 KiB
Current children cumulated memory: 42336 KiB

[startup+3.10584 s]
/proc/loadavg: 0.55 1.29 2.43 6/268 77594
/proc/meminfo: memFree=113729532/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=112168 memory=56396 CPUtime=3.06 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 10087 0 0 0 266 40 0 0 20 0 1 0 70066476 114860032 14099 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 28042 14099 2368 1147 0 15469 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 116360 KiB
Current children cumulated memory: 59340 KiB

[startup+6.30016 s]
/proc/loadavg: 0.83 1.34 2.44 6/268 77594
/proc/meminfo: memFree=113657780/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=142384 memory=94700 CPUtime=6.24 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 17617 0 0 0 578 46 0 0 20 0 1 0 70066476 145801216 23675 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 35596 23675 2368 1147 0 23023 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 146576 KiB
Current children cumulated memory: 97644 KiB

[startup+12.7002 s]
/proc/loadavg: 1.16 1.40 2.45 6/268 77594
/proc/meminfo: memFree=113517512/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=182780 memory=127092 CPUtime=12.63 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 23165 0 0 0 1197 66 0 0 20 0 1 0 70066476 187166720 31773 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 45695 31773 2368 1147 0 33122 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 186972 KiB
Current children cumulated memory: 130036 KiB

[startup+25.5002 s]
/proc/loadavg: 1.60 1.49 2.47 6/269 77596
/proc/meminfo: memFree=113178632/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=298540 memory=226468 CPUtime=25.39 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 41887 0 0 0 2449 90 0 0 20 0 1 0 70066476 305704960 56617 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 74635 56617 2368 1147 0 62062 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 302732 KiB
Current children cumulated memory: 229412 KiB

[startup+51.106 s]
/proc/loadavg: 2.55 1.73 2.52 6/269 77596
/proc/meminfo: memFree=112699504/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=396472 memory=314064 CPUtime=50.93 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 61745 0 0 0 4988 105 0 0 20 0 1 0 70066476 405987328 78516 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 99118 78516 2368 1147 0 86545 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 400664 KiB
Current children cumulated memory: 317008 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.09 2.60 6/269 77599
/proc/meminfo: memFree=112358592/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=488888 memory=385868 CPUtime=101.97 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 74524 0 0 0 10071 126 0 0 20 0 1 0 70066476 500621312 96467 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 122222 96467 2368 1147 0 109649 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 493080 KiB
Current children cumulated memory: 388812 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.46 2.70 6/270 77606
/proc/meminfo: memFree=112073384/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=529688 memory=415516 CPUtime=161.79 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 80772 0 0 0 16013 166 0 0 20 0 1 0 70066476 542400512 103879 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 132422 103879 2368 1147 0 119849 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 533880 KiB
Current children cumulated memory: 418460 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.76 2.79 6/270 77619
/proc/meminfo: memFree=111643048/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=640200 memory=538276 CPUtime=221.61 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 103545 0 0 0 21977 184 0 0 20 0 1 0 70066476 655564800 134569 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 160050 134569 2368 1147 0 147477 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 644392 KiB
Current children cumulated memory: 541220 KiB

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

# cumulated CPU time of all completed processes:  user=232.999 s, system=1.90975 s

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

[startup+224 s]*
/proc/loadavg: 3.98 2.76 2.79 6/270 77619
/proc/meminfo: memFree=111632384/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=642696 memory=540708 CPUtime=223.31 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 104045 0 0 0 22147 184 0 0 20 0 1 0 70066476 658120704 135177 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 160674 135177 2368 1147 0 148101 0
Current children cumulated CPU time: 223.31 s
Current children cumulated vsize: 646888 KiB
Current children cumulated memory: 543652 KiB

[startup+230.4 s]
/proc/loadavg: 4.06 2.79 2.80 6/270 77619
/proc/meminfo: memFree=111617400/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=731572 memory=555528 CPUtime=229.68 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 106730 0 0 0 22781 187 0 0 20 0 1 0 70066476 749129728 138882 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 182893 138882 2368 1147 0 170320 0
Current children cumulated CPU time: 229.68 s
Current children cumulated vsize: 735764 KiB
Current children cumulated memory: 558472 KiB

[startup+233.601 s]
/proc/loadavg: 4.06 2.81 2.81 6/270 77619
/proc/meminfo: memFree=111609320/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=735224 memory=564240 CPUtime=232.87 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 107733 0 0 0 23099 188 0 0 20 0 1 0 70066476 752869376 141060 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 183806 141060 2368 1147 0 171233 0
Current children cumulated CPU time: 232.87 s
Current children cumulated vsize: 739416 KiB
Current children cumulated memory: 567184 KiB

[startup+234.4 s]
/proc/loadavg: 4.06 2.81 2.81 6/270 77619
/proc/meminfo: memFree=111609288/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=735608 memory=566944 CPUtime=233.67 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 107912 0 0 0 23179 188 0 0 20 0 1 0 70066476 753262592 141736 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 183902 141736 2368 1147 0 171329 0
Current children cumulated CPU time: 233.67 s
Current children cumulated vsize: 739800 KiB
Current children cumulated memory: 569888 KiB

[startup+235.2 s]
/proc/loadavg: 4.06 2.81 2.81 6/270 77619
/proc/meminfo: memFree=111609392/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=736568 memory=568352 CPUtime=234.46 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 108259 0 0 0 23258 188 0 0 20 0 1 0 70066476 754245632 142088 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 184142 142088 2368 1147 0 171569 0
Current children cumulated CPU time: 234.46 s
Current children cumulated vsize: 740760 KiB
Current children cumulated memory: 571296 KiB

[startup+235.6 s]
/proc/loadavg: 4.06 2.81 2.81 6/270 77619
/proc/meminfo: memFree=111609392/131249996 swapFree=33004236/33010684
[pid=77579] ppid=77570 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77579/stat : 77579 (run-opt.sh) S 77570 77579 77498 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 70066474 4292608 736 18446744073709551615 94231395303424 94231396197957 140726178606368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94231396437008 94231396484752 94231408353280 140726178609517 140726178609640 140726178609640 140726178615242 0
/proc/77579/statm: 1048 736 672 219 0 110 0
[pid=77582] ppid=77579 vsize=737836 memory=571476 CPUtime=234.87 cores=0,2
/proc/77582/stat : 77582 (roundingsat) R 77579 77579 77498 0 -1 4194304 108615 0 0 0 23298 189 0 0 20 0 1 0 70066476 755544064 142869 18446744073709551615 4227072 8923433 140730518074016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16113664 140730518075810 140730518075944 140730518075944 140730518081514 0
/proc/77582/statm: 184459 142869 2368 1147 0 171886 0
Current children cumulated CPU time: 234.87 s
Current children cumulated vsize: 742028 KiB
Current children cumulated memory: 574420 KiB

Child status: 0

Real time (s): 235.629
CPU time (s): 234.908
CPU user time (s): 232.999
CPU system time (s): 1.90975
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 742028
Max. memory (cumulated for all children) (KiB): 574420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.999
system time used= 1.90975
maximum resident set size= 572116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108964
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= 229
involuntary context switches= 546


# summary of solver processes directly reported to runsolver:
#   pid: 77579
#   total CPU time (s): 234.908
#   total CPU user time (s): 232.999
#   total CPU system time (s): 1.90975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.494969 second user time and 1.19018 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-03 13:58:06
IDJOB=4518088
IDBENCH=176345
IDSOLVER=3350
FILE ID=nodeC023/4518088-1751543886
RUNJOBID= nodeC023-1751543886-77531
SLURM_JOB_ID= 9598710
Free space on /tmp= 431872 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/normalized-knapPI_9_5000_1000_1_-48768.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518088-1751543886/watcher-4518088-1751543886 -o /tmp/evaluation-result-4518088-1751543886/solver-4518088-1751543886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77531 --watchdog 3760  run-opt.sh HOME/instance-4518088-1751543886.opb

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

MD5SUM BENCH= 6df3ef663e01b06123bb3451687b2522
RANDOM SEED=289542404

nodeC023 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	: 0xb00002a
cpu MHz		: 3599.908
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2653.024
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.824
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2441.865
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.008
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2463.770
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.871
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2366.206
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113925888 kB
MemAvailable:   129672612 kB
Buffers:              16 kB
Cached:         16490912 kB
SwapCached:          592 kB
Active:           284716 kB
Inactive:       16285832 kB
Active(anon):      72572 kB
Inactive(anon):    20452 kB
Active(file):     212144 kB
Inactive(file): 16265380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14296 kB
Writeback:             0 kB
AnonPages:         82044 kB
Mapped:            99088 kB
Shmem:             13404 kB
KReclaimable:     216876 kB
Slab:             307840 kB
SReclaimable:     216876 kB
SUnreclaim:        90964 kB
KernelStack:        4048 kB
PageTables:         2840 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431840 MiB
End job on nodeC023 at 2025-07-03 14:02:02