Trace number 4505814

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 63f22ad? (TO) 3600.55 3610.18

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
MD5SUM66a4099c9f952e1d32ed00e151115e68
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-17500
Best CPU time to get the best result obtained on this benchmark420.688
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 170372
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 85145317
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 500
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 85145317
Number of bits of the biggest sum of numbers27
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
2.25/2.33	c #variables 399113 #constraints 400980
2.25/2.33	c objective is ce32 
2.36/2.47	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.36/2.47	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.36/2.47	c GLOBAL bounds - >= -85145317 @ 1.95124
2.76/2.86	c GLOBAL bounds - >= -85145317 @ 2.12295
3.15/3.26	c GLOBAL bounds - >= -85145317 @ 2.28132
3.55/3.65	c GLOBAL bounds - >= -85145317 @ 2.43752
3.95/4.10	c GLOBAL bounds - >= -85145317 @ 2.64779
4.45/4.54	c GLOBAL bounds - >= -85145317 @ 2.8509
4.85/4.93	c GLOBAL bounds - >= -85145317 @ 3.01304
5.25/5.32	c GLOBAL bounds - >= -85145317 @ 3.17945
5.65/5.76	c GLOBAL bounds - >= -85145317 @ 3.37239
6.15/6.20	c GLOBAL bounds - >= -85145317 @ 3.56564
6.45/6.59	c GLOBAL bounds - >= -85145317 @ 3.725
6.85/7.00	c GLOBAL bounds - >= -85145317 @ 3.88152
7.35/7.46	c GLOBAL bounds - >= -85145317 @ 4.09988
7.85/7.91	c GLOBAL bounds - >= -85145317 @ 4.31064
8.24/8.32	c GLOBAL bounds - >= -85145317 @ 4.45939
8.64/8.73	c GLOBAL bounds - >= -85145317 @ 4.618
9.05/9.19	c GLOBAL bounds - >= -85145317 @ 4.81877
9.54/9.65	c GLOBAL bounds - >= -85145317 @ 5.04137
9.95/10.06	c GLOBAL bounds - >= -85145317 @ 5.20676
10.34/10.47	c GLOBAL bounds - >= -85145317 @ 5.37115
10.84/10.93	c GLOBAL bounds - >= -85145317 @ 5.58049
11.24/11.39	c GLOBAL bounds - >= -85145317 @ 5.8008
11.74/11.80	c GLOBAL bounds - >= -85145317 @ 5.97044
12.13/12.27	c GLOBAL bounds - >= -85145317 @ 6.18518
12.64/12.73	c GLOBAL bounds - >= -85145317 @ 6.38452
13.03/13.14	c GLOBAL bounds - >= -85145317 @ 6.55406
13.54/13.61	c GLOBAL bounds - >= -85145317 @ 6.79806
13.94/14.08	c GLOBAL bounds - >= -85145317 @ 7.01152
14.43/14.55	c GLOBAL bounds - >= -85145317 @ 7.23868
14.83/14.96	c GLOBAL bounds - >= -85145317 @ 7.39868
15.33/15.43	c GLOBAL bounds - >= -85145317 @ 7.63289
15.83/15.90	c GLOBAL bounds - >= -85145317 @ 7.85185
16.22/16.37	c GLOBAL bounds - >= -85145317 @ 8.05453
16.62/16.79	c GLOBAL bounds - >= -85145317 @ 8.2222
17.12/17.26	c GLOBAL bounds - >= -85145317 @ 8.42944
17.62/17.73	c GLOBAL bounds - >= -85145317 @ 8.64799
18.12/18.20	c GLOBAL bounds - >= -85145317 @ 8.87263
18.52/18.62	c GLOBAL bounds - >= -85145317 @ 9.04723
63.30/63.53	c GLOBAL bounds - >= -18000 @ 33.6469
449.67/450.98	c GLOBAL bounds - >= -18000 @ 419.883
449.67/450.99	c GLOBAL bounds - >= -18000 @ 419.885
450.07/451.39	c GLOBAL bounds - >= -18000 @ 420.047
450.07/451.39	c GLOBAL bounds - >= -18000 @ 420.054
450.46/451.79	c GLOBAL bounds - >= -18000 @ 420.207
450.56/451.80	c GLOBAL bounds - >= -18000 @ 420.21
450.97/452.20	c GLOBAL bounds - >= -18000 @ 420.353
450.97/452.20	c GLOBAL bounds - >= -18000 @ 420.356
451.36/452.60	c GLOBAL bounds - >= -18000 @ 420.495
451.36/452.60	c GLOBAL bounds - >= -18000 @ 420.498
451.66/453.00	c GLOBAL bounds - >= -18000 @ 420.646
451.76/453.00	c GLOBAL bounds - >= -18000 @ 420.65
452.16/453.40	c GLOBAL bounds - >= -18000 @ 420.787
452.16/453.41	c GLOBAL bounds - >= -18000 @ 420.79
452.56/453.81	c GLOBAL bounds - >= -18000 @ 420.935
452.56/453.81	c GLOBAL bounds - >= -18000 @ 420.938
452.96/454.21	c GLOBAL bounds - >= -18000 @ 421.106
452.96/454.21	c GLOBAL bounds - >= -18000 @ 421.109
453.36/454.61	c GLOBAL bounds - >= -18000 @ 421.264
453.65/454.94	c GLOBAL bounds - >= -18000 @ 421.39
454.06/455.35	c GLOBAL bounds - >= -18000 @ 421.535
454.45/455.75	c GLOBAL bounds - >= -18000 @ 421.696
454.85/456.17	c GLOBAL bounds - >= -18000 @ 421.861
455.55/456.84	c GLOBAL bounds - >= -18000 @ 422.268
456.05/457.33	c GLOBAL bounds - >= -18000 @ 422.518
456.45/457.75	c GLOBAL bounds - >= -18000 @ 422.694
456.85/458.17	c GLOBAL bounds - >= -18000 @ 422.865
457.35/458.65	c GLOBAL bounds - >= -18000 @ 423.075
457.75/459.08	c GLOBAL bounds - >= -18000 @ 423.259
458.25/459.55	c GLOBAL bounds - >= -18000 @ 423.489
458.75/460.04	c GLOBAL bounds - >= -18000 @ 423.735
459.24/460.53	c GLOBAL bounds - >= -18000 @ 423.979
459.94/461.22	c GLOBAL bounds - >= -18000 @ 424.308
459.94/461.23	c GLOBAL bounds - >= -18000 @ 424.309
459.94/461.26	c GLOBAL bounds - >= -18000 @ 424.333
460.34/461.66	c GLOBAL bounds - >= -18000 @ 424.487
460.34/461.67	c GLOBAL bounds - >= -18000 @ 424.5
460.75/462.07	c GLOBAL bounds - >= -18000 @ 424.665
460.84/462.15	c GLOBAL bounds - >= -18000 @ 424.699
461.24/462.56	c GLOBAL bounds - >= -18000 @ 424.858
461.24/462.56	c GLOBAL bounds - >= -18000 @ 424.865
461.63/462.97	c GLOBAL bounds - >= -18000 @ 425.025
461.63/462.98	c GLOBAL bounds - >= -18000 @ 425.035
462.04/463.38	c GLOBAL bounds - >= -18000 @ 425.191
462.04/463.39	c GLOBAL bounds - >= -18000 @ 425.199
462.53/463.80	c GLOBAL bounds - >= -18000 @ 425.361
462.53/463.80	c GLOBAL bounds - >= -18000 @ 425.367
462.93/464.21	c GLOBAL bounds - >= -18000 @ 425.513
462.93/464.25	c GLOBAL bounds - >= -18000 @ 425.547
463.33/464.66	c GLOBAL bounds - >= -18000 @ 425.722
463.33/464.69	c GLOBAL bounds - >= -18000 @ 425.755
463.74/465.10	c GLOBAL bounds - >= -18000 @ 425.909
463.84/465.13	c GLOBAL bounds - >= -18000 @ 425.943
464.23/465.54	c GLOBAL bounds - >= -18000 @ 426.092
464.83/466.11	c GLOBAL bounds - >= -18000 @ 426.412
465.33/466.61	c GLOBAL bounds - >= -18000 @ 426.668
465.83/467.10	c GLOBAL bounds - >= -18000 @ 426.914
466.23/467.52	c GLOBAL bounds - >= -18000 @ 427.086
466.63/468.00	c GLOBAL bounds - >= -18000 @ 427.321
467.12/468.41	c GLOBAL bounds - >= -18000 @ 427.497
467.52/468.89	c GLOBAL bounds - >= -18000 @ 427.727
468.12/469.43	c GLOBAL bounds - >= -18000 @ 428.005
468.62/469.91	c GLOBAL bounds - >= -18000 @ 428.212
469.01/470.39	c GLOBAL bounds - >= -18000 @ 428.443
469.52/470.81	c GLOBAL bounds - >= -18000 @ 428.615
469.91/471.29	c GLOBAL bounds - >= -18000 @ 428.836
470.42/471.77	c GLOBAL bounds - >= -18000 @ 429.075
470.82/472.19	c GLOBAL bounds - >= -18000 @ 429.265
471.31/472.60	c GLOBAL bounds - >= -18000 @ 429.432
471.72/473.08	c GLOBAL bounds - >= -18000 @ 429.658
472.21/473.57	c GLOBAL bounds - >= -18000 @ 429.903
472.71/474.06	c GLOBAL bounds - >= -18000 @ 430.137
473.11/474.47	c GLOBAL bounds - >= -18000 @ 430.322
473.61/474.95	c GLOBAL bounds - >= -18000 @ 430.555
473.61/474.95	c GLOBAL bounds - >= -18000 @ 430.557
474.01/475.30	c GLOBAL bounds - >= -18000 @ 430.903
474.30/475.61	c GLOBAL bounds - >= -18000 @ 431.214
484.28/485.68	c GLOBAL bounds - >= -18000 @ 441.239
501.02/502.40	c GLOBAL bounds - >= -18000 @ 457.763
503.22/504.69	c GLOBAL bounds - >= -18000 @ 460.044
507.01/508.43	c GLOBAL bounds - >= -18000 @ 463.699
517.48/518.90	c GLOBAL bounds - >= -18000 @ 474.068
519.67/521.15	c GLOBAL bounds - >= -18000 @ 476.17
519.67/521.16	c GLOBAL bounds - >= -18000 @ 476.177
519.67/521.17	c GLOBAL bounds - >= -18000 @ 476.184
519.67/521.17	c GLOBAL bounds - >= -18000 @ 476.19
519.67/521.18	c GLOBAL bounds - >= -18000 @ 476.197
519.67/521.19	c GLOBAL bounds - >= -18000 @ 476.205
519.67/521.20	c GLOBAL bounds - >= -18000 @ 476.213
519.77/521.20	c GLOBAL bounds - >= -18000 @ 476.221
519.77/521.21	c GLOBAL bounds - >= -18000 @ 476.228
519.77/521.22	c GLOBAL bounds - >= -18000 @ 476.236
519.77/521.23	c GLOBAL bounds - >= -18000 @ 476.244
519.77/521.23	c GLOBAL bounds - >= -18000 @ 476.252
519.77/521.24	c GLOBAL bounds - >= -18000 @ 476.261
519.77/521.25	c GLOBAL bounds - >= -18000 @ 476.269
519.77/521.26	c GLOBAL bounds - >= -18000 @ 476.277
520.17/521.66	c GLOBAL bounds - >= -18000 @ 476.422
520.58/522.09	c GLOBAL bounds - >= -18000 @ 476.854
521.07/522.50	c GLOBAL bounds - >= -18000 @ 476.994
521.17/522.61	c GLOBAL bounds - >= -18000 @ 477.111
521.57/523.02	c GLOBAL bounds - >= -18000 @ 477.252
521.87/523.39	c GLOBAL bounds - >= -18000 @ 477.624
522.26/523.79	c GLOBAL bounds - >= -18000 @ 477.768
524.86/526.38	c GLOBAL bounds - >= -18000 @ 480.346
525.26/526.78	c GLOBAL bounds - >= -18000 @ 480.492
525.96/527.40	c GLOBAL bounds - >= -18000 @ 481.106
526.35/527.80	c GLOBAL bounds - >= -18000 @ 481.263
526.35/527.81	c GLOBAL bounds - >= -18000 @ 481.274
526.76/528.21	c GLOBAL bounds - >= -18000 @ 481.438
573.52/575.15	c GLOBAL bounds - >= -18000 @ 528.205
573.91/575.56	c GLOBAL bounds - >= -18000 @ 528.365
599.35/601.03	c GLOBAL bounds - >= -18000 @ 553.384
599.74/601.44	c GLOBAL bounds - >= -18000 @ 553.539
599.74/601.45	c GLOBAL bounds - >= -18000 @ 553.552
600.15/601.86	c GLOBAL bounds - >= -18000 @ 553.719
600.54/602.27	c GLOBAL bounds - >= -18000 @ 553.881
600.94/602.68	c GLOBAL bounds - >= -18000 @ 554.046
601.34/603.09	c GLOBAL bounds - >= -18000 @ 554.206
601.84/603.50	c GLOBAL bounds - >= -18000 @ 554.369
602.23/603.91	c GLOBAL bounds - >= -18000 @ 554.528
602.64/604.33	c GLOBAL bounds - >= -18000 @ 554.688
603.13/604.80	c GLOBAL bounds - >= -18000 @ 554.914
603.53/605.28	c GLOBAL bounds - >= -18000 @ 555.13
604.03/605.76	c GLOBAL bounds - >= -18000 @ 555.369
604.53/606.25	c GLOBAL bounds - >= -18000 @ 555.607
604.53/606.25	c GLOBAL bounds - >= -18000 @ 555.608
604.53/606.28	c GLOBAL bounds - >= -18000 @ 555.635
604.53/606.28	c GLOBAL bounds - >= -18000 @ 555.641
604.53/606.29	c GLOBAL bounds - >= -18000 @ 555.645
604.63/606.30	c GLOBAL bounds - >= -18000 @ 555.651
604.63/606.30	c GLOBAL bounds - >= -18000 @ 555.657
604.63/606.31	c GLOBAL bounds - >= -18000 @ 555.662
604.63/606.31	c GLOBAL bounds - >= -18000 @ 555.67
604.63/606.32	c GLOBAL bounds - >= -18000 @ 555.676
604.63/606.33	c GLOBAL bounds - >= -18000 @ 555.683
604.63/606.33	c GLOBAL bounds - >= -18000 @ 555.689
604.63/606.34	c GLOBAL bounds - >= -18000 @ 555.695
605.03/606.74	c GLOBAL bounds - >= -18000 @ 555.857
607.33/609.07	c GLOBAL bounds - >= -18000 @ 558.17
607.72/609.47	c GLOBAL bounds - >= -18000 @ 558.329
608.02/609.70	c GLOBAL bounds - >= -18000 @ 558.555
608.42/610.10	c GLOBAL bounds - >= -18000 @ 558.716
623.58/625.35	c GLOBAL bounds - >= -18000 @ 573.921
623.97/625.76	c GLOBAL bounds - >= -18000 @ 574.083
624.17/625.91	c GLOBAL bounds - >= -18000 @ 574.161
624.58/626.32	c GLOBAL bounds - >= -18000 @ 574.315
656.48/658.38	c GLOBAL bounds - >= -18000 @ 606.189
656.88/658.79	c GLOBAL bounds - >= -18000 @ 606.332
679.01/681.00	c GLOBAL bounds - >= -18000 @ 628.46
679.51/681.40	c GLOBAL bounds - >= -18000 @ 628.606
699.66/701.60	c GLOBAL bounds - >= -18000 @ 648.619
700.05/702.01	c GLOBAL bounds - >= -18000 @ 648.779
722.49/724.51	c GLOBAL bounds - >= -18000 @ 671.194
722.88/724.91	c GLOBAL bounds - >= -18000 @ 671.351
723.09/725.17	c GLOBAL bounds - >= -18000 @ 671.606
723.49/725.58	c GLOBAL bounds - >= -18000 @ 671.768
723.88/726.00	c GLOBAL bounds - >= -18000 @ 671.95
724.39/726.48	c GLOBAL bounds - >= -18000 @ 672.193
724.88/726.97	c GLOBAL bounds - >= -18000 @ 672.436
725.28/727.39	c GLOBAL bounds - >= -18000 @ 672.606
725.78/727.80	c GLOBAL bounds - >= -18000 @ 672.757
726.18/728.21	c GLOBAL bounds - >= -18000 @ 672.913
726.58/728.69	c GLOBAL bounds - >= -18000 @ 673.125
727.08/729.18	c GLOBAL bounds - >= -18000 @ 673.358
727.58/729.64	c GLOBAL bounds - >= -18000 @ 673.578
728.08/730.13	c GLOBAL bounds - >= -18000 @ 673.827
728.08/730.13	c GLOBAL bounds - >= -18000 @ 673.828
736.35/738.43	c GLOBAL bounds - >= -18000 @ 682.092
745.42/747.50	c GLOBAL bounds - >= -18000 @ 691.139
754.90/757.01	c GLOBAL bounds - >= -18000 @ 700.579
766.16/768.35	c GLOBAL bounds - >= -18000 @ 711.49
773.84/776.08	c GLOBAL bounds - >= -18000 @ 719.197
782.41/784.62	c GLOBAL bounds - >= -18000 @ 727.703
789.79/792.09	c GLOBAL bounds - >= -18000 @ 735.155
797.56/799.88	c GLOBAL bounds - >= -18000 @ 742.924
814.31/816.63	c GLOBAL bounds - >= -18000 @ 759.616
820.80/823.13	c GLOBAL bounds - >= -18000 @ 766.075
992.13/994.90	c #Conflicts:       1000 | #Constraints:     402166
992.13/994.90	c GLOBAL bounds - >= -18000 @ 937.171
997.00/999.85	c GLOBAL bounds - >= -18000 @ 942.075
997.40/1000.25	c GLOBAL bounds - >= -18000 @ 942.234
1007.29/1010.17	c GLOBAL bounds - >= -18000 @ 952.123
1007.68/1010.57	c GLOBAL bounds - >= -18000 @ 952.275
1017.66/1020.53	c GLOBAL bounds - >= -18000 @ 962.2
1018.05/1020.93	c GLOBAL bounds - >= -18000 @ 962.356
1027.93/1030.85	c GLOBAL bounds - >= -18000 @ 972.242
1028.32/1031.25	c GLOBAL bounds - >= -18000 @ 972.406
1037.90/1040.83	c GLOBAL bounds - >= -18000 @ 981.946
1038.30/1041.24	c GLOBAL bounds - >= -18000 @ 982.108
1047.77/1050.74	c GLOBAL bounds - >= -18000 @ 991.578
1048.18/1051.15	c GLOBAL bounds - >= -18000 @ 991.745
1057.15/1060.12	c GLOBAL bounds - >= -18000 @ 1000.69
1057.55/1060.53	c GLOBAL bounds - >= -18000 @ 1000.86
1066.42/1069.47	c GLOBAL bounds - >= -18000 @ 1009.78
1066.82/1069.88	c GLOBAL bounds - >= -18000 @ 1009.95
1076.69/1079.73	c GLOBAL bounds - >= -18000 @ 1019.77
1077.09/1080.14	c GLOBAL bounds - >= -18000 @ 1019.94
1087.36/1090.49	c GLOBAL bounds - >= -18000 @ 1030.25
1087.86/1090.90	c GLOBAL bounds - >= -18000 @ 1030.41
1088.26/1091.32	c GLOBAL bounds - >= -18000 @ 1030.57
1088.76/1091.80	c GLOBAL bounds - >= -18000 @ 1030.8
1089.16/1092.22	c GLOBAL bounds - >= -18000 @ 1030.96
1089.65/1092.70	c GLOBAL bounds - >= -18000 @ 1031.2
1090.06/1093.12	c GLOBAL bounds - >= -18000 @ 1031.39
1090.45/1093.53	c GLOBAL bounds - >= -18000 @ 1031.55
1090.85/1093.95	c GLOBAL bounds - >= -18000 @ 1031.72
1091.26/1094.37	c GLOBAL bounds - >= -18000 @ 1031.89
1091.65/1094.78	c GLOBAL bounds - >= -18000 @ 1032.04
1092.15/1095.27	c GLOBAL bounds - >= -18000 @ 1032.28
1092.15/1095.27	c GLOBAL bounds - >= -18000 @ 1032.28
1102.03/1105.18	c GLOBAL bounds - >= -18000 @ 1042.15
1114.38/1117.55	c GLOBAL bounds - >= -18000 @ 1054.48
1124.26/1127.48	c GLOBAL bounds - >= -18000 @ 1064.37
1132.43/1135.68	c GLOBAL bounds - >= -18000 @ 1072.55
1141.50/1144.70	c GLOBAL bounds - >= -18000 @ 1081.53
1150.57/1153.85	c GLOBAL bounds - >= -18000 @ 1090.65
1160.44/1163.78	c GLOBAL bounds - >= -18000 @ 1100.54
1170.32/1173.68	c GLOBAL bounds - >= -18000 @ 1110.42
1170.42/1173.78	c GLOBAL bounds - >= -18000 @ 1110.52
1170.52/1173.88	c GLOBAL bounds - >= -18000 @ 1110.62
1174.31/1177.60	c GLOBAL bounds - >= -18000 @ 1114.32
1188.86/1192.27	c GLOBAL bounds - >= -18000 @ 1128.92
1189.27/1192.68	c GLOBAL bounds - >= -18000 @ 1129.08
1198.43/1201.83	c GLOBAL bounds - >= -18000 @ 1138.2
1198.84/1202.24	c GLOBAL bounds - >= -18000 @ 1138.37
1207.62/1211.08	c GLOBAL bounds - >= -18000 @ 1147.19
1208.01/1211.49	c GLOBAL bounds - >= -18000 @ 1147.35
1217.08/1220.58	c GLOBAL bounds - >= -18000 @ 1156.41
1217.48/1220.99	c GLOBAL bounds - >= -18000 @ 1156.58
1217.59/1221.09	c GLOBAL bounds - >= -18000 @ 1156.68
1217.98/1221.50	c GLOBAL bounds - >= -18000 @ 1156.85
1218.18/1221.60	c GLOBAL bounds - >= -18000 @ 1156.95
1218.59/1222.01	c GLOBAL bounds - >= -18000 @ 1157.11
1219.18/1222.65	c GLOBAL bounds - >= -18000 @ 1157.75
1219.58/1223.06	c GLOBAL bounds - >= -18000 @ 1157.91
1220.18/1223.69	c GLOBAL bounds - >= -18000 @ 1158.54
1220.58/1224.10	c GLOBAL bounds - >= -18000 @ 1158.7
1222.86/1226.31	c GLOBAL bounds - >= -18000 @ 1160.91
1223.27/1226.73	c GLOBAL bounds - >= -18000 @ 1161.08
1237.03/1240.50	c GLOBAL bounds - >= -18000 @ 1174.79
1237.43/1240.91	c GLOBAL bounds - >= -18000 @ 1174.96
1237.83/1241.33	c GLOBAL bounds - >= -18000 @ 1175.13
1238.23/1241.75	c GLOBAL bounds - >= -18000 @ 1175.3
1238.73/1242.25	c GLOBAL bounds - >= -18000 @ 1175.55
1239.22/1242.75	c GLOBAL bounds - >= -18000 @ 1175.79
1239.72/1243.24	c GLOBAL bounds - >= -18000 @ 1176.05
1240.12/1243.66	c GLOBAL bounds - >= -18000 @ 1176.22
1240.53/1244.07	c GLOBAL bounds - >= -18000 @ 1176.38
1240.92/1244.49	c GLOBAL bounds - >= -18000 @ 1176.54
1241.41/1244.91	c GLOBAL bounds - >= -18000 @ 1176.71
1241.82/1245.39	c GLOBAL bounds - >= -18000 @ 1176.95
1241.82/1245.39	c GLOBAL bounds - >= -18000 @ 1176.95
1250.09/1253.65	c GLOBAL bounds - >= -18000 @ 1185.19
1250.19/1253.70	c GLOBAL bounds - >= -18000 @ 1185.23
1261.47/1265.09	c GLOBAL bounds - >= -18000 @ 1196.59
1273.13/1276.78	c GLOBAL bounds - >= -18000 @ 1208.25
1284.69/1288.36	c GLOBAL bounds - >= -18000 @ 1219.78
1296.66/1300.32	c GLOBAL bounds - >= -18000 @ 1231.72
1307.22/1310.99	c GLOBAL bounds - >= -18000 @ 1242.34
1316.00/1319.79	c GLOBAL bounds - >= -18000 @ 1251.11
1325.68/1329.42	c GLOBAL bounds - >= -18000 @ 1260.62
1334.36/1338.13	c GLOBAL bounds - >= -18000 @ 1269.31
1344.13/1347.94	c GLOBAL bounds - >= -18000 @ 1279.09
1378.53/1382.41	c GLOBAL bounds - >= -18000 @ 1313.44
1378.93/1382.82	c GLOBAL bounds - >= -18000 @ 1313.6
1382.91/1386.83	c GLOBAL bounds - >= -18000 @ 1317.6
1383.31/1387.24	c GLOBAL bounds - >= -18000 @ 1317.75
1387.70/1391.60	c GLOBAL bounds - >= -18000 @ 1322.1
1388.10/1392.01	c GLOBAL bounds - >= -18000 @ 1322.26
1396.58/1400.52	c GLOBAL bounds - >= -18000 @ 1330.73
1396.98/1400.93	c GLOBAL bounds - >= -18000 @ 1330.88
1400.37/1404.32	c GLOBAL bounds - >= -18000 @ 1334.26
1400.76/1404.73	c GLOBAL bounds - >= -18000 @ 1334.41
1404.45/1408.42	c GLOBAL bounds - >= -18000 @ 1338.09
1404.85/1408.83	c GLOBAL bounds - >= -18000 @ 1338.24
1408.45/1412.45	c GLOBAL bounds - >= -18000 @ 1341.86
1408.84/1412.86	c GLOBAL bounds - >= -18000 @ 1342.03
1412.43/1416.42	c GLOBAL bounds - >= -18000 @ 1345.58
1412.83/1416.83	c GLOBAL bounds - >= -18000 @ 1345.75
1423.20/1427.29	c GLOBAL bounds - >= -18000 @ 1356.18
1423.70/1427.71	c GLOBAL bounds - >= -18000 @ 1356.34
1433.47/1437.53	c GLOBAL bounds - >= -18000 @ 1366.13
1433.87/1437.94	c GLOBAL bounds - >= -18000 @ 1366.29
1434.27/1438.36	c GLOBAL bounds - >= -18000 @ 1366.46
1434.67/1438.78	c GLOBAL bounds - >= -18000 @ 1366.62
1435.17/1439.20	c GLOBAL bounds - >= -18000 @ 1366.79
1435.57/1439.62	c GLOBAL bounds - >= -18000 @ 1366.96
1435.97/1440.04	c GLOBAL bounds - >= -18000 @ 1367.13
1436.37/1440.45	c GLOBAL bounds - >= -18000 @ 1367.3
1436.87/1440.95	c GLOBAL bounds - >= -18000 @ 1367.54
1437.36/1441.44	c GLOBAL bounds - >= -18000 @ 1367.79
1437.86/1441.92	c GLOBAL bounds - >= -18000 @ 1368
1438.26/1442.39	c GLOBAL bounds - >= -18000 @ 1368.22
1438.26/1442.39	c GLOBAL bounds - >= -18000 @ 1368.22
1443.85/1447.93	c GLOBAL bounds - >= -18000 @ 1373.74
1443.85/1447.98	c GLOBAL bounds - >= -18000 @ 1373.79
1443.95/1448.02	c GLOBAL bounds - >= -18000 @ 1373.83
1443.95/1448.07	c GLOBAL bounds - >= -18000 @ 1373.88
1451.03/1455.17	c GLOBAL bounds - >= -18000 @ 1380.96
1458.11/1462.26	c GLOBAL bounds - >= -18000 @ 1388.03
1465.19/1469.36	c GLOBAL bounds - >= -18000 @ 1395.11
1472.27/1476.45	c GLOBAL bounds - >= -18000 @ 1402.17
1479.35/1483.54	c GLOBAL bounds - >= -18000 @ 1409.24
1479.55/1483.77	c GLOBAL bounds - >= -18000 @ 1409.47
1486.04/1490.20	c GLOBAL bounds - >= -18000 @ 1415.88
1503.19/1507.41	c GLOBAL bounds - >= -18000 @ 1433.02
1503.58/1507.82	c GLOBAL bounds - >= -18000 @ 1433.17
1509.56/1513.82	c GLOBAL bounds - >= -18000 @ 1439.16
1509.96/1514.23	c GLOBAL bounds - >= -18000 @ 1439.32
1515.35/1519.62	c GLOBAL bounds - >= -18000 @ 1444.7
1515.75/1520.03	c GLOBAL bounds - >= -18000 @ 1444.88
1518.84/1523.12	c GLOBAL bounds - >= -18000 @ 1447.97
1519.23/1523.53	c GLOBAL bounds - >= -18000 @ 1448.14
1519.44/1523.76	c GLOBAL bounds - >= -18000 @ 1448.38
1519.84/1524.17	c GLOBAL bounds - >= -18000 @ 1448.54
1520.13/1524.40	c GLOBAL bounds - >= -18000 @ 1448.77
1520.53/1524.81	c GLOBAL bounds - >= -18000 @ 1448.93
1527.42/1531.79	c GLOBAL bounds - >= -18000 @ 1455.89
1527.92/1532.20	c GLOBAL bounds - >= -18000 @ 1456.05
1534.60/1538.99	c GLOBAL bounds - >= -18000 @ 1462.82
1535.10/1539.40	c GLOBAL bounds - >= -18000 @ 1462.99
1541.88/1546.23	c GLOBAL bounds - >= -18000 @ 1469.8
1542.28/1546.65	c GLOBAL bounds - >= -18000 @ 1469.97
1549.06/1553.44	c GLOBAL bounds - >= -18000 @ 1476.74
1549.46/1553.86	c GLOBAL bounds - >= -18000 @ 1476.89
1549.86/1554.28	c GLOBAL bounds - >= -18000 @ 1477.06
1550.36/1554.70	c GLOBAL bounds - >= -18000 @ 1477.23
1550.76/1555.19	c GLOBAL bounds - >= -18000 @ 1477.46
1551.25/1555.66	c GLOBAL bounds - >= -18000 @ 1477.68
1551.75/1556.15	c GLOBAL bounds - >= -18000 @ 1477.91
1552.25/1556.64	c GLOBAL bounds - >= -18000 @ 1478.16
1552.76/1557.13	c GLOBAL bounds - >= -18000 @ 1478.4
1553.25/1557.61	c GLOBAL bounds - >= -18000 @ 1478.62
1553.65/1558.04	c GLOBAL bounds - >= -18000 @ 1478.8
1554.05/1558.46	c GLOBAL bounds - >= -18000 @ 1478.98
1554.05/1558.46	c GLOBAL bounds - >= -18000 @ 1478.98
1558.53/1562.90	c GLOBAL bounds - >= -18000 @ 1483.4
1563.02/1567.48	c GLOBAL bounds - >= -18000 @ 1487.97
1568.00/1572.42	c GLOBAL bounds - >= -18000 @ 1492.89
1573.29/1577.74	c GLOBAL bounds - >= -18000 @ 1498.2
1579.57/1584.02	c GLOBAL bounds - >= -18000 @ 1504.45
1585.05/1589.58	c GLOBAL bounds - >= -18000 @ 1510
1590.54/1595.08	c GLOBAL bounds - >= -18000 @ 1515.48
1597.72/1602.24	c GLOBAL bounds - >= -18000 @ 1522.62
1604.90/1609.40	c GLOBAL bounds - >= -18000 @ 1529.76
1611.58/1616.19	c GLOBAL bounds - >= -18000 @ 1536.54
1618.37/1622.99	c GLOBAL bounds - >= -18000 @ 1543.31
1619.36/1623.90	c GLOBAL bounds - >= -18000 @ 1544.22
1619.76/1624.31	c GLOBAL bounds - >= -18000 @ 1544.39
1619.86/1624.47	c GLOBAL bounds - >= -18000 @ 1544.55
1620.26/1624.88	c GLOBAL bounds - >= -18000 @ 1544.71
1620.57/1625.11	c GLOBAL bounds - >= -18000 @ 1544.94
1620.96/1625.52	c GLOBAL bounds - >= -18000 @ 1545.1
1621.06/1625.68	c GLOBAL bounds - >= -18000 @ 1545.26
1621.46/1626.09	c GLOBAL bounds - >= -18000 @ 1545.43
1621.56/1626.16	c GLOBAL bounds - >= -18000 @ 1545.49
1621.96/1626.57	c GLOBAL bounds - >= -18000 @ 1545.66
1622.05/1626.63	c GLOBAL bounds - >= -18000 @ 1545.72
1622.46/1627.04	c GLOBAL bounds - >= -18000 @ 1545.89
1622.56/1627.14	c GLOBAL bounds - >= -18000 @ 1545.99
1622.95/1627.55	c GLOBAL bounds - >= -18000 @ 1546.16
1623.05/1627.65	c GLOBAL bounds - >= -18000 @ 1546.26
1623.45/1628.06	c GLOBAL bounds - >= -18000 @ 1546.41
1631.13/1635.73	c GLOBAL bounds - >= -18000 @ 1554.05
1631.53/1636.15	c GLOBAL bounds - >= -18000 @ 1554.22
1631.53/1636.18	c GLOBAL bounds - >= -18000 @ 1554.26
1631.93/1636.59	c GLOBAL bounds - >= -18000 @ 1554.43
1632.43/1637.02	c GLOBAL bounds - >= -18000 @ 1554.61
1632.82/1637.44	c GLOBAL bounds - >= -18000 @ 1554.78
1633.32/1637.94	c GLOBAL bounds - >= -18000 @ 1555.03
1633.82/1638.41	c GLOBAL bounds - >= -18000 @ 1555.26
1634.22/1638.83	c GLOBAL bounds - >= -18000 @ 1555.44
1634.72/1639.31	c GLOBAL bounds - >= -18000 @ 1555.68
1635.12/1639.78	c GLOBAL bounds - >= -18000 @ 1555.91
1635.62/1640.20	c GLOBAL bounds - >= -18000 @ 1556.09
1636.01/1640.69	c GLOBAL bounds - >= -18000 @ 1556.32
1636.52/1641.17	c GLOBAL bounds - >= -18000 @ 1556.56
1636.52/1641.17	c GLOBAL bounds - >= -18000 @ 1556.56
1636.82/1641.41	c GLOBAL bounds - >= -18000 @ 1556.8
1637.02/1641.64	c GLOBAL bounds - >= -18000 @ 1557.02
1637.22/1641.87	c GLOBAL bounds - >= -18000 @ 1557.26
1637.52/1642.11	c GLOBAL bounds - >= -18000 @ 1557.5
1637.71/1642.34	c GLOBAL bounds - >= -18000 @ 1557.72
1637.91/1642.57	c GLOBAL bounds - >= -18000 @ 1557.95
1638.21/1642.80	c GLOBAL bounds - >= -18000 @ 1558.18
1638.31/1642.90	c GLOBAL bounds - >= -18000 @ 1558.28
1638.31/1643.00	c GLOBAL bounds - >= -18000 @ 1558.37
1645.69/1650.38	c GLOBAL bounds - >= -18000 @ 1565.74
1657.06/1661.75	c GLOBAL bounds - >= -18000 @ 1577.07
1671.22/1675.97	c GLOBAL bounds - >= -18000 @ 1591.24
1671.62/1676.38	c GLOBAL bounds - >= -18000 @ 1591.41
1672.02/1676.72	c GLOBAL bounds - >= -18000 @ 1591.75
1672.42/1677.13	c GLOBAL bounds - >= -18000 @ 1591.92
1672.72/1677.48	c GLOBAL bounds - >= -18000 @ 1592.27
1673.11/1677.89	c GLOBAL bounds - >= -18000 @ 1592.43
1673.72/1678.47	c GLOBAL bounds - >= -18000 @ 1593.01
1674.11/1678.89	c GLOBAL bounds - >= -18000 @ 1593.17
1674.71/1679.48	c GLOBAL bounds - >= -18000 @ 1593.76
1675.11/1679.89	c GLOBAL bounds - >= -18000 @ 1593.94
1676.41/1681.11	c GLOBAL bounds - >= -18000 @ 1595.15
1676.80/1681.52	c GLOBAL bounds - >= -18000 @ 1595.32
1677.00/1681.73	c GLOBAL bounds - >= -18000 @ 1595.52
1677.41/1682.15	c GLOBAL bounds - >= -18000 @ 1595.7
1677.60/1682.35	c GLOBAL bounds - >= -18000 @ 1595.9
1678.00/1682.77	c GLOBAL bounds - >= -18000 @ 1596.07
1678.41/1683.10	c GLOBAL bounds - >= -18000 @ 1596.4
1678.80/1683.52	c GLOBAL bounds - >= -18000 @ 1596.58
1690.96/1695.74	c GLOBAL bounds - >= -18000 @ 1608.07
1691.37/1696.16	c GLOBAL bounds - >= -18000 @ 1608.22
1691.76/1696.59	c GLOBAL bounds - >= -18000 @ 1608.41
1692.27/1697.01	c GLOBAL bounds - >= -18000 @ 1608.59
1692.76/1697.51	c GLOBAL bounds - >= -18000 @ 1608.85
1693.16/1697.99	c GLOBAL bounds - >= -18000 @ 1609.07
1693.76/1698.53	c GLOBAL bounds - >= -18000 @ 1609.36
1694.26/1699.01	c GLOBAL bounds - >= -18000 @ 1609.59
1694.66/1699.49	c GLOBAL bounds - >= -18000 @ 1609.82
1695.15/1699.98	c GLOBAL bounds - >= -18000 @ 1610.07
1695.65/1700.46	c GLOBAL bounds - >= -18000 @ 1610.3
1696.15/1700.95	c GLOBAL bounds - >= -18000 @ 1610.54
1696.65/1701.44	c GLOBAL bounds - >= -18000 @ 1610.77
1696.65/1701.44	c GLOBAL bounds - >= -18000 @ 1610.77
1697.04/1701.81	c GLOBAL bounds - >= -18000 @ 1611.13
1697.35/1702.16	c GLOBAL bounds - >= -18000 @ 1611.48
1697.45/1702.20	c GLOBAL bounds - >= -18000 @ 1611.52
1697.45/1702.25	c GLOBAL bounds - >= -18000 @ 1611.57
1697.75/1702.59	c GLOBAL bounds - >= -18000 @ 1611.91
1698.54/1703.32	c GLOBAL bounds - >= -18000 @ 1612.63
1698.64/1703.45	c GLOBAL bounds - >= -18000 @ 1612.76
1698.94/1703.77	c GLOBAL bounds - >= -18000 @ 1613.08
1699.25/1704.03	c GLOBAL bounds - >= -18000 @ 1613.33
1699.35/1704.15	c GLOBAL bounds - >= -18000 @ 1613.46
1699.44/1704.28	c GLOBAL bounds - >= -18000 @ 1613.58
1709.22/1714.00	c GLOBAL bounds - >= -18000 @ 1623.26
1731.96/1736.82	c GLOBAL bounds - >= -18000 @ 1645.95
1732.35/1737.23	c GLOBAL bounds - >= -18000 @ 1646.11
1732.35/1737.25	c GLOBAL bounds - >= -18000 @ 1646.13
1732.75/1737.66	c GLOBAL bounds - >= -18000 @ 1646.29
1732.86/1737.72	c GLOBAL bounds - >= -18000 @ 1646.35
1733.26/1738.14	c GLOBAL bounds - >= -18000 @ 1646.51
1733.35/1738.20	c GLOBAL bounds - >= -18000 @ 1646.58
1733.75/1738.61	c GLOBAL bounds - >= -18000 @ 1646.75
1733.75/1738.68	c GLOBAL bounds - >= -18000 @ 1646.82
1734.16/1739.09	c GLOBAL bounds - >= -18000 @ 1647
1742.33/1747.28	c GLOBAL bounds - >= -18000 @ 1655.16
1742.73/1747.69	c GLOBAL bounds - >= -18000 @ 1655.32
1743.03/1747.91	c GLOBAL bounds - >= -18000 @ 1655.53
1743.42/1748.33	c GLOBAL bounds - >= -18000 @ 1655.7
1751.40/1756.36	c GLOBAL bounds - >= -18000 @ 1663.71
1751.80/1756.77	c GLOBAL bounds - >= -18000 @ 1663.86
1751.90/1756.84	c GLOBAL bounds - >= -18000 @ 1663.93
1752.30/1757.26	c GLOBAL bounds - >= -18000 @ 1664.09
1760.87/1765.88	c GLOBAL bounds - >= -18000 @ 1672.68
1761.38/1766.30	c GLOBAL bounds - >= -18000 @ 1672.85
1761.78/1766.73	c GLOBAL bounds - >= -18000 @ 1673.05
1762.18/1767.15	c GLOBAL bounds - >= -18000 @ 1673.22
1762.58/1767.57	c GLOBAL bounds - >= -18000 @ 1673.39
1763.08/1768.08	c GLOBAL bounds - >= -18000 @ 1673.64
1763.57/1768.50	c GLOBAL bounds - >= -18000 @ 1673.84
1763.97/1769.00	c GLOBAL bounds - >= -18000 @ 1674.08
1764.47/1769.48	c GLOBAL bounds - >= -18000 @ 1674.33
1764.97/1769.96	c GLOBAL bounds - >= -18000 @ 1674.56
1765.47/1770.44	c GLOBAL bounds - >= -18000 @ 1674.79
1765.97/1770.92	c GLOBAL bounds - >= -18000 @ 1675.02
1766.47/1771.47	c GLOBAL bounds - >= -18000 @ 1675.31
1766.47/1771.47	c GLOBAL bounds - >= -18000 @ 1675.31
1766.56/1771.50	c GLOBAL bounds - >= -18000 @ 1675.34
1766.56/1771.50	c GLOBAL bounds - >= -18000 @ 1675.35
1766.56/1771.53	c GLOBAL bounds - >= -18000 @ 1675.37
1766.56/1771.55	c GLOBAL bounds - >= -18000 @ 1675.39
1766.56/1771.57	c GLOBAL bounds - >= -18000 @ 1675.42
1766.56/1771.58	c GLOBAL bounds - >= -18000 @ 1675.42
1766.56/1771.58	c GLOBAL bounds - >= -18000 @ 1675.42
1775.14/1780.18	c GLOBAL bounds - >= -18000 @ 1683.98
1775.54/1780.59	c GLOBAL bounds - >= -18000 @ 1684.14
1775.64/1780.60	c GLOBAL bounds - >= -18000 @ 1684.15
1776.04/1781.01	c GLOBAL bounds - >= -18000 @ 1684.31
1776.04/1781.02	c GLOBAL bounds - >= -18000 @ 1684.32
1776.43/1781.43	c GLOBAL bounds - >= -18000 @ 1684.48
1776.43/1781.44	c GLOBAL bounds - >= -18000 @ 1684.49
1776.83/1781.86	c GLOBAL bounds - >= -18000 @ 1684.66
1776.83/1781.88	c GLOBAL bounds - >= -18000 @ 1684.68
1777.24/1782.29	c GLOBAL bounds - >= -18000 @ 1684.84
1777.34/1782.31	c GLOBAL bounds - >= -18000 @ 1684.86
1777.74/1782.73	c GLOBAL bounds - >= -18000 @ 1685.02
1777.74/1782.75	c GLOBAL bounds - >= -18000 @ 1685.04
1778.14/1783.16	c GLOBAL bounds - >= -18000 @ 1685.2
1786.81/1791.87	c GLOBAL bounds - >= -18000 @ 1693.87
1787.21/1792.29	c GLOBAL bounds - >= -18000 @ 1694.05
1795.88/1800.90	c GLOBAL bounds - >= -18000 @ 1702.64
1796.28/1801.31	c GLOBAL bounds - >= -18000 @ 1702.81
1804.66/1809.79	c GLOBAL bounds - >= -18000 @ 1711.26
1805.15/1810.21	c GLOBAL bounds - >= -18000 @ 1711.44
1805.56/1810.63	c GLOBAL bounds - >= -18000 @ 1711.61
1805.96/1811.06	c GLOBAL bounds - >= -18000 @ 1711.79
1806.46/1811.57	c GLOBAL bounds - >= -18000 @ 1712.03
1806.96/1812.05	c GLOBAL bounds - >= -18000 @ 1712.28
1807.45/1812.54	c GLOBAL bounds - >= -18000 @ 1712.52
1807.96/1813.03	c GLOBAL bounds - >= -18000 @ 1712.78
1808.45/1813.52	c GLOBAL bounds - >= -18000 @ 1713.02
1808.95/1814.00	c GLOBAL bounds - >= -18000 @ 1713.26
1809.35/1814.49	c GLOBAL bounds - >= -18000 @ 1713.51
1809.84/1814.98	c GLOBAL bounds - >= -18000 @ 1713.75
1809.84/1814.98	c GLOBAL bounds - >= -18000 @ 1713.75
1818.03/1823.19	c GLOBAL bounds - >= -18000 @ 1721.94
1826.21/1831.39	c GLOBAL bounds - >= -18000 @ 1730.12
1834.38/1839.54	c GLOBAL bounds - >= -18000 @ 1738.24
1842.86/1848.07	c GLOBAL bounds - >= -18000 @ 1746.75
1842.86/1848.09	c GLOBAL bounds - >= -18000 @ 1746.77
1851.43/1856.63	c GLOBAL bounds - >= -18000 @ 1755.28
1859.91/1865.16	c GLOBAL bounds - >= -18000 @ 1763.79
1868.40/1873.68	c GLOBAL bounds - >= -18000 @ 1772.29
1876.97/1882.24	c GLOBAL bounds - >= -18000 @ 1780.81
1885.44/1890.79	c GLOBAL bounds - >= -18000 @ 1789.34
1894.03/1899.31	c GLOBAL bounds - >= -18000 @ 1797.83
1902.50/1907.83	c GLOBAL bounds - >= -18000 @ 1806.33
1902.90/1908.24	c GLOBAL bounds - >= -18000 @ 1806.51
1911.38/1916.78	c GLOBAL bounds - >= -18000 @ 1815.03
1911.78/1917.19	c GLOBAL bounds - >= -18000 @ 1815.2
1920.35/1925.75	c GLOBAL bounds - >= -18000 @ 1823.73
1920.76/1926.16	c GLOBAL bounds - >= -18000 @ 1823.92
1929.33/1934.75	c GLOBAL bounds - >= -18000 @ 1832.48
1929.73/1935.16	c GLOBAL bounds - >= -18000 @ 1832.65
1938.30/1943.72	c GLOBAL bounds - >= -18000 @ 1841.19
1938.70/1944.14	c GLOBAL bounds - >= -18000 @ 1841.37
1947.38/1952.80	c GLOBAL bounds - >= -18000 @ 1850.01
1947.77/1953.21	c GLOBAL bounds - >= -18000 @ 1850.18
1954.76/1960.25	c GLOBAL bounds - >= -18000 @ 1857.19
1955.15/1960.66	c GLOBAL bounds - >= -18000 @ 1857.36
1962.24/1967.70	c GLOBAL bounds - >= -18000 @ 1864.38
1962.64/1968.11	c GLOBAL bounds - >= -18000 @ 1864.53
1969.52/1975.02	c GLOBAL bounds - >= -18000 @ 1871.42
1969.92/1975.44	c GLOBAL bounds - >= -18000 @ 1871.58
1976.70/1982.28	c GLOBAL bounds - >= -18000 @ 1878.4
1977.10/1982.69	c GLOBAL bounds - >= -18000 @ 1878.58
1977.60/1983.12	c GLOBAL bounds - >= -18000 @ 1878.75
1977.99/1983.53	c GLOBAL bounds - >= -18000 @ 1878.91
1978.40/1983.96	c GLOBAL bounds - >= -18000 @ 1879.08
1978.79/1984.38	c GLOBAL bounds - >= -18000 @ 1879.26
1979.29/1984.86	c GLOBAL bounds - >= -18000 @ 1879.49
1979.78/1985.35	c GLOBAL bounds - >= -18000 @ 1879.75
1980.29/1985.84	c GLOBAL bounds - >= -18000 @ 1879.97
1980.78/1986.33	c GLOBAL bounds - >= -18000 @ 1880.22
1981.28/1986.82	c GLOBAL bounds - >= -18000 @ 1880.45
1981.88/1987.42	c GLOBAL bounds - >= -18000 @ 1880.78
1981.88/1987.42	c GLOBAL bounds - >= -18000 @ 1880.78
1989.96/1995.57	c GLOBAL bounds - >= -18000 @ 1888.92
1998.14/2003.71	c GLOBAL bounds - >= -18000 @ 1897.03
2006.22/2011.85	c GLOBAL bounds - >= -18000 @ 1905.15
2013.10/2018.75	c GLOBAL bounds - >= -18000 @ 1912.02
2019.99/2025.66	c GLOBAL bounds - >= -18000 @ 1918.91
2026.96/2032.61	c GLOBAL bounds - >= -18000 @ 1925.84
2033.94/2039.62	c GLOBAL bounds - >= -18000 @ 1932.83
2041.03/2046.70	c GLOBAL bounds - >= -18000 @ 1939.89
2048.01/2053.71	c GLOBAL bounds - >= -18000 @ 1946.87
2054.88/2060.65	c GLOBAL bounds - >= -18000 @ 1953.79
2061.76/2067.51	c GLOBAL bounds - >= -18000 @ 1960.64
2068.64/2074.41	c GLOBAL bounds - >= -18000 @ 1967.51
2069.05/2074.82	c GLOBAL bounds - >= -18000 @ 1967.69
2077.53/2083.38	c GLOBAL bounds - >= -18000 @ 1976.22
2077.92/2083.79	c GLOBAL bounds - >= -18000 @ 1976.39
2086.50/2092.32	c GLOBAL bounds - >= -18000 @ 1984.89
2086.90/2092.73	c GLOBAL bounds - >= -18000 @ 1985.04
2095.47/2101.31	c GLOBAL bounds - >= -18000 @ 1993.6
2095.88/2101.73	c GLOBAL bounds - >= -18000 @ 1993.76
2104.36/2110.27	c GLOBAL bounds - >= -18000 @ 2002.29
2104.75/2110.69	c GLOBAL bounds - >= -18000 @ 2002.44
2113.33/2119.23	c GLOBAL bounds - >= -18000 @ 2010.96
2113.73/2119.65	c GLOBAL bounds - >= -18000 @ 2011.12
2120.61/2126.54	c GLOBAL bounds - >= -18000 @ 2017.99
2121.00/2126.96	c GLOBAL bounds - >= -18000 @ 2018.16
2127.89/2133.85	c GLOBAL bounds - >= -18000 @ 2025.03
2128.29/2134.27	c GLOBAL bounds - >= -18000 @ 2025.21
2135.17/2141.13	c GLOBAL bounds - >= -18000 @ 2032.05
2135.57/2141.56	c GLOBAL bounds - >= -18000 @ 2032.24
2142.45/2148.41	c GLOBAL bounds - >= -18000 @ 2039.07
2142.85/2148.83	c GLOBAL bounds - >= -18000 @ 2039.25
2143.25/2149.26	c GLOBAL bounds - >= -18000 @ 2039.44
2143.65/2149.69	c GLOBAL bounds - >= -18000 @ 2039.63
2144.16/2150.11	c GLOBAL bounds - >= -18000 @ 2039.81
2144.55/2150.55	c GLOBAL bounds - >= -18000 @ 2039.99
2145.05/2151.04	c GLOBAL bounds - >= -18000 @ 2040.22
2145.44/2151.47	c GLOBAL bounds - >= -18000 @ 2040.39
2145.94/2151.97	c GLOBAL bounds - >= -18000 @ 2040.64
2146.45/2152.49	c GLOBAL bounds - >= -18000 @ 2040.91
2146.94/2153.00	c GLOBAL bounds - >= -18000 @ 2041.17
2147.54/2153.51	c GLOBAL bounds - >= -18000 @ 2041.43
2147.94/2153.95	c GLOBAL bounds - >= -18000 @ 2041.63
2147.94/2153.95	c GLOBAL bounds - >= -18000 @ 2041.63
2156.51/2162.51	c GLOBAL bounds - >= -18000 @ 2050.17
2156.51/2162.56	c GLOBAL bounds - >= -18000 @ 2050.22
2165.10/2171.11	c GLOBAL bounds - >= -18000 @ 2058.74
2173.57/2179.66	c GLOBAL bounds - >= -18000 @ 2067.27
2173.67/2179.71	c GLOBAL bounds - >= -18000 @ 2067.32
2182.15/2188.25	c GLOBAL bounds - >= -18000 @ 2075.84
2190.73/2196.82	c GLOBAL bounds - >= -18000 @ 2084.38
2199.20/2205.36	c GLOBAL bounds - >= -18000 @ 2092.88
2207.78/2213.90	c GLOBAL bounds - >= -18000 @ 2101.41
2216.26/2222.46	c GLOBAL bounds - >= -18000 @ 2109.94
2224.84/2231.02	c GLOBAL bounds - >= -18000 @ 2118.48
2231.71/2237.98	c GLOBAL bounds - >= -18000 @ 2125.41
2241.09/2247.33	c GLOBAL bounds - >= -18000 @ 2134.73
2241.49/2247.75	c GLOBAL bounds - >= -18000 @ 2134.89
2249.96/2256.28	c GLOBAL bounds - >= -18000 @ 2143.39
2250.37/2256.69	c GLOBAL bounds - >= -18000 @ 2143.57
2258.95/2265.22	c GLOBAL bounds - >= -18000 @ 2152.08
2259.34/2265.64	c GLOBAL bounds - >= -18000 @ 2152.25
2267.83/2274.19	c GLOBAL bounds - >= -18000 @ 2160.78
2268.32/2274.60	c GLOBAL bounds - >= -18000 @ 2160.96
2276.80/2283.14	c GLOBAL bounds - >= -18000 @ 2169.47
2277.19/2283.55	c GLOBAL bounds - >= -18000 @ 2169.63
2285.78/2292.15	c GLOBAL bounds - >= -18000 @ 2178.19
2286.17/2292.56	c GLOBAL bounds - >= -18000 @ 2178.35
2294.75/2301.16	c GLOBAL bounds - >= -18000 @ 2186.92
2295.15/2301.58	c GLOBAL bounds - >= -18000 @ 2187.1
2303.73/2310.10	c GLOBAL bounds - >= -18000 @ 2195.6
2304.12/2310.52	c GLOBAL bounds - >= -18000 @ 2195.78
2312.61/2319.08	c GLOBAL bounds - >= -18000 @ 2204.32
2313.10/2319.50	c GLOBAL bounds - >= -18000 @ 2204.48
2321.58/2328.08	c GLOBAL bounds - >= -18000 @ 2213.04
2322.08/2328.51	c GLOBAL bounds - >= -18000 @ 2213.2
2322.48/2328.94	c GLOBAL bounds - >= -18000 @ 2213.38
2322.87/2329.36	c GLOBAL bounds - >= -18000 @ 2213.57
2323.28/2329.79	c GLOBAL bounds - >= -18000 @ 2213.74
2323.78/2330.21	c GLOBAL bounds - >= -18000 @ 2213.92
2324.27/2330.70	c GLOBAL bounds - >= -18000 @ 2214.17
2324.68/2331.19	c GLOBAL bounds - >= -18000 @ 2214.41
2325.27/2331.77	c GLOBAL bounds - >= -18000 @ 2214.74
2325.77/2332.28	c GLOBAL bounds - >= -18000 @ 2215.01
2326.26/2332.79	c GLOBAL bounds - >= -18000 @ 2215.26
2326.76/2333.29	c GLOBAL bounds - >= -18000 @ 2215.5
2326.76/2333.29	c GLOBAL bounds - >= -18000 @ 2215.51
2326.86/2333.32	c GLOBAL bounds - >= -18000 @ 2215.54
2326.86/2333.33	c GLOBAL bounds - >= -18000 @ 2215.54
2326.86/2333.33	c GLOBAL bounds - >= -18000 @ 2215.55
2326.86/2333.34	c GLOBAL bounds - >= -18000 @ 2215.55
2326.86/2333.34	c GLOBAL bounds - >= -18000 @ 2215.56
2326.86/2333.37	c GLOBAL bounds - >= -18000 @ 2215.59
2326.86/2333.39	c GLOBAL bounds - >= -18000 @ 2215.61
2327.36/2333.81	c GLOBAL bounds - >= -18000 @ 2215.79
2336.04/2342.51	c GLOBAL bounds - >= -18000 @ 2224.45
2336.44/2342.92	c GLOBAL bounds - >= -18000 @ 2224.63
2345.11/2351.61	c GLOBAL bounds - >= -18000 @ 2233.29
2345.52/2352.02	c GLOBAL bounds - >= -18000 @ 2233.47
2354.19/2360.74	c GLOBAL bounds - >= -18000 @ 2242.15
2354.58/2361.16	c GLOBAL bounds - >= -18000 @ 2242.33
2363.25/2369.88	c GLOBAL bounds - >= -18000 @ 2251
2363.66/2370.29	c GLOBAL bounds - >= -18000 @ 2251.17
2372.33/2378.99	c GLOBAL bounds - >= -18000 @ 2259.84
2372.83/2379.40	c GLOBAL bounds - >= -18000 @ 2260
2381.41/2388.09	c GLOBAL bounds - >= -18000 @ 2268.66
2381.90/2388.51	c GLOBAL bounds - >= -18000 @ 2268.81
2390.48/2397.19	c GLOBAL bounds - >= -18000 @ 2277.47
2390.98/2397.61	c GLOBAL bounds - >= -18000 @ 2277.65
2399.55/2406.21	c GLOBAL bounds - >= -18000 @ 2286.23
2399.96/2406.63	c GLOBAL bounds - >= -18000 @ 2286.42
2408.44/2415.17	c GLOBAL bounds - >= -18000 @ 2294.93
2408.93/2415.60	c GLOBAL bounds - >= -18000 @ 2295.1
2409.34/2416.03	c GLOBAL bounds - >= -18000 @ 2295.29
2409.83/2416.52	c GLOBAL bounds - >= -18000 @ 2295.53
2410.22/2416.95	c GLOBAL bounds - >= -18000 @ 2295.72
2410.62/2417.38	c GLOBAL bounds - >= -18000 @ 2295.92
2411.12/2417.87	c GLOBAL bounds - >= -18000 @ 2296.18
2411.82/2418.53	c GLOBAL bounds - >= -18000 @ 2296.48
2412.32/2419.02	c GLOBAL bounds - >= -18000 @ 2296.73
2412.72/2419.46	c GLOBAL bounds - >= -18000 @ 2296.92
2413.22/2419.95	c GLOBAL bounds - >= -18000 @ 2297.15
2413.71/2420.45	c GLOBAL bounds - >= -18000 @ 2297.41
2413.71/2420.45	c GLOBAL bounds - >= -18000 @ 2297.41
2422.29/2429.08	c GLOBAL bounds - >= -18000 @ 2306
2422.40/2429.13	c GLOBAL bounds - >= -18000 @ 2306.04
2422.40/2429.18	c GLOBAL bounds - >= -18000 @ 2306.09
2422.49/2429.23	c GLOBAL bounds - >= -18000 @ 2306.14
2431.07/2437.80	c GLOBAL bounds - >= -18000 @ 2314.68
2439.65/2446.41	c GLOBAL bounds - >= -18000 @ 2323.27
2448.22/2455.01	c GLOBAL bounds - >= -18000 @ 2331.83
2456.69/2463.60	c GLOBAL bounds - >= -18000 @ 2340.4
2465.38/2472.22	c GLOBAL bounds - >= -18000 @ 2348.99
2473.95/2480.89	c GLOBAL bounds - >= -18000 @ 2357.64
2482.53/2489.48	c GLOBAL bounds - >= -18000 @ 2366.21
2491.21/2498.11	c GLOBAL bounds - >= -18000 @ 2374.82
2491.61/2498.53	c GLOBAL bounds - >= -18000 @ 2374.97
2500.28/2507.22	c GLOBAL bounds - >= -18000 @ 2383.65
2500.68/2507.64	c GLOBAL bounds - >= -18000 @ 2383.8
2509.46/2516.40	c GLOBAL bounds - >= -18000 @ 2392.54
2509.86/2516.81	c GLOBAL bounds - >= -18000 @ 2392.7
2518.44/2525.46	c GLOBAL bounds - >= -18000 @ 2401.32
2518.83/2525.87	c GLOBAL bounds - >= -18000 @ 2401.46
2527.41/2534.47	c GLOBAL bounds - >= -18000 @ 2410.04
2527.81/2534.88	c GLOBAL bounds - >= -18000 @ 2410.2
2536.39/2543.49	c GLOBAL bounds - >= -18000 @ 2418.79
2536.88/2543.90	c GLOBAL bounds - >= -18000 @ 2418.97
2545.36/2552.48	c GLOBAL bounds - >= -18000 @ 2427.52
2545.86/2552.90	c GLOBAL bounds - >= -18000 @ 2427.69
2554.34/2561.48	c GLOBAL bounds - >= -18000 @ 2436.24
2554.74/2561.89	c GLOBAL bounds - >= -18000 @ 2436.4
2563.32/2570.48	c GLOBAL bounds - >= -18000 @ 2444.97
2563.81/2570.90	c GLOBAL bounds - >= -18000 @ 2445.17
2572.29/2579.44	c GLOBAL bounds - >= -18000 @ 2453.68
2572.70/2579.86	c GLOBAL bounds - >= -18000 @ 2453.85
2573.09/2580.29	c GLOBAL bounds - >= -18000 @ 2454.02
2573.59/2580.78	c GLOBAL bounds - >= -18000 @ 2454.25
2574.09/2581.21	c GLOBAL bounds - >= -18000 @ 2454.44
2574.48/2581.63	c GLOBAL bounds - >= -18000 @ 2454.61
2574.90/2582.06	c GLOBAL bounds - >= -18000 @ 2454.78
2575.39/2582.56	c GLOBAL bounds - >= -18000 @ 2455.04
2575.78/2582.99	c GLOBAL bounds - >= -18000 @ 2455.23
2576.28/2583.49	c GLOBAL bounds - >= -18000 @ 2455.49
2576.78/2583.98	c GLOBAL bounds - >= -18000 @ 2455.75
2577.28/2584.42	c GLOBAL bounds - >= -18000 @ 2455.96
2577.28/2584.42	c GLOBAL bounds - >= -18000 @ 2455.96
2585.76/2592.98	c GLOBAL bounds - >= -18000 @ 2464.49
2585.86/2593.02	c GLOBAL bounds - >= -18000 @ 2464.54
2594.34/2601.55	c GLOBAL bounds - >= -18000 @ 2473.05
2602.82/2610.10	c GLOBAL bounds - >= -18000 @ 2481.57
2611.39/2618.65	c GLOBAL bounds - >= -18000 @ 2490.1
2619.97/2627.25	c GLOBAL bounds - >= -18000 @ 2498.67
2628.44/2635.78	c GLOBAL bounds - >= -18000 @ 2507.18
2637.13/2644.44	c GLOBAL bounds - >= -18000 @ 2515.82
2645.71/2653.06	c GLOBAL bounds - >= -18000 @ 2524.41
2654.27/2661.65	c GLOBAL bounds - >= -18000 @ 2532.97
2662.77/2670.15	c GLOBAL bounds - >= -18000 @ 2541.45
2671.24/2678.62	c GLOBAL bounds - >= -18000 @ 2549.9
2671.64/2679.04	c GLOBAL bounds - >= -18000 @ 2550.08
2678.42/2685.85	c GLOBAL bounds - >= -18000 @ 2556.87
2678.82/2686.27	c GLOBAL bounds - >= -18000 @ 2557.05
2685.61/2693.08	c GLOBAL bounds - >= -18000 @ 2563.84
2686.09/2693.50	c GLOBAL bounds - >= -18000 @ 2564.01
2692.78/2700.27	c GLOBAL bounds - >= -18000 @ 2570.76
2693.18/2700.68	c GLOBAL bounds - >= -18000 @ 2570.91
2699.97/2707.49	c GLOBAL bounds - >= -18000 @ 2577.7
2700.46/2707.91	c GLOBAL bounds - >= -18000 @ 2577.87
2707.24/2714.74	c GLOBAL bounds - >= -18000 @ 2584.69
2707.64/2715.15	c GLOBAL bounds - >= -18000 @ 2584.87
2714.42/2722.00	c GLOBAL bounds - >= -18000 @ 2591.69
2714.93/2722.41	c GLOBAL bounds - >= -18000 @ 2591.87
2723.51/2731.08	c GLOBAL bounds - >= -18000 @ 2600.51
2724.00/2731.50	c GLOBAL bounds - >= -18000 @ 2600.69
2732.77/2740.35	c GLOBAL bounds - >= -18000 @ 2609.51
2733.17/2740.78	c GLOBAL bounds - >= -18000 @ 2609.68
2746.04/2753.69	c GLOBAL bounds - >= -18000 @ 2622.53
2746.55/2754.11	c GLOBAL bounds - >= -18000 @ 2622.71
2746.93/2754.54	c GLOBAL bounds - >= -18000 @ 2622.9
2747.34/2754.97	c GLOBAL bounds - >= -18000 @ 2623.08
2747.84/2755.40	c GLOBAL bounds - >= -18000 @ 2623.25
2748.23/2755.83	c GLOBAL bounds - >= -18000 @ 2623.42
2748.64/2756.26	c GLOBAL bounds - >= -18000 @ 2623.6
2749.13/2756.70	c GLOBAL bounds - >= -18000 @ 2623.79
2749.63/2757.21	c GLOBAL bounds - >= -18000 @ 2624.05
2750.03/2757.65	c GLOBAL bounds - >= -18000 @ 2624.24
2750.54/2758.14	c GLOBAL bounds - >= -18000 @ 2624.48
2751.03/2758.65	c GLOBAL bounds - >= -18000 @ 2624.74
2751.03/2758.65	c GLOBAL bounds - >= -18000 @ 2624.74
2758.21/2765.88	c GLOBAL bounds - >= -18000 @ 2631.93
2758.31/2765.93	c GLOBAL bounds - >= -18000 @ 2631.97
2758.31/2765.98	c GLOBAL bounds - >= -18000 @ 2632.03
2758.41/2766.04	c GLOBAL bounds - >= -18000 @ 2632.09
2758.51/2766.17	c GLOBAL bounds - >= -18000 @ 2632.22
2758.61/2766.23	c GLOBAL bounds - >= -18000 @ 2632.28
2758.61/2766.29	c GLOBAL bounds - >= -18000 @ 2632.34
2758.71/2766.35	c GLOBAL bounds - >= -18000 @ 2632.4
2758.80/2766.41	c GLOBAL bounds - >= -18000 @ 2632.46
2765.49/2773.19	c GLOBAL bounds - >= -18000 @ 2639.22
2766.69/2774.38	c GLOBAL bounds - >= -18000 @ 2640.4
2776.86/2784.55	c GLOBAL bounds - >= -18000 @ 2650.36
2777.26/2784.97	c GLOBAL bounds - >= -18000 @ 2650.53
2784.45/2792.18	c GLOBAL bounds - >= -18000 @ 2657.71
2784.83/2792.59	c GLOBAL bounds - >= -18000 @ 2657.89
2792.12/2799.81	c GLOBAL bounds - >= -18000 @ 2665.08
2792.51/2800.22	c GLOBAL bounds - >= -18000 @ 2665.24
2792.61/2800.35	c GLOBAL bounds - >= -18000 @ 2665.37
2793.02/2800.77	c GLOBAL bounds - >= -18000 @ 2665.54
2793.12/2800.83	c GLOBAL bounds - >= -18000 @ 2665.6
2793.51/2801.24	c GLOBAL bounds - >= -18000 @ 2665.77
2793.61/2801.30	c GLOBAL bounds - >= -18000 @ 2665.83
2794.01/2801.71	c GLOBAL bounds - >= -18000 @ 2666.01
2794.01/2801.77	c GLOBAL bounds - >= -18000 @ 2666.07
2794.41/2802.20	c GLOBAL bounds - >= -18000 @ 2666.26
2801.59/2809.31	c GLOBAL bounds - >= -18000 @ 2673.35
2801.99/2809.73	c GLOBAL bounds - >= -18000 @ 2673.52
2808.87/2816.66	c GLOBAL bounds - >= -18000 @ 2680.42
2809.27/2817.09	c GLOBAL bounds - >= -18000 @ 2680.59
2817.44/2825.20	c GLOBAL bounds - >= -18000 @ 2688.68
2817.85/2825.64	c GLOBAL bounds - >= -18000 @ 2688.87
2818.25/2826.08	c GLOBAL bounds - >= -18000 @ 2689.05
2818.75/2826.58	c GLOBAL bounds - >= -18000 @ 2689.3
2819.25/2827.09	c GLOBAL bounds - >= -18000 @ 2689.58
2819.84/2827.60	c GLOBAL bounds - >= -18000 @ 2689.83
2820.25/2828.10	c GLOBAL bounds - >= -18000 @ 2690.08
2820.74/2828.59	c GLOBAL bounds - >= -18000 @ 2690.33
2821.34/2829.11	c GLOBAL bounds - >= -18000 @ 2690.58
2821.84/2829.65	c GLOBAL bounds - >= -18000 @ 2690.88
2822.35/2830.16	c GLOBAL bounds - >= -18000 @ 2691.13
2822.84/2830.66	c GLOBAL bounds - >= -18000 @ 2691.38
2823.33/2831.16	c GLOBAL bounds - >= -18000 @ 2691.65
2823.33/2831.16	c GLOBAL bounds - >= -18000 @ 2691.65
2823.43/2831.24	c GLOBAL bounds - >= -18000 @ 2691.72
2823.43/2831.28	c GLOBAL bounds - >= -18000 @ 2691.76
2823.53/2831.32	c GLOBAL bounds - >= -18000 @ 2691.81
2823.53/2831.36	c GLOBAL bounds - >= -18000 @ 2691.85
2823.63/2831.41	c GLOBAL bounds - >= -18000 @ 2691.89
2823.63/2831.45	c GLOBAL bounds - >= -18000 @ 2691.93
2823.63/2831.49	c GLOBAL bounds - >= -18000 @ 2691.98
2823.73/2831.53	c GLOBAL bounds - >= -18000 @ 2692.02
2823.73/2831.58	c GLOBAL bounds - >= -18000 @ 2692.06
2823.83/2831.62	c GLOBAL bounds - >= -18000 @ 2692.1
2830.61/2838.49	c GLOBAL bounds - >= -18000 @ 2698.95
2830.71/2838.56	c GLOBAL bounds - >= -18000 @ 2699.02
2830.71/2838.58	c GLOBAL bounds - >= -18000 @ 2699.04
2831.11/2839.00	c GLOBAL bounds - >= -18000 @ 2699.22
2831.22/2839.04	c GLOBAL bounds - >= -18000 @ 2699.27
2831.62/2839.46	c GLOBAL bounds - >= -18000 @ 2699.43
2831.71/2839.50	c GLOBAL bounds - >= -18000 @ 2699.48
2832.11/2839.92	c GLOBAL bounds - >= -18000 @ 2699.65
2832.11/2839.96	c GLOBAL bounds - >= -18000 @ 2699.7
2832.51/2840.38	c GLOBAL bounds - >= -18000 @ 2699.86
2832.61/2840.42	c GLOBAL bounds - >= -18000 @ 2699.9
2833.01/2840.84	c GLOBAL bounds - >= -18000 @ 2700.08
2833.01/2840.88	c GLOBAL bounds - >= -18000 @ 2700.12
2833.40/2841.30	c GLOBAL bounds - >= -18000 @ 2700.29
2833.50/2841.34	c GLOBAL bounds - >= -18000 @ 2700.33
2833.91/2841.76	c GLOBAL bounds - >= -18000 @ 2700.52
2834.01/2841.81	c GLOBAL bounds - >= -18000 @ 2700.56
2834.40/2842.23	c GLOBAL bounds - >= -18000 @ 2700.74
2834.40/2842.27	c GLOBAL bounds - >= -18000 @ 2700.78
2834.91/2842.70	c GLOBAL bounds - >= -18000 @ 2700.97
2841.69/2849.55	c GLOBAL bounds - >= -18000 @ 2707.81
2842.09/2849.98	c GLOBAL bounds - >= -18000 @ 2707.99
2842.58/2850.42	c GLOBAL bounds - >= -18000 @ 2708.19
2842.99/2850.85	c GLOBAL bounds - >= -18000 @ 2708.38
2843.39/2851.29	c GLOBAL bounds - >= -18000 @ 2708.57
2843.88/2851.73	c GLOBAL bounds - >= -18000 @ 2708.79
2844.29/2852.17	c GLOBAL bounds - >= -18000 @ 2708.97
2844.78/2852.67	c GLOBAL bounds - >= -18000 @ 2709.21
2845.28/2853.17	c GLOBAL bounds - >= -18000 @ 2709.46
2845.77/2853.61	c GLOBAL bounds - >= -18000 @ 2709.66
2846.28/2854.12	c GLOBAL bounds - >= -18000 @ 2709.93
2846.77/2854.62	c GLOBAL bounds - >= -18000 @ 2710.18
2846.77/2854.63	c GLOBAL bounds - >= -18000 @ 2710.18
2846.77/2854.67	c GLOBAL bounds - >= -18000 @ 2710.23
2846.77/2854.68	c GLOBAL bounds - >= -18000 @ 2710.24
2846.87/2854.72	c GLOBAL bounds - >= -18000 @ 2710.28
2846.87/2854.77	c GLOBAL bounds - >= -18000 @ 2710.33
2846.97/2854.81	c GLOBAL bounds - >= -18000 @ 2710.37
2846.97/2854.86	c GLOBAL bounds - >= -18000 @ 2710.41
2847.07/2854.90	c GLOBAL bounds - >= -18000 @ 2710.46
2847.07/2854.94	c GLOBAL bounds - >= -18000 @ 2710.5
2847.07/2854.99	c GLOBAL bounds - >= -18000 @ 2710.54
2847.17/2855.03	c GLOBAL bounds - >= -18000 @ 2710.59
2853.95/2861.89	c GLOBAL bounds - >= -18000 @ 2717.43
2856.85/2864.75	c GLOBAL bounds - >= -18000 @ 2720.28
2857.25/2865.18	c GLOBAL bounds - >= -18000 @ 2720.47
2866.22/2874.15	c GLOBAL bounds - >= -18000 @ 2729.41
2866.62/2874.57	c GLOBAL bounds - >= -18000 @ 2729.58
2875.60/2883.56	c GLOBAL bounds - >= -18000 @ 2738.54
2876.00/2883.97	c GLOBAL bounds - >= -18000 @ 2738.71
2885.17/2893.15	c GLOBAL bounds - >= -18000 @ 2747.84
2885.57/2893.57	c GLOBAL bounds - >= -18000 @ 2748.04
2885.77/2893.71	c GLOBAL bounds - >= -18000 @ 2748.18
2886.17/2894.13	c GLOBAL bounds - >= -18000 @ 2748.36
2890.36/2898.36	c GLOBAL bounds - >= -18000 @ 2752.57
2890.75/2898.78	c GLOBAL bounds - >= -18000 @ 2752.74
2899.63/2907.66	c GLOBAL bounds - >= -18000 @ 2761.6
2900.04/2908.09	c GLOBAL bounds - >= -18000 @ 2761.77
2900.13/2908.14	c GLOBAL bounds - >= -18000 @ 2761.82
2900.53/2908.57	c GLOBAL bounds - >= -18000 @ 2762
2900.73/2908.71	c GLOBAL bounds - >= -18000 @ 2762.15
2901.13/2909.15	c GLOBAL bounds - >= -18000 @ 2762.33
2934.22/2942.33	c #Conflicts:       2000 | #Constraints:     403747
2934.22/2942.33	c INPROCESSING
2934.22/2942.33	c GARBAGE COLLECT
2934.22/2942.33	c GLOBAL bounds - >= -18000 @ 2795.17
2934.62/2942.77	c GLOBAL bounds - >= -18000 @ 2795.38
2935.12/2943.21	c GLOBAL bounds - >= -18000 @ 2795.59
2935.62/2943.71	c GLOBAL bounds - >= -18000 @ 2795.83
2936.02/2944.15	c GLOBAL bounds - >= -18000 @ 2796.02
2936.42/2944.59	c GLOBAL bounds - >= -18000 @ 2796.21
2936.92/2945.03	c GLOBAL bounds - >= -18000 @ 2796.39
2937.31/2945.46	c GLOBAL bounds - >= -18000 @ 2796.58
2937.81/2945.90	c GLOBAL bounds - >= -18000 @ 2796.76
2938.31/2946.40	c GLOBAL bounds - >= -18000 @ 2797.02
2938.81/2946.91	c GLOBAL bounds - >= -18000 @ 2797.29
2939.31/2947.42	c GLOBAL bounds - >= -18000 @ 2797.54
2939.81/2947.93	c GLOBAL bounds - >= -18000 @ 2797.8
2939.81/2947.93	c GLOBAL bounds - >= -18000 @ 2797.8
2939.92/2948.01	c GLOBAL bounds - >= -18000 @ 2797.88
2939.92/2948.06	c GLOBAL bounds - >= -18000 @ 2797.94
2940.02/2948.12	c GLOBAL bounds - >= -18000 @ 2797.99
2940.02/2948.17	c GLOBAL bounds - >= -18000 @ 2798.04
2940.11/2948.23	c GLOBAL bounds - >= -18000 @ 2798.1
2940.11/2948.28	c GLOBAL bounds - >= -18000 @ 2798.15
2940.21/2948.33	c GLOBAL bounds - >= -18000 @ 2798.2
2940.21/2948.39	c GLOBAL bounds - >= -18000 @ 2798.26
2940.31/2948.44	c GLOBAL bounds - >= -18000 @ 2798.31
2940.31/2948.49	c GLOBAL bounds - >= -18000 @ 2798.36
2949.48/2957.62	c GLOBAL bounds - >= -18000 @ 2807.44
2991.26/2999.60	c GLOBAL bounds - >= -18000 @ 2849.28
3039.32/3047.74	c GLOBAL bounds - >= -18000 @ 2897.23
3039.73/3048.16	c GLOBAL bounds - >= -18000 @ 2897.4
3039.82/3048.23	c GLOBAL bounds - >= -18000 @ 2897.47
3040.22/3048.65	c GLOBAL bounds - >= -18000 @ 2897.64
3040.32/3048.72	c GLOBAL bounds - >= -18000 @ 2897.71
3040.72/3049.14	c GLOBAL bounds - >= -18000 @ 2897.88
3049.70/3058.10	c GLOBAL bounds - >= -18000 @ 2906.82
3050.10/3058.52	c GLOBAL bounds - >= -18000 @ 2906.99
3058.98/3067.40	c GLOBAL bounds - >= -18000 @ 2915.85
3059.37/3067.82	c GLOBAL bounds - >= -18000 @ 2916.02
3068.35/3076.87	c GLOBAL bounds - >= -18000 @ 2925.03
3068.75/3077.29	c GLOBAL bounds - >= -18000 @ 2925.19
3077.83/3086.32	c GLOBAL bounds - >= -18000 @ 2934.2
3078.23/3086.74	c GLOBAL bounds - >= -18000 @ 2934.37
3087.01/3095.59	c GLOBAL bounds - >= -18000 @ 2943.21
3087.52/3096.01	c GLOBAL bounds - >= -18000 @ 2943.38
3096.29/3104.83	c GLOBAL bounds - >= -18000 @ 2952.18
3096.68/3105.25	c GLOBAL bounds - >= -18000 @ 2952.35
3105.47/3114.09	c GLOBAL bounds - >= -18000 @ 2961.17
3105.96/3114.52	c GLOBAL bounds - >= -18000 @ 2961.35
3106.37/3114.96	c GLOBAL bounds - >= -18000 @ 2961.54
3106.76/3115.39	c GLOBAL bounds - >= -18000 @ 2961.73
3107.27/3115.83	c GLOBAL bounds - >= -18000 @ 2961.93
3107.67/3116.26	c GLOBAL bounds - >= -18000 @ 2962.11
3108.16/3116.70	c GLOBAL bounds - >= -18000 @ 2962.31
3108.57/3117.19	c GLOBAL bounds - >= -18000 @ 2962.55
3109.17/3117.70	c GLOBAL bounds - >= -18000 @ 2962.81
3109.66/3118.21	c GLOBAL bounds - >= -18000 @ 2963.09
3110.16/3118.71	c GLOBAL bounds - >= -18000 @ 2963.33
3110.66/3119.22	c GLOBAL bounds - >= -18000 @ 2963.6
3110.66/3119.22	c GLOBAL bounds - >= -18000 @ 2963.6
3110.76/3119.30	c GLOBAL bounds - >= -18000 @ 2963.67
3110.76/3119.34	c GLOBAL bounds - >= -18000 @ 2963.72
3110.76/3119.39	c GLOBAL bounds - >= -18000 @ 2963.77
3110.86/3119.45	c GLOBAL bounds - >= -18000 @ 2963.83
3110.96/3119.50	c GLOBAL bounds - >= -18000 @ 2963.88
3110.96/3119.56	c GLOBAL bounds - >= -18000 @ 2963.93
3111.06/3119.60	c GLOBAL bounds - >= -18000 @ 2963.98
3111.06/3119.65	c GLOBAL bounds - >= -18000 @ 2964.03
3111.06/3119.69	c GLOBAL bounds - >= -18000 @ 2964.07
3111.16/3119.74	c GLOBAL bounds - >= -18000 @ 2964.12
3111.16/3119.79	c GLOBAL bounds - >= -18000 @ 2964.16
3111.26/3119.85	c GLOBAL bounds - >= -18000 @ 2964.22
3111.66/3120.27	c GLOBAL bounds - >= -18000 @ 2964.41
3111.75/3120.33	c GLOBAL bounds - >= -18000 @ 2964.46
3112.16/3120.75	c GLOBAL bounds - >= -18000 @ 2964.63
3112.25/3120.81	c GLOBAL bounds - >= -18000 @ 2964.69
3112.66/3121.23	c GLOBAL bounds - >= -18000 @ 2964.85
3112.66/3121.28	c GLOBAL bounds - >= -18000 @ 2964.9
3113.16/3121.70	c GLOBAL bounds - >= -18000 @ 2965.07
3113.16/3121.75	c GLOBAL bounds - >= -18000 @ 2965.13
3113.56/3122.18	c GLOBAL bounds - >= -18000 @ 2965.31
3113.65/3122.23	c GLOBAL bounds - >= -18000 @ 2965.36
3114.06/3122.65	c GLOBAL bounds - >= -18000 @ 2965.52
3114.15/3122.70	c GLOBAL bounds - >= -18000 @ 2965.58
3114.56/3123.11	c GLOBAL bounds - >= -18000 @ 2965.75
3114.56/3123.17	c GLOBAL bounds - >= -18000 @ 2965.81
3114.95/3123.58	c GLOBAL bounds - >= -18000 @ 2965.97
3115.05/3123.64	c GLOBAL bounds - >= -18000 @ 2966.02
3115.45/3124.07	c GLOBAL bounds - >= -18000 @ 2966.2
3124.33/3132.92	c GLOBAL bounds - >= -18000 @ 2975.03
3124.73/3133.34	c GLOBAL bounds - >= -18000 @ 2975.22
3125.13/3133.77	c GLOBAL bounds - >= -18000 @ 2975.41
3125.62/3134.20	c GLOBAL bounds - >= -18000 @ 2975.58
3126.03/3134.63	c GLOBAL bounds - >= -18000 @ 2975.8
3126.43/3135.07	c GLOBAL bounds - >= -18000 @ 2975.98
3126.92/3135.50	c GLOBAL bounds - >= -18000 @ 2976.16
3127.43/3136.06	c GLOBAL bounds - >= -18000 @ 2976.45
3127.92/3136.56	c GLOBAL bounds - >= -18000 @ 2976.7
3128.42/3137.06	c GLOBAL bounds - >= -18000 @ 2976.96
3128.92/3137.58	c GLOBAL bounds - >= -18000 @ 2977.25
3129.42/3138.09	c GLOBAL bounds - >= -18000 @ 2977.51
3129.42/3138.09	c GLOBAL bounds - >= -18000 @ 2977.51
3129.53/3138.16	c GLOBAL bounds - >= -18000 @ 2977.58
3129.62/3138.20	c GLOBAL bounds - >= -18000 @ 2977.62
3129.62/3138.26	c GLOBAL bounds - >= -18000 @ 2977.68
3129.72/3138.31	c GLOBAL bounds - >= -18000 @ 2977.73
3129.72/3138.37	c GLOBAL bounds - >= -18000 @ 2977.79
3129.82/3138.42	c GLOBAL bounds - >= -18000 @ 2977.84
3129.82/3138.48	c GLOBAL bounds - >= -18000 @ 2977.9
3129.92/3138.53	c GLOBAL bounds - >= -18000 @ 2977.95
3129.92/3138.59	c GLOBAL bounds - >= -18000 @ 2978.01
3130.02/3138.64	c GLOBAL bounds - >= -18000 @ 2978.06
3138.90/3147.50	c GLOBAL bounds - >= -18000 @ 2986.9
3147.68/3156.35	c GLOBAL bounds - >= -18000 @ 2995.73
3148.08/3156.79	c GLOBAL bounds - >= -18000 @ 2995.93
3148.18/3156.83	c GLOBAL bounds - >= -18000 @ 2995.98
3148.58/3157.27	c GLOBAL bounds - >= -18000 @ 2996.17
3148.68/3157.31	c GLOBAL bounds - >= -18000 @ 2996.21
3149.18/3157.82	c GLOBAL bounds - >= -18000 @ 2996.48
3149.18/3157.88	c GLOBAL bounds - >= -18000 @ 2996.54
3149.58/3158.29	c GLOBAL bounds - >= -18000 @ 2996.71
3149.68/3158.35	c GLOBAL bounds - >= -18000 @ 2996.77
3150.08/3158.77	c GLOBAL bounds - >= -18000 @ 2996.96
3150.17/3158.83	c GLOBAL bounds - >= -18000 @ 2997.01
3150.58/3159.25	c GLOBAL bounds - >= -18000 @ 2997.19
3150.67/3159.31	c GLOBAL bounds - >= -18000 @ 2997.25
3151.08/3159.73	c GLOBAL bounds - >= -18000 @ 2997.42
3151.08/3159.78	c GLOBAL bounds - >= -18000 @ 2997.47
3151.57/3160.21	c GLOBAL bounds - >= -18000 @ 2997.63
3151.57/3160.27	c GLOBAL bounds - >= -18000 @ 2997.69
3151.97/3160.69	c GLOBAL bounds - >= -18000 @ 2997.87
3152.07/3160.74	c GLOBAL bounds - >= -18000 @ 2997.92
3152.48/3161.17	c GLOBAL bounds - >= -18000 @ 2998.09
3152.97/3161.60	c GLOBAL bounds - >= -18000 @ 2998.29
3153.48/3162.10	c GLOBAL bounds - >= -18000 @ 2998.52
3153.87/3162.54	c GLOBAL bounds - >= -18000 @ 2998.72
3154.38/3163.03	c GLOBAL bounds - >= -18000 @ 2998.96
3154.77/3163.46	c GLOBAL bounds - >= -18000 @ 2999.16
3155.26/3163.96	c GLOBAL bounds - >= -18000 @ 2999.42
3155.76/3164.47	c GLOBAL bounds - >= -18000 @ 2999.67
3156.26/3164.91	c GLOBAL bounds - >= -18000 @ 2999.88
3156.76/3165.44	c GLOBAL bounds - >= -18000 @ 3000.16
3156.76/3165.44	c GLOBAL bounds - >= -18000 @ 3000.16
3156.87/3165.51	c GLOBAL bounds - >= -18000 @ 3000.23
3156.87/3165.55	c GLOBAL bounds - >= -18000 @ 3000.27
3156.87/3165.59	c GLOBAL bounds - >= -18000 @ 3000.31
3156.97/3165.64	c GLOBAL bounds - >= -18000 @ 3000.35
3156.97/3165.69	c GLOBAL bounds - >= -18000 @ 3000.41
3157.07/3165.75	c GLOBAL bounds - >= -18000 @ 3000.46
3157.17/3165.80	c GLOBAL bounds - >= -18000 @ 3000.52
3157.17/3165.86	c GLOBAL bounds - >= -18000 @ 3000.57
3157.27/3165.91	c GLOBAL bounds - >= -18000 @ 3000.63
3157.27/3165.97	c GLOBAL bounds - >= -18000 @ 3000.68
3166.15/3174.85	c GLOBAL bounds - >= -18000 @ 3009.52
3166.54/3175.27	c GLOBAL bounds - >= -18000 @ 3009.71
3166.64/3175.33	c GLOBAL bounds - >= -18000 @ 3009.77
3167.04/3175.75	c GLOBAL bounds - >= -18000 @ 3009.94
3167.14/3175.80	c GLOBAL bounds - >= -18000 @ 3009.99
3167.54/3176.23	c GLOBAL bounds - >= -18000 @ 3010.16
3167.54/3176.28	c GLOBAL bounds - >= -18000 @ 3010.22
3167.94/3176.69	c GLOBAL bounds - >= -18000 @ 3010.37
3168.04/3176.75	c GLOBAL bounds - >= -18000 @ 3010.43
3168.45/3177.16	c GLOBAL bounds - >= -18000 @ 3010.6
3168.54/3177.22	c GLOBAL bounds - >= -18000 @ 3010.66
3168.94/3177.63	c GLOBAL bounds - >= -18000 @ 3010.82
3168.94/3177.69	c GLOBAL bounds - >= -18000 @ 3010.88
3169.44/3178.10	c GLOBAL bounds - >= -18000 @ 3011.05
3169.44/3178.16	c GLOBAL bounds - >= -18000 @ 3011.11
3169.84/3178.58	c GLOBAL bounds - >= -18000 @ 3011.29
3169.93/3178.63	c GLOBAL bounds - >= -18000 @ 3011.34
3170.34/3179.06	c GLOBAL bounds - >= -18000 @ 3011.53
3179.21/3187.90	c GLOBAL bounds - >= -18000 @ 3020.35
3179.62/3188.32	c GLOBAL bounds - >= -18000 @ 3020.54
3180.01/3188.76	c GLOBAL bounds - >= -18000 @ 3020.73
3180.42/3189.20	c GLOBAL bounds - >= -18000 @ 3020.92
3180.91/3189.63	c GLOBAL bounds - >= -18000 @ 3021.1
3181.32/3190.07	c GLOBAL bounds - >= -18000 @ 3021.29
3181.81/3190.51	c GLOBAL bounds - >= -18000 @ 3021.48
3182.21/3190.94	c GLOBAL bounds - >= -18000 @ 3021.67
3182.71/3191.46	c GLOBAL bounds - >= -18000 @ 3021.95
3183.21/3191.98	c GLOBAL bounds - >= -18000 @ 3022.22
3183.71/3192.48	c GLOBAL bounds - >= -18000 @ 3022.47
3184.20/3192.93	c GLOBAL bounds - >= -18000 @ 3022.67
3184.20/3192.93	c GLOBAL bounds - >= -18000 @ 3022.68
3184.31/3193.01	c GLOBAL bounds - >= -18000 @ 3022.75
3184.31/3193.05	c GLOBAL bounds - >= -18000 @ 3022.79
3184.31/3193.09	c GLOBAL bounds - >= -18000 @ 3022.83
3184.41/3193.15	c GLOBAL bounds - >= -18000 @ 3022.89
3184.50/3193.20	c GLOBAL bounds - >= -18000 @ 3022.94
3184.50/3193.26	c GLOBAL bounds - >= -18000 @ 3023
3184.60/3193.32	c GLOBAL bounds - >= -18000 @ 3023.06
3184.60/3193.37	c GLOBAL bounds - >= -18000 @ 3023.11
3184.70/3193.43	c GLOBAL bounds - >= -18000 @ 3023.17
3184.70/3193.48	c GLOBAL bounds - >= -18000 @ 3023.22
3193.58/3202.32	c GLOBAL bounds - >= -18000 @ 3032.04
3202.37/3211.16	c GLOBAL bounds - >= -18000 @ 3040.87
3202.77/3211.59	c GLOBAL bounds - >= -18000 @ 3041.04
3211.85/3220.64	c GLOBAL bounds - >= -18000 @ 3050.07
3212.25/3221.05	c GLOBAL bounds - >= -18000 @ 3050.25
3221.34/3230.14	c GLOBAL bounds - >= -18000 @ 3059.29
3221.72/3230.55	c GLOBAL bounds - >= -18000 @ 3059.46
3230.81/3239.62	c GLOBAL bounds - >= -18000 @ 3068.51
3231.22/3240.03	c GLOBAL bounds - >= -18000 @ 3068.67
3240.19/3249.07	c GLOBAL bounds - >= -18000 @ 3077.7
3240.59/3249.48	c GLOBAL bounds - >= -18000 @ 3077.87
3249.67/3258.54	c GLOBAL bounds - >= -18000 @ 3086.91
3250.06/3258.95	c GLOBAL bounds - >= -18000 @ 3087.06
3259.15/3268.00	c GLOBAL bounds - >= -18000 @ 3096.09
3259.55/3268.42	c GLOBAL bounds - >= -18000 @ 3096.25
3268.53/3277.49	c GLOBAL bounds - >= -18000 @ 3105.29
3269.03/3277.91	c GLOBAL bounds - >= -18000 @ 3105.46
3277.81/3286.74	c GLOBAL bounds - >= -18000 @ 3114.25
3278.22/3287.16	c GLOBAL bounds - >= -18000 @ 3114.42
3287.10/3296.01	c GLOBAL bounds - >= -18000 @ 3123.25
3287.49/3296.44	c GLOBAL bounds - >= -18000 @ 3123.42
3287.89/3296.87	c GLOBAL bounds - >= -18000 @ 3123.61
3288.39/3297.30	c GLOBAL bounds - >= -18000 @ 3123.78
3288.79/3297.73	c GLOBAL bounds - >= -18000 @ 3123.98
3289.20/3298.16	c GLOBAL bounds - >= -18000 @ 3124.17
3289.59/3298.59	c GLOBAL bounds - >= -18000 @ 3124.37
3290.09/3299.10	c GLOBAL bounds - >= -18000 @ 3124.61
3290.59/3299.54	c GLOBAL bounds - >= -18000 @ 3124.81
3291.09/3300.04	c GLOBAL bounds - >= -18000 @ 3125.07
3291.49/3300.48	c GLOBAL bounds - >= -18000 @ 3125.26
3291.98/3300.93	c GLOBAL bounds - >= -18000 @ 3125.47
3291.98/3300.93	c GLOBAL bounds - >= -18000 @ 3125.47
3291.98/3300.97	c GLOBAL bounds - >= -18000 @ 3125.51
3291.98/3300.98	c GLOBAL bounds - >= -18000 @ 3125.51
3291.98/3300.98	c GLOBAL bounds - >= -18000 @ 3125.52
3291.98/3300.99	c GLOBAL bounds - >= -18000 @ 3125.52
3300.97/3310.00	c GLOBAL bounds - >= -18000 @ 3134.52
3301.46/3310.43	c GLOBAL bounds - >= -18000 @ 3134.7
3310.55/3319.53	c GLOBAL bounds - >= -18000 @ 3143.78
3310.94/3319.96	c GLOBAL bounds - >= -18000 @ 3143.96
3320.13/3329.14	c GLOBAL bounds - >= -18000 @ 3153.13
3320.52/3329.57	c GLOBAL bounds - >= -18000 @ 3153.32
3329.60/3338.67	c GLOBAL bounds - >= -18000 @ 3162.37
3330.01/3339.09	c GLOBAL bounds - >= -18000 @ 3162.55
3330.01/3339.10	c GLOBAL bounds - >= -18000 @ 3162.55
3330.50/3339.52	c GLOBAL bounds - >= -18000 @ 3162.74
3339.48/3348.51	c GLOBAL bounds - >= -18000 @ 3171.7
3339.88/3348.93	c GLOBAL bounds - >= -18000 @ 3171.87
3348.86/3357.93	c GLOBAL bounds - >= -18000 @ 3180.85
3349.26/3358.36	c GLOBAL bounds - >= -18000 @ 3181.04
3358.24/3367.36	c GLOBAL bounds - >= -18000 @ 3190.02
3358.64/3367.78	c GLOBAL bounds - >= -18000 @ 3190.19
3358.75/3367.82	c GLOBAL bounds - >= -18000 @ 3190.23
3359.14/3368.25	c GLOBAL bounds - >= -18000 @ 3190.41
3368.12/3377.25	c GLOBAL bounds - >= -18000 @ 3199.4
3368.52/3377.68	c GLOBAL bounds - >= -18000 @ 3199.6
3369.03/3378.19	c GLOBAL bounds - >= -18000 @ 3199.86
3369.52/3378.65	c GLOBAL bounds - >= -18000 @ 3200.07
3369.52/3378.65	c GLOBAL bounds - >= -18000 @ 3200.07
3379.60/3388.71	c GLOBAL bounds - >= -18000 @ 3210.08
3379.60/3388.77	c GLOBAL bounds - >= -18000 @ 3210.14
3388.58/3397.76	c GLOBAL bounds - >= -18000 @ 3219.11
3397.66/3406.86	c GLOBAL bounds - >= -18000 @ 3228.19
3398.06/3407.28	c GLOBAL bounds - >= -18000 @ 3228.37
3407.14/3416.39	c GLOBAL bounds - >= -18000 @ 3237.46
3407.63/3416.80	c GLOBAL bounds - >= -18000 @ 3237.63
3416.61/3425.89	c GLOBAL bounds - >= -18000 @ 3246.7
3417.12/3426.30	c GLOBAL bounds - >= -18000 @ 3246.87
3425.99/3435.29	c GLOBAL bounds - >= -18000 @ 3255.84
3426.50/3435.70	c GLOBAL bounds - >= -18000 @ 3256
3435.48/3444.74	c GLOBAL bounds - >= -18000 @ 3264.99
3435.88/3445.15	c GLOBAL bounds - >= -18000 @ 3265.17
3444.86/3454.14	c GLOBAL bounds - >= -18000 @ 3274.14
3445.26/3454.56	c GLOBAL bounds - >= -18000 @ 3274.31
3454.23/3463.56	c GLOBAL bounds - >= -18000 @ 3283.29
3454.63/3463.98	c GLOBAL bounds - >= -18000 @ 3283.46
3454.74/3464.03	c GLOBAL bounds - >= -18000 @ 3283.51
3455.13/3464.45	c GLOBAL bounds - >= -18000 @ 3283.7
3463.91/3473.28	c GLOBAL bounds - >= -18000 @ 3292.5
3464.40/3473.71	c GLOBAL bounds - >= -18000 @ 3292.7
3473.19/3482.53	c GLOBAL bounds - >= -18000 @ 3301.49
3473.58/3482.96	c GLOBAL bounds - >= -18000 @ 3301.67
3474.09/3483.41	c GLOBAL bounds - >= -18000 @ 3301.87
3474.48/3483.84	c GLOBAL bounds - >= -18000 @ 3302.06
3474.88/3484.28	c GLOBAL bounds - >= -18000 @ 3302.25
3475.38/3484.72	c GLOBAL bounds - >= -18000 @ 3302.45
3475.88/3485.23	c GLOBAL bounds - >= -18000 @ 3302.72
3476.28/3485.68	c GLOBAL bounds - >= -18000 @ 3302.93
3476.78/3486.12	c GLOBAL bounds - >= -18000 @ 3303.15
3477.27/3486.62	c GLOBAL bounds - >= -18000 @ 3303.39
3477.78/3487.14	c GLOBAL bounds - >= -18000 @ 3303.66
3478.18/3487.59	c GLOBAL bounds - >= -18000 @ 3303.86
3478.68/3488.05	c GLOBAL bounds - >= -18000 @ 3304.09
3478.68/3488.05	c GLOBAL bounds - >= -18000 @ 3304.09
3478.77/3488.12	c GLOBAL bounds - >= -18000 @ 3304.16
3478.77/3488.13	c GLOBAL bounds - >= -18000 @ 3304.17
3487.86/3497.20	c GLOBAL bounds - >= -18000 @ 3313.2
3496.83/3506.22	c GLOBAL bounds - >= -18000 @ 3322.2
3505.81/3515.27	c GLOBAL bounds - >= -18000 @ 3331.22
3514.79/3524.30	c GLOBAL bounds - >= -18000 @ 3340.22
3523.87/3533.33	c GLOBAL bounds - >= -18000 @ 3349.23
3532.84/3542.38	c GLOBAL bounds - >= -18000 @ 3358.26
3532.94/3542.47	c GLOBAL bounds - >= -18000 @ 3358.35
3532.94/3542.48	c GLOBAL bounds - >= -18000 @ 3358.35
3532.94/3542.48	c GLOBAL bounds - >= -18000 @ 3358.36
3541.82/3551.34	c GLOBAL bounds - >= -18000 @ 3367.17
3561.86/3571.45	c GLOBAL bounds - >= -18000 @ 3387.22
3562.26/3571.87	c GLOBAL bounds - >= -18000 @ 3387.41
3562.36/3571.91	c GLOBAL bounds - >= -18000 @ 3387.45
3562.77/3572.33	c GLOBAL bounds - >= -18000 @ 3387.61
3562.77/3572.36	c GLOBAL bounds - >= -18000 @ 3387.64
3563.16/3572.78	c GLOBAL bounds - >= -18000 @ 3387.79
3563.27/3572.82	c GLOBAL bounds - >= -18000 @ 3387.83
3563.66/3573.23	c GLOBAL bounds - >= -18000 @ 3388
3563.66/3573.27	c GLOBAL bounds - >= -18000 @ 3388.04
3564.06/3573.69	c GLOBAL bounds - >= -18000 @ 3388.19
3564.16/3573.73	c GLOBAL bounds - >= -18000 @ 3388.23
3564.57/3574.15	c GLOBAL bounds - >= -18000 @ 3388.4
3564.57/3574.18	c GLOBAL bounds - >= -18000 @ 3388.44
3565.05/3574.61	c GLOBAL bounds - >= -18000 @ 3388.62
3565.05/3574.65	c GLOBAL bounds - >= -18000 @ 3388.66
3565.46/3575.09	c GLOBAL bounds - >= -18000 @ 3388.86
3574.34/3583.97	c GLOBAL bounds - >= -18000 @ 3397.71
3574.83/3584.40	c GLOBAL bounds - >= -18000 @ 3397.91
3583.61/3593.29	c GLOBAL bounds - >= -18000 @ 3406.77
3584.11/3593.73	c GLOBAL bounds - >= -18000 @ 3406.95
3584.51/3594.18	c GLOBAL bounds - >= -18000 @ 3407.16
3585.01/3594.62	c GLOBAL bounds - >= -18000 @ 3407.35
3585.41/3595.06	c GLOBAL bounds - >= -18000 @ 3407.56
3585.90/3595.51	c GLOBAL bounds - >= -18000 @ 3407.75
3586.30/3595.95	c GLOBAL bounds - >= -18000 @ 3407.96
3586.70/3596.39	c GLOBAL bounds - >= -18000 @ 3408.17
3587.21/3596.84	c GLOBAL bounds - >= -18000 @ 3408.36
3587.70/3597.35	c GLOBAL bounds - >= -18000 @ 3408.62
3588.19/3597.86	c GLOBAL bounds - >= -18000 @ 3408.89
3588.70/3598.37	c GLOBAL bounds - >= -18000 @ 3409.14
3589.20/3598.89	c GLOBAL bounds - >= -18000 @ 3409.4
3589.20/3598.89	c GLOBAL bounds - >= -18000 @ 3409.4
3589.29/3598.93	c GLOBAL bounds - >= -18000 @ 3409.44
3589.29/3598.94	c GLOBAL bounds - >= -18000 @ 3409.45
3589.29/3598.94	c GLOBAL bounds - >= -18000 @ 3409.45
3589.29/3598.95	c GLOBAL bounds - >= -18000 @ 3409.46
3589.29/3598.96	c GLOBAL bounds - >= -18000 @ 3409.47
3589.29/3598.96	c GLOBAL bounds - >= -18000 @ 3409.47
3589.29/3598.97	c GLOBAL bounds - >= -18000 @ 3409.48
3589.29/3598.98	c GLOBAL bounds - >= -18000 @ 3409.49
3589.29/3598.98	c GLOBAL bounds - >= -18000 @ 3409.49
3589.29/3598.99	c GLOBAL bounds - >= -18000 @ 3409.5
3589.29/3599.00	c GLOBAL bounds - >= -18000 @ 3409.51
3589.40/3599.00	c GLOBAL bounds - >= -18000 @ 3409.51
3600.07/3609.70	c cpu time 3420.18 s
3600.07/3609.70	c deterministic time 7269017632 7.27e+09
3600.07/3609.70	c optimization time 179.586 s
3600.07/3609.70	c total solve time 3238.76 s
3600.07/3609.70	c core-guided solve time 0 s
3600.07/3609.70	c propagation time 447.169 s
3600.07/3609.70	c conflict analysis time 2648.9 s
3600.07/3609.70	c propagations 452769182
3600.07/3609.70	c resolve steps 65547
3600.07/3609.70	c decisions 1318112
3600.07/3609.70	c conflicts 2342
3600.07/3609.70	c restarts 14
3600.07/3609.70	c inprocessing phases 1
3600.07/3609.70	c garbage collections 1 ,( 100.00 )
3600.07/3609.70	c input clauses 399634 ,( 99.49 )
3600.07/3609.70	c input cardinalities 2062 ,( 0.51 )
3600.07/3609.70	c input general constraints 2 ,( 0.00 )
3600.07/3609.70	c input average constraint length 6.31
3600.07/3609.70	c input average constraint degree 6.83
3600.07/3609.70	c learned clauses 394 ,( 15.04 )
3600.07/3609.70	c learned cardinalities 183 ,( 6.99 )
3600.07/3609.70	c learned general constraints 2042 ,( 77.97 )
3600.07/3609.70	c learned average constraint length 126312.25
3600.07/3609.70	c learned average constraint degree 505466627.82
3600.07/3609.70	c watched  CF 32, 64, 128, Arb: 172 , 0 , 0 , 0
3600.07/3609.70	c counting CF 32, 64, 128, Arb: 1873 , 0 , 0 , 0
3600.07/3609.70	c watched   constraints 172 ,( 8.41 ) 
3600.07/3609.70	c counting  constraints 1872 ,( 91.59 ) 
3600.07/3609.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 48087736 , 70757 , 1236719 ,( 7636 , 1229083 )
3600.07/3609.70	c gcd simplifications 39
3600.07/3609.70	c detected cardinalities 1
3600.07/3609.70	c weakened non-implied lits 311538661
3600.07/3609.70	c weakened non-implying lits 187
3600.07/3609.70	c original variables 399113
3600.07/3609.70	c clausal propagations 46980331
3600.07/3609.70	c cardinality propagations 3692998
3600.07/3609.70	c watched propagations 764
3600.07/3609.70	c counting propagations 285347744
3600.07/3609.70	c watch lookups 220790943
3600.07/3609.70	c watch backjump lookups 0
3600.07/3609.70	c watch checks 82459531
3600.07/3609.70	c propagation checks 5233148204
3600.07/3609.70	c constraint additions 824479723
3600.07/3609.70	c trail pops 454043144
3600.07/3609.70	c formula constraints 400980
3600.07/3609.70	c learned constraints 2617
3600.07/3609.70	c bound constraints 0
3600.07/3609.70	c core-guided constraints 0
3600.07/3609.70	c encountered formula constraints 63700
3600.07/3609.70	c encountered learned constraints 4188
3600.07/3609.70	c encountered bound constraints 0
3600.07/3609.70	c encountered core-guided constraints 0
3600.07/3609.70	c LP total time 401.887 s
3600.07/3609.70	c LP solve time 401.47 s
3600.07/3609.70	c LP constraints added 400980
3600.07/3609.70	c LP constraints removed 0
3600.07/3609.70	c LP pivots internal 3792
3600.07/3609.70	c LP pivots root 5000
3600.07/3609.70	c LP calls 4
3600.07/3609.70	c LP optimalities 0
3600.07/3609.70	c LP no pivot count 0
3600.07/3609.70	c LP infeasibilities 1
3600.07/3609.70	c LP valid Farkas constraints 1
3600.07/3609.70	c LP learned Farkas constraints 1
3600.07/3609.70	c LP basis resets 0
3600.07/3609.70	c LP cycling count 0
3600.07/3609.70	c LP singular count 0
3600.07/3609.70	c LP no primal count 0
3600.07/3609.70	c LP no farkas count 0
3600.07/3609.70	c LP other issue count 0
3600.07/3609.70	c LP Gomory cuts 0
3600.07/3609.70	c LP learned cuts 0
3600.07/3609.70	c LP deleted cuts 0
3600.07/3609.70	c LP encountered Gomory constraints 0
3600.07/3609.70	c LP encountered Farkas constraints 0
3600.07/3609.70	c LP encountered learned Farkas constraints 0
3600.07/3609.70	c CG auxiliary variables introduced 47
3600.07/3609.70	c CG solutions found 0
3600.07/3609.70	c CG cores constructed 589
3600.07/3609.70	c CG core cardinality constraints returned 0
3600.07/3609.70	c CG unit cores 10
3600.07/3609.70	c CG single cores 0
3600.07/3609.70	c CG blocks removed during cardinality reduction 0
3600.07/3609.70	c CG first core best 0
3600.07/3609.70	c CG decision core best 0
3600.07/3609.70	c CG core reduction tie 0
3600.07/3609.70	c CG core degree average 0.00
3600.07/3609.70	c CG core slack average 0.00
3600.07/3609.70	c CG core upper bound improvements 0
3600.07/3609.70	c STR number of successful calls 0
3600.07/3609.70	c STR number of unsuccessful calls 0
3600.07/3609.70	c STR number of inconclusive calls 0
3600.07/3609.70	c STR number of successful attempts 0
3600.07/3609.70	c STR number of unsuccessful attempts 0
3600.07/3609.70	c STR number of inconclusive attempts 0
3600.07/3609.70	c STR average degree increase per successful call inf
3600.07/3609.70	c STR average degree increase per successful attempt inf
3600.07/3609.70	c STR total number of conflicts for successful attempts 0
3600.07/3609.70	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.70	c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.70	c STR average number of conflicts per successful attempt inf
3600.07/3609.70	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.70	c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.70	c AVG.sumWPerc 91.29 
3600.07/3609.70	c bigint constraints 0 
3600.07/3609.70	s UNKNOWN
3600.07/3609.70	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (47522 MiB free)
  memory of node 1: 64507 MiB (61958 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=69997, runsolver pid=69994

[startup+0.100038 s]*
/proc/loadavg: 4.08 4.12 4.10 5/268 69999
/proc/meminfo: memFree=112012152/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=130228 memory=82980 CPUtime=0.07 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 9406 0 0 0 4 3 0 0 20 0 1 0 64987196 133353472 20745 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 32557 20745 1888 1147 0 19984 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 134420 KiB
Current children cumulated memory: 85924 KiB

[startup+0.205649 s]*
/proc/loadavg: 4.08 4.12 4.10 5/268 69999
/proc/meminfo: memFree=112012152/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=130228 memory=85200 CPUtime=0.17 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 9446 0 0 0 12 5 0 0 20 0 1 0 64987196 133353472 21300 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 32557 21300 1888 1147 0 19984 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 134420 KiB
Current children cumulated memory: 88144 KiB

[startup+0.305471 s]*
/proc/loadavg: 4.08 4.12 4.10 5/268 69999
/proc/meminfo: memFree=112012152/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=134072 memory=91060 CPUtime=0.27 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 10400 0 0 0 20 7 0 0 20 0 1 0 64987196 137289728 22765 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 33518 22765 1888 1147 0 20945 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 138264 KiB
Current children cumulated memory: 94004 KiB

[startup+0.700184 s]
/proc/loadavg: 4.08 4.12 4.10 5/268 70000
/proc/meminfo: memFree=112012152/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=157412 memory=113084 CPUtime=0.66 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 14497 0 0 0 50 16 0 0 20 0 1 0 64987196 161189888 28271 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 39353 28271 1888 1147 0 26780 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 161604 KiB
Current children cumulated memory: 116028 KiB

[startup+1.50022 s]
/proc/loadavg: 4.08 4.12 4.10 5/268 70000
/proc/meminfo: memFree=111980332/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=268508 memory=207584 CPUtime=1.46 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 23121 0 0 0 112 34 0 0 20 0 1 0 64987196 274952192 51896 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 67127 51896 1888 1147 0 54554 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 272700 KiB
Current children cumulated memory: 210528 KiB

[startup+3.10534 s]
/proc/loadavg: 4.08 4.12 4.10 5/268 70000
/proc/meminfo: memFree=111499776/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=701376 memory=581188 CPUtime=3.06 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 47929 0 0 0 220 86 0 0 20 0 1 0 64987196 718209024 145297 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 175344 145297 2336 1147 0 162771 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 705568 KiB
Current children cumulated memory: 584132 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.12 4.09 5/268 70000
/proc/meminfo: memFree=111422464/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=759772 memory=632992 CPUtime=6.25 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 51721 0 0 0 360 265 0 0 20 0 1 0 64987196 778006528 158248 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 189943 158248 2336 1147 0 177370 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 763964 KiB
Current children cumulated memory: 635936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.09 5/268 70000
/proc/meminfo: memFree=111310244/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=790416 memory=663640 CPUtime=12.64 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 52751 0 0 0 636 628 0 0 20 0 1 0 64987196 809385984 165910 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 197604 165910 2336 1147 0 185031 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 794608 KiB
Current children cumulated memory: 666584 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 70000
/proc/meminfo: memFree=111172540/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=871324 memory=697612 CPUtime=25.4 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 53580 0 0 0 1469 1071 0 0 20 0 1 0 64987196 892235776 174403 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 217831 174403 2336 1147 0 205258 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 875516 KiB
Current children cumulated memory: 700556 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 70000
/proc/meminfo: memFree=111152620/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=871324 memory=697612 CPUtime=50.94 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 53580 0 0 0 2738 2356 0 0 20 0 1 0 64987196 892235776 174403 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 217831 174403 2336 1147 0 205258 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 875516 KiB
Current children cumulated memory: 700556 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 70003
/proc/meminfo: memFree=110696228/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=1314592 memory=1055312 CPUtime=102 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 88949 0 0 0 7217 2983 0 0 20 0 1 0 64987196 1346142208 263828 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 328648 263828 2368 1147 0 316075 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1318784 KiB
Current children cumulated memory: 1058256 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 70005
/proc/meminfo: memFree=110607076/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=1320084 memory=1060328 CPUtime=161.83 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 89739 0 0 0 13200 2983 0 0 20 0 1 0 64987196 1351766016 265082 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 330021 265082 2368 1147 0 317448 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1324276 KiB
Current children cumulated memory: 1063272 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/270 70008
/proc/meminfo: memFree=110484536/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=1353580 memory=1090296 CPUtime=221.67 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 94798 0 0 0 19182 2985 0 0 20 0 1 0 64987196 1386065920 272574 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 338395 272574 2368 1147 0 325822 0
Current children cumulated CPU time: 221.67 s

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

/proc/loadavg: 4.11 4.12 4.09 5/267 70270
/proc/meminfo: memFree=97005944/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10344356 CPUtime=3153.67 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1945885 0 0 0 299861 15506 0 0 20 0 1 0 64987196 11658661888 2586089 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2586089 2400 1147 0 2833780 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10347300 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 70272
/proc/meminfo: memFree=96923648/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10356388 CPUtime=3213.54 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1947757 0 0 0 305148 16206 0 0 20 0 1 0 64987196 11658661888 2589097 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2589097 2400 1147 0 2833780 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10359332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 70274
/proc/meminfo: memFree=96881668/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10365220 CPUtime=3273.42 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1949918 0 0 0 310982 16360 0 0 20 0 1 0 64987196 11658661888 2591305 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2591305 2400 1147 0 2833780 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10368164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 70276
/proc/meminfo: memFree=96863932/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10367524 CPUtime=3333.29 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1952110 0 0 0 316550 16779 0 0 20 0 1 0 64987196 11658661888 2591881 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2591881 2400 1147 0 2833780 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10370468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 70279
/proc/meminfo: memFree=96852956/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10377636 CPUtime=3393.17 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1954303 0 0 0 322363 16954 0 0 20 0 1 0 64987196 11658661888 2594409 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2594409 2400 1147 0 2833780 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10380580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/268 70332
/proc/meminfo: memFree=97009736/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10385700 CPUtime=3453.04 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1956516 0 0 0 328202 17102 0 0 20 0 1 0 64987196 11658661888 2596425 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2596425 2400 1147 0 2833780 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10388644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 70334
/proc/meminfo: memFree=96308528/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10394916 CPUtime=3512.89 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1958685 0 0 0 333822 17467 0 0 20 0 1 0 64987196 11658661888 2598729 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2598729 2400 1147 0 2833780 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10397860 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 70336
/proc/meminfo: memFree=95816932/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10394916 CPUtime=3572.74 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1969961 0 0 0 339604 17670 0 0 20 0 1 0 64987196 11658661888 2598729 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2598729 2400 1147 0 2833780 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10397860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 70336
/proc/meminfo: memFree=95496032/131249996 swapFree=33010160/33010684
[pid=69997] ppid=69994 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69997/stat : 69997 (run-opt.sh) S 69994 69997 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64987196 4292608 736 18446744073709551615 94155868733440 94155869627973 140735372838384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94155869867024 94155869914768 94155888332800 140735372843373 140735372843496 140735372843496 140735372849098 0
/proc/69997/statm: 1048 736 672 219 0 110 0
[pid=69999] ppid=69997 vsize=11385412 memory=10399024 CPUtime=3600.07 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69997 69997 69363 0 -1 4194304 1975434 0 0 0 342017 17990 0 0 20 0 1 0 64987196 11658661888 2599756 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 2846353 2599756 2400 1147 0 2833780 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 11389604 KiB
Current children cumulated memory: 10401968 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.7 s]
# the end of solver process 69997 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.00218 s
Sleeping 2 seconds

[startup+3610.18 s]
# the end of solver process 69999 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3420.35 s, system=180.208 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 70336
/proc/meminfo: memFree=99053000/131249996 swapFree=33010160/33010684
[pid=69999] ppid=69994 vsize=7034528 memory=6674068 CPUtime=3600.37 cores=5,7
/proc/69999/stat : 69999 (roundingsat) R 69994 69997 69363 0 -1 4194304 1975529 0 0 0 342034 18003 0 0 20 0 1 0 64987196 7203356672 1669029 18446744073709551615 4227072 8923433 140727174286992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140727174289826 140727174289960 140727174289960 140727174295530 0
/proc/69999/statm: 1758632 1669029 2464 1147 0 1746059 0
Current cumulated CPU time of completed processes: 0.00218 s
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 7034528 KiB
Current children cumulated memory: 6674068 KiB

[startup+3610.11 s]*
/proc/loadavg: 4.14 4.11 4.09 5/267 70336
/proc/meminfo: memFree=104183512/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.00218 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.18
CPU time (s): 3600.55
CPU user time (s): 3420.35
CPU system time (s): 180.208
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 11389604
Max. memory (cumulated for all children) (KiB): 10401968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3420.35
system time used= 180.208
maximum resident set size= 10399280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1975755
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= 149
involuntary context switches= 19722


# summary of solver processes directly reported to runsolver:
#   pid: 69997,69999
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3420.35
#   total CPU system time (s): 180.208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1594 second user time and 15.8223 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-02 23:51:35
IDJOB=4505814
IDBENCH=157280
IDSOLVER=3350
FILE ID=nodeC021/4505814-1751493095
RUNJOBID= nodeC021-1751488380-69376
SLURM_JOB_ID= 9598545
Free space on /tmp= 431032 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505814-1751493095/watcher-4505814-1751493095 -o /tmp/evaluation-result-4505814-1751493095/solver-4505814-1751493095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69376 --watchdog 3760  run-opt.sh HOME/instance-4505814-1751493095.opb

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

MD5SUM BENCH= 66a4099c9f952e1d32ed00e151115e68
RANDOM SEED=1169710560

nodeC021 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.781
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.56
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		: 3599.778
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.56
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		: 3674.633
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.56
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		: 3700.000
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.56
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		: 3599.777
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.56
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		: 3600.750
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.56
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		: 3593.549
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.56
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		: 3599.744
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112107708 kB
MemAvailable:   115786856 kB
Buffers:            2128 kB
Cached:          4417376 kB
SwapCached:           20 kB
Active:         14429524 kB
Inactive:        3938640 kB
Active(anon):   13955776 kB
Inactive(anon):    10924 kB
Active(file):     473748 kB
Inactive(file):  3927716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             36744 kB
Writeback:             0 kB
AnonPages:      13951068 kB
Mapped:           117448 kB
Shmem:             18040 kB
KReclaimable:     233448 kB
Slab:             325428 kB
SReclaimable:     233448 kB
SUnreclaim:        91980 kB
KernelStack:        4320 kB
PageTables:        34504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16858488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1755136 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430944 MiB
End job on nodeC021 at 2025-07-03 00:51:45