Trace number 4508827

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.42 3609.2

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
MD5SUM3ba8cfc0a45dfa41539851263c680a3e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2394527
Best CPU time to get the best result obtained on this benchmark72003.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables149652
Total number of constraints428803
Number of constraints which are clauses281926
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints146876
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 149651
Biggest coefficient in the objective function 3944708
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 34212972
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 3944708
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 34212972
Number of bits of the biggest sum of numbers26
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.17/2.24	c #variables 149652 #constraints 428803
2.17/2.24	c objective is ce32 
3.47/3.52	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.47/3.52	c initial counting CF 32, 64, 128, Arb: 146877 , 0 , 0 , 0
3.47/3.52	c GLOBAL bounds - >= -15134132 @ 2.73648
3.57/3.66	c GLOBAL bounds - >= -15134132 @ 2.87748
3.87/3.91	c GLOBAL bounds - >= -15134132 @ 3.11138
4.08/4.12	c GLOBAL bounds - >= -15134132 @ 3.32085
4.17/4.28	c GLOBAL bounds - >= -15134132 @ 3.47223
4.67/4.71	c GLOBAL bounds - >= -15134132 @ 3.90163
4.76/4.86	c GLOBAL bounds - >= -15134132 @ 4.05095
111.07/111.41	c GLOBAL bounds - >= -15134132 @ 109.673
254.39/255.19	c #Conflicts:       1000 | #Constraints:     429581
254.39/255.19	c GLOBAL bounds - >= -15134132 @ 252.676
282.40/283.25	c GLOBAL bounds - >= -15134132 @ 280.435
288.68/289.52	c GLOBAL bounds - >= -15134132 @ 286.624
292.38/293.22	c GLOBAL bounds - >= -15134132 @ 290.263
297.16/298.02	c GLOBAL bounds - >= -15134132 @ 294.973
298.56/299.45	c GLOBAL bounds - >= -15134132 @ 296.381
301.26/302.11	c GLOBAL bounds - >= -15134132 @ 299.022
308.42/309.31	c GLOBAL bounds - >= -15134132 @ 306.131
311.92/312.80	c GLOBAL bounds - >= -15134132 @ 309.588
317.70/318.64	c GLOBAL bounds - >= -15134132 @ 315.35
325.48/326.43	c GLOBAL bounds - >= -15134132 @ 323.067
333.85/334.83	c GLOBAL bounds - >= -15134132 @ 331.375
357.69/358.71	c GLOBAL bounds - >= -15134132 @ 355.078
359.28/360.37	c GLOBAL bounds - >= -15134132 @ 356.722
360.88/362.00	c GLOBAL bounds - >= -15134132 @ 358.341
362.68/363.72	c GLOBAL bounds - >= -15134132 @ 360.055
365.67/366.76	c GLOBAL bounds - >= -15134132 @ 363.069
369.36/370.48	c GLOBAL bounds - >= -15134132 @ 366.779
372.15/373.28	c GLOBAL bounds - >= -15134132 @ 369.564
373.74/374.87	c GLOBAL bounds - >= -15134132 @ 371.145
375.24/376.38	c GLOBAL bounds - >= -15134132 @ 372.646
376.73/377.80	c GLOBAL bounds - >= -15134132 @ 374.056
378.04/379.10	c GLOBAL bounds - >= -15134132 @ 375.356
392.90/394.09	c GLOBAL bounds - >= -15134132 @ 390.288
394.50/395.63	c GLOBAL bounds - >= -15134132 @ 391.827
395.89/397.05	c GLOBAL bounds - >= -15134132 @ 393.235
397.19/398.38	c GLOBAL bounds - >= -15134132 @ 394.559
438.29/439.51	c GLOBAL bounds - >= -15134132 @ 435.582
439.90/441.16	c GLOBAL bounds - >= -15134132 @ 437.224
441.98/443.21	c GLOBAL bounds - >= -15134132 @ 439.266
450.47/451.75	c GLOBAL bounds - >= -15134132 @ 447.765
456.45/457.70	c GLOBAL bounds - >= -15134132 @ 453.691
458.05/459.39	c GLOBAL bounds - >= -15134132 @ 455.366
477.81/479.16	c GLOBAL bounds - >= -15134132 @ 475.059
492.68/494.00	c GLOBAL bounds - >= -15134132 @ 489.83
495.46/496.81	c GLOBAL bounds - >= -15134132 @ 492.629
497.26/498.64	c GLOBAL bounds - >= -15134132 @ 494.432
498.86/500.25	c GLOBAL bounds - >= -15134132 @ 496.028
500.65/502.07	c GLOBAL bounds - >= -15134132 @ 497.848
507.34/508.71	c GLOBAL bounds - >= -15134132 @ 504.439
509.12/510.55	c GLOBAL bounds - >= -15134132 @ 506.258
511.02/512.42	c GLOBAL bounds - >= -15134132 @ 508.124
512.92/514.33	c GLOBAL bounds - >= -15134132 @ 510.012
514.62/516.03	c GLOBAL bounds - >= -15134132 @ 511.708
516.81/518.23	c GLOBAL bounds - >= -15134132 @ 513.899
518.40/519.88	c GLOBAL bounds - >= -15134132 @ 515.53
519.90/521.38	c GLOBAL bounds - >= -15134132 @ 517.023
521.60/523.05	c GLOBAL bounds - >= -15134132 @ 518.675
523.29/524.77	c GLOBAL bounds - >= -15134132 @ 520.389
524.89/526.35	c GLOBAL bounds - >= -15134132 @ 521.963
528.48/529.98	c GLOBAL bounds - >= -15134132 @ 525.565
530.38/531.80	c GLOBAL bounds - >= -15134132 @ 527.372
531.97/533.42	c GLOBAL bounds - >= -15134132 @ 528.986
533.67/535.15	c GLOBAL bounds - >= -15134132 @ 530.7
535.26/536.79	c GLOBAL bounds - >= -15134132 @ 532.33
537.06/538.53	c GLOBAL bounds - >= -15134132 @ 534.049
538.56/540.09	c GLOBAL bounds - >= -15134132 @ 535.603
541.05/542.59	c GLOBAL bounds - >= -15134132 @ 538.089
542.84/544.39	c GLOBAL bounds - >= -15134132 @ 539.866
544.44/545.99	c GLOBAL bounds - >= -15134132 @ 541.456
546.14/547.64	c GLOBAL bounds - >= -15134132 @ 543.101
547.74/549.28	c GLOBAL bounds - >= -15134132 @ 544.73
549.54/551.08	c GLOBAL bounds - >= -15134132 @ 546.516
551.42/552.94	c GLOBAL bounds - >= -15134132 @ 548.356
553.32/554.82	c GLOBAL bounds - >= -15134132 @ 550.226
555.02/556.56	c GLOBAL bounds - >= -15134132 @ 551.954
556.71/558.21	c GLOBAL bounds - >= -15134132 @ 553.597
558.31/559.86	c GLOBAL bounds - >= -15134132 @ 555.237
560.10/561.69	c GLOBAL bounds - >= -15134132 @ 557.054
562.00/563.50	c GLOBAL bounds - >= -15134132 @ 558.855
563.60/565.17	c GLOBAL bounds - >= -15134132 @ 560.512
565.28/566.86	c GLOBAL bounds - >= -15134132 @ 562.194
567.08/568.65	c GLOBAL bounds - >= -15134132 @ 563.978
569.08/570.62	c GLOBAL bounds - >= -15134132 @ 565.941
570.87/572.40	c GLOBAL bounds - >= -15134132 @ 567.707
572.67/574.29	c GLOBAL bounds - >= -15134132 @ 569.588
574.66/576.26	c GLOBAL bounds - >= -15134132 @ 571.533
576.36/577.94	c GLOBAL bounds - >= -15134132 @ 573.206
578.05/579.68	c GLOBAL bounds - >= -15134132 @ 574.933
579.95/581.59	c GLOBAL bounds - >= -15134132 @ 576.832
581.94/583.55	c GLOBAL bounds - >= -15134132 @ 578.777
583.75/585.32	c GLOBAL bounds - >= -15134132 @ 580.547
585.74/587.33	c GLOBAL bounds - >= -15134132 @ 582.526
587.63/589.28	c GLOBAL bounds - >= -15134132 @ 584.462
589.54/591.16	c GLOBAL bounds - >= -15134132 @ 586.339
591.43/593.06	c GLOBAL bounds - >= -15134132 @ 588.203
593.42/595.08	c GLOBAL bounds - >= -15134132 @ 590.213
595.22/596.88	c GLOBAL bounds - >= -15134132 @ 592.001
596.91/598.57	c GLOBAL bounds - >= -15134132 @ 593.686
598.60/600.26	c GLOBAL bounds - >= -15134132 @ 595.367
600.30/601.91	c GLOBAL bounds - >= -15134132 @ 597.007
602.00/603.62	c GLOBAL bounds - >= -15134132 @ 598.712
604.39/606.05	c GLOBAL bounds - >= -15134132 @ 601.123
606.58/608.21	c GLOBAL bounds - >= -15134132 @ 603.251
608.18/609.87	c GLOBAL bounds - >= -15134132 @ 604.911
610.58/612.28	c GLOBAL bounds - >= -15134132 @ 607.292
612.47/614.16	c GLOBAL bounds - >= -15134132 @ 609.154
652.38/654.11	c GLOBAL bounds - >= -15134132 @ 648.845
663.75/665.54	c #Conflicts:       2000 | #Constraints:     430777
663.75/665.54	c INPROCESSING
663.75/665.54	c GARBAGE COLLECT
663.75/665.54	c GLOBAL bounds - >= -15134132 @ 660.211
715.73/717.69	c GLOBAL bounds - >= -15134132 @ 712.2
864.70/866.95	c GLOBAL bounds - >= -15134132 @ 861.044
867.50/869.71	c GLOBAL bounds - >= -15134132 @ 863.787
868.90/871.13	c GLOBAL bounds - >= -15134132 @ 865.193
870.48/872.78	c GLOBAL bounds - >= -15134132 @ 866.836
871.89/874.11	c GLOBAL bounds - >= -15134132 @ 868.168
873.18/875.44	c GLOBAL bounds - >= -15134132 @ 869.482
874.47/876.76	c GLOBAL bounds - >= -15134132 @ 870.802
875.78/878.04	c GLOBAL bounds - >= -15134132 @ 872.071
877.07/879.35	c GLOBAL bounds - >= -15134132 @ 873.38
878.47/880.74	c GLOBAL bounds - >= -15134132 @ 874.769
879.77/882.07	c GLOBAL bounds - >= -15134132 @ 876.085
881.16/883.47	c GLOBAL bounds - >= -15134132 @ 877.485
888.24/890.58	c GLOBAL bounds - >= -15134132 @ 884.581
889.64/891.99	c GLOBAL bounds - >= -15134132 @ 885.981
890.93/893.29	c GLOBAL bounds - >= -15134132 @ 887.278
892.34/894.70	c GLOBAL bounds - >= -15134132 @ 888.68
893.84/896.15	c GLOBAL bounds - >= -15134132 @ 890.128
895.23/897.51	c GLOBAL bounds - >= -15134132 @ 891.484
896.52/898.82	c GLOBAL bounds - >= -15134132 @ 892.789
897.83/900.17	c GLOBAL bounds - >= -15134132 @ 894.136
899.22/901.59	c GLOBAL bounds - >= -15134132 @ 895.553
900.71/903.01	c GLOBAL bounds - >= -15134132 @ 896.962
902.11/904.47	c GLOBAL bounds - >= -15134132 @ 898.425
903.61/905.97	c GLOBAL bounds - >= -15134132 @ 899.917
905.10/907.47	c GLOBAL bounds - >= -15134132 @ 901.409
906.50/908.86	c GLOBAL bounds - >= -15134132 @ 902.792
907.89/910.24	c GLOBAL bounds - >= -15134132 @ 904.167
909.19/911.58	c GLOBAL bounds - >= -15134132 @ 905.499
910.59/912.92	c GLOBAL bounds - >= -15134132 @ 906.84
911.98/914.34	c GLOBAL bounds - >= -15134132 @ 908.249
920.16/922.59	c GLOBAL bounds - >= -15134132 @ 916.473
921.87/924.29	c GLOBAL bounds - >= -15134132 @ 918.17
923.36/925.74	c GLOBAL bounds - >= -15134132 @ 919.62
925.05/927.42	c GLOBAL bounds - >= -15134132 @ 921.288
926.55/928.93	c GLOBAL bounds - >= -15134132 @ 922.793
928.04/930.48	c GLOBAL bounds - >= -15134132 @ 924.338
929.54/931.90	c GLOBAL bounds - >= -15134132 @ 925.752
931.04/933.43	c GLOBAL bounds - >= -15134132 @ 927.265
943.72/946.18	c GLOBAL bounds - >= -15134132 @ 939.985
945.30/947.78	c GLOBAL bounds - >= -15134132 @ 941.585
946.71/949.18	c GLOBAL bounds - >= -15134132 @ 942.974
948.20/950.64	c GLOBAL bounds - >= -15134132 @ 944.418
949.61/952.05	c GLOBAL bounds - >= -15134132 @ 945.83
950.99/953.42	c GLOBAL bounds - >= -15134132 @ 947.195
952.39/954.80	c GLOBAL bounds - >= -15134132 @ 948.568
953.78/956.24	c GLOBAL bounds - >= -15134132 @ 949.997
955.98/958.48	c GLOBAL bounds - >= -15134132 @ 952.227
957.88/960.33	c GLOBAL bounds - >= -15134132 @ 954.07
959.97/962.44	c GLOBAL bounds - >= -15134132 @ 956.163
962.46/964.97	c GLOBAL bounds - >= -15134132 @ 958.688
984.62/987.14	c GLOBAL bounds - >= -15134132 @ 980.773
999.08/1001.64	c GLOBAL bounds - >= -15134132 @ 995.227
1000.78/1003.36	c GLOBAL bounds - >= -15134132 @ 996.945
1002.47/1005.04	c GLOBAL bounds - >= -15134132 @ 998.613
1004.27/1006.84	c GLOBAL bounds - >= -15134132 @ 1000.4
1005.96/1008.50	c GLOBAL bounds - >= -15134132 @ 1002.06
1007.56/1010.14	c GLOBAL bounds - >= -15134132 @ 1003.69
1009.76/1012.32	c GLOBAL bounds - >= -15134132 @ 1005.87
1011.55/1014.11	c GLOBAL bounds - >= -15134132 @ 1007.65
1013.24/1015.83	c GLOBAL bounds - >= -15134132 @ 1009.36
1014.94/1017.56	c GLOBAL bounds - >= -15134132 @ 1011.08
1023.13/1025.72	c GLOBAL bounds - >= -15134132 @ 1019.21
1024.92/1027.54	c GLOBAL bounds - >= -15134132 @ 1021.02
1026.62/1029.20	c GLOBAL bounds - >= -15134132 @ 1022.67
1028.21/1030.88	c GLOBAL bounds - >= -15134132 @ 1024.35
1030.01/1032.62	c GLOBAL bounds - >= -15134132 @ 1026.08
1031.60/1034.27	c GLOBAL bounds - >= -15134132 @ 1027.72
1033.30/1035.92	c GLOBAL bounds - >= -15134132 @ 1029.37
1034.90/1037.50	c GLOBAL bounds - >= -15134132 @ 1030.94
1036.49/1039.14	c GLOBAL bounds - >= -15134132 @ 1032.57
1038.09/1040.79	c GLOBAL bounds - >= -15134132 @ 1034.2
1039.88/1042.50	c GLOBAL bounds - >= -15134132 @ 1035.91
1049.06/1051.76	c GLOBAL bounds - >= -15134132 @ 1045.14
1050.96/1053.69	c GLOBAL bounds - >= -15134132 @ 1047.05
1052.65/1055.39	c GLOBAL bounds - >= -15134132 @ 1048.75
1054.46/1057.11	c GLOBAL bounds - >= -15134132 @ 1050.46
1056.14/1058.85	c GLOBAL bounds - >= -15134132 @ 1052.19
1057.84/1060.57	c GLOBAL bounds - >= -15134132 @ 1053.9
1059.64/1062.33	c GLOBAL bounds - >= -15134132 @ 1055.65
1061.34/1064.07	c GLOBAL bounds - >= -15134132 @ 1057.39
1071.21/1073.94	c GLOBAL bounds - >= -15134132 @ 1067.22
1073.11/1075.80	c GLOBAL bounds - >= -15134132 @ 1069.07
1074.90/1077.69	c GLOBAL bounds - >= -15134132 @ 1070.95
1076.69/1079.42	c GLOBAL bounds - >= -15134132 @ 1072.67
1078.39/1081.18	c GLOBAL bounds - >= -15134132 @ 1074.42
1080.69/1083.47	c GLOBAL bounds - >= -15134132 @ 1076.7
1082.68/1085.49	c GLOBAL bounds - >= -15134132 @ 1078.7
1084.58/1087.38	c GLOBAL bounds - >= -15134132 @ 1080.58
1086.57/1089.31	c GLOBAL bounds - >= -15134132 @ 1082.5
1088.38/1091.15	c GLOBAL bounds - >= -15134132 @ 1084.33
1090.16/1092.92	c GLOBAL bounds - >= -15134132 @ 1086.09
1091.87/1094.66	c GLOBAL bounds - >= -15134132 @ 1087.82
1094.76/1097.59	c GLOBAL bounds - >= -15134132 @ 1090.74
1096.95/1099.70	c GLOBAL bounds - >= -15134132 @ 1092.83
1098.94/1101.76	c GLOBAL bounds - >= -15134132 @ 1094.88
1100.84/1103.65	c GLOBAL bounds - >= -15134132 @ 1096.76
1103.73/1106.59	c GLOBAL bounds - >= -15134132 @ 1099.69
1117.70/1120.55	c GLOBAL bounds - >= -15134132 @ 1113.58
1126.08/1128.95	c GLOBAL bounds - >= -15134132 @ 1121.9
1130.57/1133.45	c GLOBAL bounds - >= -15134132 @ 1126.35
1138.06/1140.97	c GLOBAL bounds - >= -15134132 @ 1133.8
1141.44/1144.34	c GLOBAL bounds - >= -15134132 @ 1137.14
1143.44/1146.36	c GLOBAL bounds - >= -15134132 @ 1139.15
1145.43/1148.35	c GLOBAL bounds - >= -15134132 @ 1141.13
1147.33/1150.29	c GLOBAL bounds - >= -15134132 @ 1143.06
1149.42/1152.39	c GLOBAL bounds - >= -15134132 @ 1145.15
1151.42/1154.36	c GLOBAL bounds - >= -15134132 @ 1147.1
1153.72/1156.60	c GLOBAL bounds - >= -15134132 @ 1149.33
1155.91/1158.86	c GLOBAL bounds - >= -15134132 @ 1151.59
1158.11/1161.07	c GLOBAL bounds - >= -15134132 @ 1153.78
1160.11/1163.09	c GLOBAL bounds - >= -15134132 @ 1155.78
1162.30/1165.21	c GLOBAL bounds - >= -15134132 @ 1157.89
1164.29/1167.20	c GLOBAL bounds - >= -15134132 @ 1159.87
1166.18/1169.19	c GLOBAL bounds - >= -15134132 @ 1161.85
1176.56/1179.53	c GLOBAL bounds - >= -15134132 @ 1172.17
1178.75/1181.78	c GLOBAL bounds - >= -15134132 @ 1174.4
1180.85/1183.83	c GLOBAL bounds - >= -15134132 @ 1176.44
1183.15/1186.16	c GLOBAL bounds - >= -15134132 @ 1178.77
1185.93/1188.95	c GLOBAL bounds - >= -15134132 @ 1181.54
1188.03/1191.05	c GLOBAL bounds - >= -15134132 @ 1183.62
1198.02/1201.09	c GLOBAL bounds - >= -15134132 @ 1193.64
1200.21/1203.24	c GLOBAL bounds - >= -15134132 @ 1195.77
1202.30/1205.39	c GLOBAL bounds - >= -15134132 @ 1197.91
1204.39/1207.41	c GLOBAL bounds - >= -15134132 @ 1199.93
1206.69/1209.77	c GLOBAL bounds - >= -15134132 @ 1202.27
1208.99/1212.09	c GLOBAL bounds - >= -15134132 @ 1204.58
1211.28/1214.33	c GLOBAL bounds - >= -15134132 @ 1206.81
1213.37/1216.46	c GLOBAL bounds - >= -15134132 @ 1208.93
1215.46/1218.57	c GLOBAL bounds - >= -15134132 @ 1211.03
1219.46/1222.56	c GLOBAL bounds - >= -15134132 @ 1215
1222.06/1225.13	c GLOBAL bounds - >= -15134132 @ 1217.56
1225.14/1228.29	c GLOBAL bounds - >= -15134132 @ 1220.7
1231.13/1234.23	c GLOBAL bounds - >= -15134132 @ 1226.63
1233.62/1236.77	c GLOBAL bounds - >= -15134132 @ 1229.15
1236.22/1239.34	c GLOBAL bounds - >= -15134132 @ 1231.71
1238.51/1241.63	c GLOBAL bounds - >= -15134132 @ 1233.99
1240.91/1244.05	c GLOBAL bounds - >= -15134132 @ 1236.4
1243.29/1246.46	c GLOBAL bounds - >= -15134132 @ 1238.8
1245.69/1248.84	c GLOBAL bounds - >= -15134132 @ 1241.17
1249.78/1252.94	c GLOBAL bounds - >= -15134132 @ 1245.25
1252.27/1255.45	c GLOBAL bounds - >= -15134132 @ 1247.75
1254.57/1257.72	c GLOBAL bounds - >= -15134132 @ 1250.01
1260.66/1263.87	c GLOBAL bounds - >= -15134132 @ 1256.14
1263.06/1266.21	c GLOBAL bounds - >= -15134132 @ 1258.47
1266.74/1269.98	c GLOBAL bounds - >= -15134132 @ 1262.22
1269.14/1272.30	c GLOBAL bounds - >= -15134132 @ 1264.53
1271.23/1274.48	c GLOBAL bounds - >= -15134132 @ 1266.71
1273.53/1276.71	c GLOBAL bounds - >= -15134132 @ 1268.93
1275.83/1279.00	c GLOBAL bounds - >= -15134132 @ 1271.21
1278.11/1281.35	c GLOBAL bounds - >= -15134132 @ 1273.55
1280.41/1283.63	c GLOBAL bounds - >= -15134132 @ 1275.82
1282.50/1285.79	c GLOBAL bounds - >= -15134132 @ 1277.97
1284.80/1288.03	c GLOBAL bounds - >= -15134132 @ 1280.2
1286.99/1290.24	c GLOBAL bounds - >= -15134132 @ 1282.4
1289.18/1292.40	c GLOBAL bounds - >= -15134132 @ 1284.55
1291.38/1294.61	c GLOBAL bounds - >= -15134132 @ 1286.75
1293.78/1297.03	c GLOBAL bounds - >= -15134132 @ 1289.16
1296.47/1299.78	c GLOBAL bounds - >= -15134132 @ 1291.9
1298.77/1302.09	c GLOBAL bounds - >= -15134132 @ 1294.19
1301.36/1304.62	c GLOBAL bounds - >= -15134132 @ 1296.7
1303.55/1306.87	c GLOBAL bounds - >= -15134132 @ 1298.94
1305.75/1309.05	c GLOBAL bounds - >= -15134132 @ 1301.11
1316.03/1319.34	c GLOBAL bounds - >= -15134132 @ 1311.37
1324.00/1327.33	c GLOBAL bounds - >= -15134132 @ 1319.33
1326.59/1329.94	c GLOBAL bounds - >= -15134132 @ 1321.93
1329.09/1332.42	c GLOBAL bounds - >= -15134132 @ 1324.4
1331.28/1334.68	c GLOBAL bounds - >= -15134132 @ 1326.65
1337.38/1340.72	c GLOBAL bounds - >= -15134132 @ 1332.67
1339.87/1343.26	c GLOBAL bounds - >= -15134132 @ 1335.2
1342.26/1345.69	c GLOBAL bounds - >= -15134132 @ 1337.62
1348.34/1351.79	c GLOBAL bounds - >= -15134132 @ 1343.7
1350.74/1354.12	c GLOBAL bounds - >= -15134132 @ 1346.02
1354.82/1358.27	c GLOBAL bounds - >= -15134132 @ 1350.15
1357.32/1360.70	c GLOBAL bounds - >= -15134132 @ 1352.57
1363.71/1367.17	c GLOBAL bounds - >= -15134132 @ 1358.99
1456.40/1460.04	c #Conflicts:       3000 | #Constraints:     431137
1456.40/1460.04	c GLOBAL bounds - >= -15134132 @ 1451.55
1460.28/1463.93	c GLOBAL bounds - >= -15134132 @ 1455.41
1471.47/1475.19	c GLOBAL bounds - >= -15134132 @ 1466.65
1474.36/1478.02	c GLOBAL bounds - >= -15134132 @ 1469.46
1478.04/1481.74	c GLOBAL bounds - >= -15134132 @ 1473.17
1480.54/1484.29	c GLOBAL bounds - >= -15134132 @ 1475.71
1483.34/1487.10	c GLOBAL bounds - >= -15134132 @ 1478.51
1486.12/1489.83	c GLOBAL bounds - >= -15134132 @ 1481.22
1488.61/1492.37	c GLOBAL bounds - >= -15134132 @ 1483.76
1491.61/1495.32	c GLOBAL bounds - >= -15134132 @ 1486.7
1494.30/1498.01	c GLOBAL bounds - >= -15134132 @ 1489.38
1497.20/1500.97	c GLOBAL bounds - >= -15134132 @ 1492.32
1499.79/1503.58	c GLOBAL bounds - >= -15134132 @ 1494.92
1503.08/1506.86	c GLOBAL bounds - >= -15134132 @ 1498.19
1505.67/1509.46	c GLOBAL bounds - >= -15134132 @ 1500.78
1508.17/1511.97	c GLOBAL bounds - >= -15134132 @ 1503.28
1510.87/1514.67	c GLOBAL bounds - >= -15134132 @ 1505.97
1513.75/1517.51	c GLOBAL bounds - >= -15134132 @ 1508.8
1530.61/1534.40	c GLOBAL bounds - >= -15134132 @ 1525.62
1533.40/1537.26	c GLOBAL bounds - >= -15134132 @ 1528.47
1536.40/1540.27	c GLOBAL bounds - >= -15134132 @ 1531.47
1539.00/1542.88	c GLOBAL bounds - >= -15134132 @ 1534.06
1541.59/1545.47	c GLOBAL bounds - >= -15134132 @ 1536.64
1552.36/1556.21	c GLOBAL bounds - >= -15134132 @ 1547.34
1555.16/1559.03	c GLOBAL bounds - >= -15134132 @ 1550.15
1557.85/1561.78	c GLOBAL bounds - >= -15134132 @ 1552.89
1560.84/1564.77	c GLOBAL bounds - >= -15134132 @ 1555.86
1563.53/1567.40	c GLOBAL bounds - >= -15134132 @ 1558.48
1566.23/1570.12	c GLOBAL bounds - >= -15134132 @ 1561.19
1568.92/1572.85	c GLOBAL bounds - >= -15134132 @ 1563.91
1571.92/1575.88	c GLOBAL bounds - >= -15134132 @ 1566.93
1574.61/1578.53	c GLOBAL bounds - >= -15134132 @ 1569.56
1577.30/1581.20	c GLOBAL bounds - >= -15134132 @ 1572.22
1581.48/1585.40	c GLOBAL bounds - >= -15134132 @ 1576.41
1584.19/1588.19	c GLOBAL bounds - >= -15134132 @ 1579.19
1586.77/1590.79	c GLOBAL bounds - >= -15134132 @ 1581.77
1589.47/1593.40	c GLOBAL bounds - >= -15134132 @ 1584.38
1591.96/1595.99	c GLOBAL bounds - >= -15134132 @ 1586.96
1594.66/1598.67	c GLOBAL bounds - >= -15134132 @ 1589.63
1597.65/1601.65	c GLOBAL bounds - >= -15134132 @ 1592.61
1600.44/1604.43	c GLOBAL bounds - >= -15134132 @ 1595.36
1603.44/1607.44	c GLOBAL bounds - >= -15134132 @ 1598.37
1609.62/1613.67	c GLOBAL bounds - >= -15134132 @ 1604.56
1612.92/1616.98	c GLOBAL bounds - >= -15134132 @ 1607.86
1616.00/1620.03	c GLOBAL bounds - >= -15134132 @ 1610.89
1623.18/1627.20	c GLOBAL bounds - >= -15134132 @ 1618.04
1626.08/1630.19	c GLOBAL bounds - >= -15134132 @ 1621.01
1629.16/1633.20	c GLOBAL bounds - >= -15134132 @ 1624.01
1631.97/1636.02	c GLOBAL bounds - >= -15134132 @ 1626.82
1634.75/1638.84	c GLOBAL bounds - >= -15134132 @ 1629.63
1637.95/1642.02	c GLOBAL bounds - >= -15134132 @ 1632.8
1640.64/1644.73	c GLOBAL bounds - >= -15134132 @ 1635.5
1643.54/1647.60	c GLOBAL bounds - >= -15134132 @ 1638.35
1646.22/1650.33	c GLOBAL bounds - >= -15134132 @ 1641.07
1652.92/1657.03	c GLOBAL bounds - >= -15134132 @ 1647.75
1655.80/1659.98	c GLOBAL bounds - >= -15134132 @ 1650.69
1658.59/1662.72	c GLOBAL bounds - >= -15134132 @ 1653.42
1661.59/1665.72	c GLOBAL bounds - >= -15134132 @ 1656.41
1664.48/1668.67	c GLOBAL bounds - >= -15134132 @ 1659.35
1667.28/1671.40	c GLOBAL bounds - >= -15134132 @ 1662.06
1670.37/1674.53	c GLOBAL bounds - >= -15134132 @ 1665.18
1678.25/1682.40	c GLOBAL bounds - >= -15134132 @ 1673
1688.42/1692.60	c GLOBAL bounds - >= -15134132 @ 1683.14
1694.01/1698.23	c GLOBAL bounds - >= -15134132 @ 1688.75
1698.60/1702.83	c GLOBAL bounds - >= -15134132 @ 1693.33
1701.50/1705.77	c GLOBAL bounds - >= -15134132 @ 1696.26
1704.38/1708.68	c GLOBAL bounds - >= -15134132 @ 1699.16
1707.68/1711.94	c GLOBAL bounds - >= -15134132 @ 1702.4
1714.86/1719.10	c GLOBAL bounds - >= -15134132 @ 1709.55
1723.54/1727.85	c GLOBAL bounds - >= -15134132 @ 1718.26
1726.74/1731.06	c GLOBAL bounds - >= -15134132 @ 1721.46
1729.62/1733.96	c GLOBAL bounds - >= -15134132 @ 1724.34
1733.72/1738.07	c GLOBAL bounds - >= -15134132 @ 1728.43
1737.20/1741.50	c GLOBAL bounds - >= -15134132 @ 1731.85
1740.10/1744.45	c GLOBAL bounds - >= -15134132 @ 1734.78
1749.48/1753.89	c GLOBAL bounds - >= -15134132 @ 1744.2
1752.47/1756.80	c GLOBAL bounds - >= -15134132 @ 1747.1
1755.56/1759.97	c GLOBAL bounds - >= -15134132 @ 1750.26
1763.35/1767.78	c GLOBAL bounds - >= -15134132 @ 1758.04
1766.44/1770.85	c GLOBAL bounds - >= -15134132 @ 1761.09
1769.53/1773.94	c GLOBAL bounds - >= -15134132 @ 1764.17
1779.50/1783.99	c GLOBAL bounds - >= -15134132 @ 1774.2
1782.70/1787.11	c GLOBAL bounds - >= -15134132 @ 1777.31
1785.70/1790.13	c GLOBAL bounds - >= -15134132 @ 1780.31
1789.68/1794.14	c GLOBAL bounds - >= -15134132 @ 1784.3
1793.17/1797.68	c GLOBAL bounds - >= -15134132 @ 1787.83
1796.37/1800.89	c GLOBAL bounds - >= -15134132 @ 1791.02
1799.46/1803.95	c GLOBAL bounds - >= -15134132 @ 1794.07
1803.35/1807.85	c GLOBAL bounds - >= -15134132 @ 1797.96
1806.54/1811.05	c GLOBAL bounds - >= -15134132 @ 1801.14
1810.83/1815.30	c GLOBAL bounds - >= -15134132 @ 1805.38
1814.02/1818.57	c GLOBAL bounds - >= -15134132 @ 1808.64
1817.11/1821.62	c GLOBAL bounds - >= -15134132 @ 1811.68
1820.10/1824.61	c GLOBAL bounds - >= -15134132 @ 1814.67
1823.30/1827.82	c GLOBAL bounds - >= -15134132 @ 1817.86
1826.60/1831.18	c GLOBAL bounds - >= -15134132 @ 1821.21
1829.78/1834.33	c GLOBAL bounds - >= -15134132 @ 1824.35
1858.12/1862.72	c GLOBAL bounds - >= -15134132 @ 1852.66
1891.74/1896.46	c GLOBAL bounds - >= -15134132 @ 1886.28
1896.03/1900.72	c GLOBAL bounds - >= -15134132 @ 1890.53
1901.12/1905.86	c GLOBAL bounds - >= -15134132 @ 1895.65
1905.21/1909.95	c GLOBAL bounds - >= -15134132 @ 1899.72
1908.60/1913.38	c GLOBAL bounds - >= -15134132 @ 1903.13
1911.99/1916.73	c GLOBAL bounds - >= -15134132 @ 1906.47
1918.18/1922.93	c GLOBAL bounds - >= -15134132 @ 1912.65
1921.67/1926.44	c GLOBAL bounds - >= -15134132 @ 1916.15
1924.97/1929.76	c GLOBAL bounds - >= -15134132 @ 1919.46
1928.15/1932.94	c GLOBAL bounds - >= -15134132 @ 1922.62
1931.36/1936.14	c GLOBAL bounds - >= -15134132 @ 1925.82
1934.64/1939.44	c GLOBAL bounds - >= -15134132 @ 1929.11
1938.03/1942.88	c GLOBAL bounds - >= -15134132 @ 1932.53
1941.33/1946.14	c GLOBAL bounds - >= -15134132 @ 1935.78
1946.11/1950.93	c GLOBAL bounds - >= -15134132 @ 1940.54
1949.60/1954.47	c GLOBAL bounds - >= -15134132 @ 1944.06
1953.70/1958.54	c GLOBAL bounds - >= -15134132 @ 1948.12
1957.38/1962.21	c GLOBAL bounds - >= -15134132 @ 1951.78
1960.98/1965.89	c GLOBAL bounds - >= -15134132 @ 1955.45
1964.57/1969.48	c GLOBAL bounds - >= -15134132 @ 1959.02
1968.36/1973.29	c GLOBAL bounds - >= -15134132 @ 1962.81
1976.94/1981.89	c GLOBAL bounds - >= -15134132 @ 1971.39
1980.33/1985.25	c GLOBAL bounds - >= -15134132 @ 1974.73
1987.91/1992.90	c GLOBAL bounds - >= -15134132 @ 1982.36
1991.40/1996.33	c GLOBAL bounds - >= -15134132 @ 1985.78
1994.70/1999.66	c GLOBAL bounds - >= -15134132 @ 1989.1
1998.09/2003.06	c GLOBAL bounds - >= -15134132 @ 1992.49
2005.87/2010.85	c GLOBAL bounds - >= -15134132 @ 2000.26
2009.36/2014.37	c GLOBAL bounds - >= -15134132 @ 2003.77
2013.06/2018.07	c GLOBAL bounds - >= -15134132 @ 2007.45
2016.35/2021.39	c GLOBAL bounds - >= -15134132 @ 2010.77
2026.32/2031.34	c GLOBAL bounds - >= -15134132 @ 2020.69
2029.81/2034.89	c GLOBAL bounds - >= -15134132 @ 2024.22
2033.21/2038.21	c GLOBAL bounds - >= -15134132 @ 2027.54
2036.60/2041.69	c GLOBAL bounds - >= -15134132 @ 2031
2040.10/2045.16	c GLOBAL bounds - >= -15134132 @ 2034.46
2045.68/2050.78	c GLOBAL bounds - >= -15134132 @ 2040.06
2049.16/2054.26	c GLOBAL bounds - >= -15134132 @ 2043.52
2052.56/2057.67	c GLOBAL bounds - >= -15134132 @ 2046.92
2057.05/2062.19	c GLOBAL bounds - >= -15134132 @ 2051.43
2082.69/2087.83	c GLOBAL bounds - >= -15134132 @ 2076.93
2086.98/2092.10	c GLOBAL bounds - >= -15134132 @ 2081.17
2090.67/2095.82	c GLOBAL bounds - >= -15134132 @ 2084.87
2094.27/2099.47	c GLOBAL bounds - >= -15134132 @ 2088.49
2097.75/2102.91	c GLOBAL bounds - >= -15134132 @ 2091.92
2101.24/2106.45	c GLOBAL bounds - >= -15134132 @ 2095.44
2105.13/2110.37	c GLOBAL bounds - >= -15134132 @ 2099.34
2109.63/2114.89	c GLOBAL bounds - >= -15134132 @ 2103.83
2113.22/2118.43	c GLOBAL bounds - >= -15134132 @ 2107.35
2116.61/2121.88	c GLOBAL bounds - >= -15134132 @ 2110.79
2120.09/2125.32	c GLOBAL bounds - >= -15134132 @ 2114.21
2123.49/2128.76	c GLOBAL bounds - >= -15134132 @ 2117.64
2127.08/2132.30	c GLOBAL bounds - >= -15134132 @ 2121.17
2135.06/2140.33	c GLOBAL bounds - >= -15134132 @ 2129.16
2152.22/2157.51	c GLOBAL bounds - >= -15134132 @ 2145.95
2156.02/2161.35	c GLOBAL bounds - >= -15134132 @ 2149.75
2159.61/2164.91	c GLOBAL bounds - >= -15134132 @ 2153.3
2163.49/2168.84	c GLOBAL bounds - >= -15134132 @ 2157.21
2168.79/2174.11	c GLOBAL bounds - >= -15134132 @ 2162.46
2172.68/2178.03	c GLOBAL bounds - >= -15134132 @ 2166.36
2176.77/2182.15	c GLOBAL bounds - >= -15134132 @ 2170.45
2180.35/2185.73	c GLOBAL bounds - >= -15134132 @ 2174.02
2191.93/2197.34	c GLOBAL bounds - >= -15134132 @ 2185.59
2195.72/2201.13	c GLOBAL bounds - >= -15134132 @ 2189.35
2199.30/2204.76	c GLOBAL bounds - >= -15134132 @ 2192.96
2203.60/2209.00	c GLOBAL bounds - >= -15134132 @ 2197.19
2232.43/2237.95	c GLOBAL bounds - >= -15134132 @ 2226.03
2236.52/2242.04	c GLOBAL bounds - >= -15134132 @ 2230.07
2247.10/2252.68	c GLOBAL bounds - >= -15134132 @ 2240.67
2258.97/2264.52	c GLOBAL bounds - >= -15134132 @ 2252.46
2262.86/2268.40	c GLOBAL bounds - >= -15134132 @ 2256.32
2274.73/2280.39	c GLOBAL bounds - >= -15134132 @ 2268.27
2278.62/2284.24	c GLOBAL bounds - >= -15134132 @ 2272.1
2282.11/2287.79	c GLOBAL bounds - >= -15134132 @ 2275.63
2286.40/2292.04	c GLOBAL bounds - >= -15134132 @ 2279.85
2290.20/2295.81	c GLOBAL bounds - >= -15134132 @ 2283.6
2294.39/2300.09	c GLOBAL bounds - >= -15134132 @ 2287.87
2298.27/2303.98	c GLOBAL bounds - >= -15134132 @ 2291.73
2302.16/2307.84	c GLOBAL bounds - >= -15134132 @ 2295.58
2306.06/2311.70	c GLOBAL bounds - >= -15134132 @ 2299.41
2309.95/2315.69	c GLOBAL bounds - >= -15134132 @ 2303.38
2313.74/2319.47	c GLOBAL bounds - >= -15134132 @ 2307.14
2317.83/2323.56	c GLOBAL bounds - >= -15134132 @ 2311.21
2321.71/2327.43	c GLOBAL bounds - >= -15134132 @ 2315.07
2327.11/2332.87	c GLOBAL bounds - >= -15134132 @ 2320.46
2331.09/2336.81	c GLOBAL bounds - >= -15134132 @ 2324.38
2334.79/2340.53	c GLOBAL bounds - >= -15134132 @ 2328.09
2338.78/2344.57	c GLOBAL bounds - >= -15134132 @ 2332.1
2342.67/2348.40	c GLOBAL bounds - >= -15134132 @ 2335.91
2347.15/2352.97	c GLOBAL bounds - >= -15134132 @ 2340.45
2351.25/2357.02	c GLOBAL bounds - >= -15134132 @ 2344.49
2355.24/2361.03	c GLOBAL bounds - >= -15134132 @ 2348.46
2363.91/2369.71	c GLOBAL bounds - >= -15134132 @ 2357.1
2368.60/2374.48	c GLOBAL bounds - >= -15134132 @ 2361.85
2372.99/2378.83	c GLOBAL bounds - >= -15134132 @ 2366.19
2380.58/2386.48	c GLOBAL bounds - >= -15134132 @ 2373.78
2399.63/2405.52	c #Conflicts:       4000 | #Constraints:     432525
2399.63/2405.52	c GLOBAL bounds - >= -15134132 @ 2392.6
2407.12/2413.01	c GLOBAL bounds - >= -15134132 @ 2400.04
2416.38/2422.35	c GLOBAL bounds - >= -15134132 @ 2409.31
2424.77/2430.75	c GLOBAL bounds - >= -15134132 @ 2417.68
2430.56/2436.58	c GLOBAL bounds - >= -15134132 @ 2423.49
2435.15/2441.14	c GLOBAL bounds - >= -15134132 @ 2428.03
2449.12/2455.11	c GLOBAL bounds - >= -15134132 @ 2441.96
2454.50/2460.51	c GLOBAL bounds - >= -15134132 @ 2447.33
2459.29/2465.32	c GLOBAL bounds - >= -15134132 @ 2452.12
2463.78/2469.87	c GLOBAL bounds - >= -15134132 @ 2456.66
2468.57/2474.64	c GLOBAL bounds - >= -15134132 @ 2461.41
2473.06/2479.18	c GLOBAL bounds - >= -15134132 @ 2465.94
2477.54/2483.62	c GLOBAL bounds - >= -15134132 @ 2470.35
2481.94/2488.08	c GLOBAL bounds - >= -15134132 @ 2474.79
2486.41/2492.54	c GLOBAL bounds - >= -15134132 @ 2479.23
2491.10/2497.27	c GLOBAL bounds - >= -15134132 @ 2483.93
2495.69/2501.87	c GLOBAL bounds - >= -15134132 @ 2488.52
2500.28/2506.48	c GLOBAL bounds - >= -15134132 @ 2493.11
2505.27/2511.45	c GLOBAL bounds - >= -15134132 @ 2498.06
2509.87/2516.09	c GLOBAL bounds - >= -15134132 @ 2502.69
2514.54/2520.79	c GLOBAL bounds - >= -15134132 @ 2507.37
2519.04/2525.26	c GLOBAL bounds - >= -15134132 @ 2511.83
2523.42/2529.69	c GLOBAL bounds - >= -15134132 @ 2516.24
2527.92/2534.15	c GLOBAL bounds - >= -15134132 @ 2520.68
2532.70/2538.90	c GLOBAL bounds - >= -15134132 @ 2525.41
2539.59/2545.84	c GLOBAL bounds - >= -15134132 @ 2532.32
2544.88/2551.13	c GLOBAL bounds - >= -15134132 @ 2537.58
2550.06/2556.31	c GLOBAL bounds - >= -15134132 @ 2542.74
2554.76/2561.02	c GLOBAL bounds - >= -15134132 @ 2547.43
2569.12/2575.45	c GLOBAL bounds - >= -15134132 @ 2561.83
2574.30/2580.63	c GLOBAL bounds - >= -15134132 @ 2566.98
2579.99/2586.35	c GLOBAL bounds - >= -15134132 @ 2572.68
2585.78/2592.17	c GLOBAL bounds - >= -15134132 @ 2578.48
2590.67/2597.02	c GLOBAL bounds - >= -15134132 @ 2583.31
2595.25/2601.67	c GLOBAL bounds - >= -15134132 @ 2587.94
2599.95/2606.31	c GLOBAL bounds - >= -15134132 @ 2592.57
2606.63/2613.01	c GLOBAL bounds - >= -15134132 @ 2599.22
2631.87/2638.32	c INPROCESSING
2631.87/2638.32	c GARBAGE COLLECT
2631.87/2638.32	c GLOBAL bounds - >= -15134132 @ 2624.45
2635.75/2642.20	c GLOBAL bounds - >= -15134132 @ 2628.32
2638.44/2644.95	c GLOBAL bounds - >= -15134132 @ 2631.06
2641.45/2647.91	c GLOBAL bounds - >= -15134132 @ 2634.01
2644.34/2650.88	c GLOBAL bounds - >= -15134132 @ 2636.97
2647.23/2653.76	c GLOBAL bounds - >= -15134132 @ 2639.85
2650.32/2656.86	c GLOBAL bounds - >= -15134132 @ 2642.93
2653.01/2659.56	c GLOBAL bounds - >= -15134132 @ 2645.63
2655.90/2662.42	c GLOBAL bounds - >= -15134132 @ 2648.48
2660.61/2667.15	c GLOBAL bounds - >= -15134132 @ 2653.19
2670.18/2676.78	c GLOBAL bounds - >= -15134132 @ 2662.79
2673.27/2679.82	c GLOBAL bounds - >= -15134132 @ 2665.81
2675.96/2682.58	c GLOBAL bounds - >= -15134132 @ 2668.56
2678.75/2685.38	c GLOBAL bounds - >= -15134132 @ 2671.35
2681.56/2688.11	c GLOBAL bounds - >= -15134132 @ 2674.07
2684.24/2690.86	c GLOBAL bounds - >= -15134132 @ 2676.8
2687.03/2693.69	c GLOBAL bounds - >= -15134132 @ 2679.62
2690.53/2697.16	c GLOBAL bounds - >= -15134132 @ 2683.08
2693.32/2699.96	c GLOBAL bounds - >= -15134132 @ 2685.87
2738.52/2745.21	c GLOBAL bounds - >= -15134132 @ 2730.98
2741.81/2748.54	c GLOBAL bounds - >= -15134132 @ 2734.29
2745.30/2752.06	c GLOBAL bounds - >= -15134132 @ 2737.8
2748.79/2755.52	c GLOBAL bounds - >= -15134132 @ 2741.25
2757.27/2764.01	c GLOBAL bounds - >= -15134132 @ 2749.72
2760.26/2767.01	c GLOBAL bounds - >= -15134132 @ 2752.71
2770.63/2777.41	c GLOBAL bounds - >= -15134132 @ 2763.07
2773.73/2780.50	c GLOBAL bounds - >= -15134132 @ 2766.14
2776.62/2783.47	c GLOBAL bounds - >= -15134132 @ 2769.1
2781.12/2787.97	c GLOBAL bounds - >= -15134132 @ 2773.58
2785.00/2791.84	c GLOBAL bounds - >= -15134132 @ 2777.44
2796.18/2803.04	c GLOBAL bounds - >= -15134132 @ 2788.61
2800.57/2807.43	c GLOBAL bounds - >= -15134132 @ 2792.98
2814.64/2821.52	c GLOBAL bounds - >= -15134132 @ 2807.01
2818.32/2825.21	c GLOBAL bounds - >= -15134132 @ 2810.68
2821.41/2828.32	c GLOBAL bounds - >= -15134132 @ 2813.78
2825.12/2832.06	c GLOBAL bounds - >= -15134132 @ 2817.5
2829.40/2836.37	c GLOBAL bounds - >= -15134132 @ 2821.81
2832.89/2839.83	c GLOBAL bounds - >= -15134132 @ 2825.26
2836.18/2843.10	c GLOBAL bounds - >= -15134132 @ 2828.52
2839.58/2846.56	c GLOBAL bounds - >= -15134132 @ 2831.97
2842.87/2849.87	c GLOBAL bounds - >= -15134132 @ 2835.26
2846.86/2853.87	c GLOBAL bounds - >= -15134132 @ 2839.25
2850.45/2857.48	c GLOBAL bounds - >= -15134132 @ 2842.85
2854.64/2861.60	c GLOBAL bounds - >= -15134132 @ 2846.96
2860.93/2867.90	c GLOBAL bounds - >= -15134132 @ 2853.25
2864.41/2871.40	c GLOBAL bounds - >= -15134132 @ 2856.73
2868.01/2875.03	c GLOBAL bounds - >= -15134132 @ 2860.34
2871.10/2878.20	c GLOBAL bounds - >= -15134132 @ 2863.49
2874.29/2881.35	c GLOBAL bounds - >= -15134132 @ 2866.63
2877.58/2884.63	c GLOBAL bounds - >= -15134132 @ 2869.9
2881.08/2888.19	c GLOBAL bounds - >= -15134132 @ 2873.45
2884.97/2892.02	c GLOBAL bounds - >= -15134132 @ 2877.27
2888.16/2895.29	c GLOBAL bounds - >= -15134132 @ 2880.53
2891.65/2898.74	c GLOBAL bounds - >= -15134132 @ 2883.96
2895.05/2902.18	c GLOBAL bounds - >= -15134132 @ 2887.39
2898.43/2905.57	c GLOBAL bounds - >= -15134132 @ 2890.77
2905.81/2912.95	c GLOBAL bounds - >= -15134132 @ 2898.13
2939.84/2947.04	c GLOBAL bounds - >= -15134132 @ 2932.06
2944.03/2951.22	c GLOBAL bounds - >= -15134132 @ 2936.22
2947.82/2955.08	c GLOBAL bounds - >= -15134132 @ 2940.06
2951.71/2958.92	c GLOBAL bounds - >= -15134132 @ 2943.89
2956.10/2963.35	c GLOBAL bounds - >= -15134132 @ 2948.3
2959.79/2967.05	c GLOBAL bounds - >= -15134132 @ 2951.99
2983.93/2991.29	c GLOBAL bounds - >= -15134132 @ 2976.14
2993.11/3000.41	c GLOBAL bounds - >= -15134132 @ 2985.22
2997.11/3004.46	c GLOBAL bounds - >= -15134132 @ 2989.26
3001.59/3008.98	c GLOBAL bounds - >= -15134132 @ 2993.77
3005.69/3013.06	c GLOBAL bounds - >= -15134132 @ 2997.83
3010.67/3018.03	c GLOBAL bounds - >= -15134132 @ 3002.77
3015.66/3023.00	c GLOBAL bounds - >= -15134132 @ 3007.73
3019.75/3027.16	c GLOBAL bounds - >= -15134132 @ 3011.87
3023.83/3031.28	c GLOBAL bounds - >= -15134132 @ 3015.98
3028.53/3035.93	c GLOBAL bounds - >= -15134132 @ 3020.62
3032.62/3040.02	c GLOBAL bounds - >= -15134132 @ 3024.69
3036.71/3044.11	c GLOBAL bounds - >= -15134132 @ 3028.77
3044.98/3052.49	c GLOBAL bounds - >= -15134132 @ 3037.12
3059.35/3066.86	c GLOBAL bounds - >= -15134132 @ 3051.45
3063.44/3070.96	c GLOBAL bounds - >= -15134132 @ 3055.53
3067.43/3074.95	c GLOBAL bounds - >= -15134132 @ 3059.51
3071.32/3078.81	c GLOBAL bounds - >= -15134132 @ 3063.35
3075.01/3082.52	c GLOBAL bounds - >= -15134132 @ 3067.04
3079.10/3086.62	c GLOBAL bounds - >= -15134132 @ 3071.12
3083.00/3090.59	c GLOBAL bounds - >= -15134132 @ 3075.08
3087.38/3094.92	c GLOBAL bounds - >= -15134132 @ 3079.4
3091.48/3099.00	c GLOBAL bounds - >= -15134132 @ 3083.47
3095.36/3102.92	c GLOBAL bounds - >= -15134132 @ 3087.38
3099.45/3107.06	c GLOBAL bounds - >= -15134132 @ 3091.5
3103.45/3111.06	c GLOBAL bounds - >= -15134132 @ 3095.49
3107.23/3114.82	c GLOBAL bounds - >= -15134132 @ 3099.24
3113.62/3121.22	c GLOBAL bounds - >= -15134132 @ 3105.62
3118.51/3126.17	c GLOBAL bounds - >= -15134132 @ 3110.55
3122.99/3130.65	c GLOBAL bounds - >= -15134132 @ 3115.02
3128.97/3136.61	c GLOBAL bounds - >= -15134132 @ 3120.95
3133.57/3141.25	c GLOBAL bounds - >= -15134132 @ 3125.58
3138.15/3145.88	c GLOBAL bounds - >= -15134132 @ 3130.19
3145.34/3153.02	c GLOBAL bounds - >= -15134132 @ 3137.28
3149.53/3157.28	c GLOBAL bounds - >= -15134132 @ 3141.53
3158.10/3165.84	c GLOBAL bounds - >= -15134132 @ 3150.07
3162.29/3170.02	c GLOBAL bounds - >= -15134132 @ 3154.23
3166.19/3173.94	c GLOBAL bounds - >= -15134132 @ 3158.14
3269.44/3277.40	c #Conflicts:       5000 | #Constraints:     432201
3269.44/3277.40	c GLOBAL bounds - >= -15134132 @ 3261.26
3286.60/3294.62	c GLOBAL bounds - >= -15134132 @ 3278.41
3293.69/3301.72	c GLOBAL bounds - >= -15134132 @ 3285.49
3337.19/3345.34	c GLOBAL bounds - >= -15134132 @ 3328.93
3349.06/3357.21	c GLOBAL bounds - >= -15134132 @ 3340.75
3356.04/3364.21	c GLOBAL bounds - >= -15134132 @ 3347.71
3362.72/3370.97	c GLOBAL bounds - >= -15134132 @ 3354.45
3369.51/3377.72	c GLOBAL bounds - >= -15134132 @ 3361.18
3374.39/3382.62	c GLOBAL bounds - >= -15134132 @ 3366.06
3379.58/3387.84	c GLOBAL bounds - >= -15134132 @ 3371.27
3384.27/3392.53	c GLOBAL bounds - >= -15134132 @ 3375.94
3389.06/3397.30	c GLOBAL bounds - >= -15134132 @ 3380.69
3394.44/3402.79	c GLOBAL bounds - >= -15134132 @ 3386.17
3399.23/3407.55	c GLOBAL bounds - >= -15134132 @ 3390.91
3405.02/3413.33	c GLOBAL bounds - >= -15134132 @ 3396.66
3409.81/3418.10	c GLOBAL bounds - >= -15134132 @ 3401.41
3414.70/3423.06	c GLOBAL bounds - >= -15134132 @ 3406.36
3419.58/3427.92	c GLOBAL bounds - >= -15134132 @ 3411.21
3428.06/3436.40	c GLOBAL bounds - >= -15134132 @ 3419.65
3434.24/3442.60	c GLOBAL bounds - >= -15134132 @ 3425.83
3442.22/3450.62	c GLOBAL bounds - >= -15134132 @ 3433.82
3457.89/3466.34	c GLOBAL bounds - >= -15134132 @ 3449.5
3463.07/3471.53	c GLOBAL bounds - >= -15134132 @ 3454.67
3467.87/3476.37	c GLOBAL bounds - >= -15134132 @ 3459.49
3472.95/3481.49	c GLOBAL bounds - >= -15134132 @ 3464.58
3477.84/3486.38	c GLOBAL bounds - >= -15134132 @ 3469.46
3482.93/3491.47	c GLOBAL bounds - >= -15134132 @ 3474.53
3488.31/3496.87	c GLOBAL bounds - >= -15134132 @ 3479.91
3493.31/3501.80	c GLOBAL bounds - >= -15134132 @ 3484.84
3498.39/3506.94	c GLOBAL bounds - >= -15134132 @ 3489.96
3503.37/3511.98	c GLOBAL bounds - >= -15134132 @ 3494.97
3509.57/3518.19	c GLOBAL bounds - >= -15134132 @ 3501.17
3514.56/3523.17	c GLOBAL bounds - >= -15134132 @ 3506.13
3520.44/3529.07	c GLOBAL bounds - >= -15134132 @ 3512.01
3525.92/3534.58	c GLOBAL bounds - >= -15134132 @ 3517.5
3538.88/3547.50	c GLOBAL bounds - >= -15134132 @ 3530.36
3549.76/3558.41	c GLOBAL bounds - >= -15134132 @ 3541.23
3555.65/3564.37	c GLOBAL bounds - >= -15134132 @ 3547.17
3561.23/3569.96	c GLOBAL bounds - >= -15134132 @ 3552.74
3566.43/3575.19	c GLOBAL bounds - >= -15134132 @ 3557.95
3571.41/3580.17	c GLOBAL bounds - >= -15134132 @ 3562.92
3576.59/3585.38	c GLOBAL bounds - >= -15134132 @ 3568.12
3582.29/3591.07	c GLOBAL bounds - >= -15134132 @ 3573.79
3589.37/3598.15	c GLOBAL bounds - >= -15134132 @ 3580.84
3600.04/3608.80	c cpu time 3591.46 s
3600.04/3608.80	c deterministic time 2 2.00e+00
3600.04/3608.80	c optimization time 3589.64 s
3600.04/3608.80	c total solve time 0 s
3600.04/3608.80	c core-guided solve time 0 s
3600.04/3608.80	c propagation time 0.144304 s
3600.04/3608.80	c conflict analysis time 0 s
3600.04/3608.80	c propagations 1
3600.04/3608.80	c resolve steps 0
3600.04/3608.80	c decisions 0
3600.04/3608.80	c conflicts 0
3600.04/3608.80	c restarts 0
3600.04/3608.80	c inprocessing phases 0
3600.04/3608.80	c garbage collections 0 ,( -nan )
3600.04/3608.80	c input clauses 281927 ,( 65.75 )
3600.04/3608.80	c input cardinalities 0 ,( 0.00 )
3600.04/3608.80	c input general constraints 146876 ,( 34.25 )
3600.04/3608.80	c input average constraint length 3.00
3600.04/3608.80	c input average constraint degree 1.34
3600.04/3608.80	c learned clauses 0 ,( 0.00 )
3600.04/3608.80	c learned cardinalities 0 ,( 0.00 )
3600.04/3608.80	c learned general constraints 0 ,( 0.00 )
3600.04/3608.80	c learned average constraint length 0.00
3600.04/3608.80	c learned average constraint degree 0.00
3600.04/3608.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3608.80	c counting CF 32, 64, 128, Arb: 146877 , 0 , 0 , 0
3600.04/3608.80	c watched   constraints 0 ,( 0.00 ) 
3600.04/3608.80	c counting  constraints 146876 ,( 100.00 ) 
3600.04/3608.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3608.80	c gcd simplifications 0
3600.04/3608.80	c detected cardinalities 0
3600.04/3608.80	c weakened non-implied lits 0
3600.04/3608.80	c weakened non-implying lits 0
3600.04/3608.80	c original variables 149652
3600.04/3608.80	c clausal propagations 0
3600.04/3608.80	c cardinality propagations 0
3600.04/3608.80	c watched propagations 0
3600.04/3608.80	c counting propagations 0
3600.04/3608.80	c watch lookups 0
3600.04/3608.80	c watch backjump lookups 0
3600.04/3608.80	c watch checks 0
3600.04/3608.80	c propagation checks 0
3600.04/3608.80	c constraint additions 0
3600.04/3608.80	c trail pops 0
3600.04/3608.80	c formula constraints 428803
3600.04/3608.80	c learned constraints 0
3600.04/3608.80	c bound constraints 0
3600.04/3608.80	c core-guided constraints 0
3600.04/3608.80	c encountered formula constraints 0
3600.04/3608.80	c encountered learned constraints 0
3600.04/3608.80	c encountered bound constraints 0
3600.04/3608.80	c encountered core-guided constraints 0
3600.04/3608.80	c LP total time 0 s
3600.04/3608.80	c LP solve time 0 s
3600.04/3608.80	c LP constraints added 0
3600.04/3608.80	c LP constraints removed 0
3600.04/3608.80	c LP pivots internal 0
3600.04/3608.80	c LP pivots root 0
3600.04/3608.80	c LP calls 0
3600.04/3608.80	c LP optimalities 0
3600.04/3608.80	c LP no pivot count 0
3600.04/3608.80	c LP infeasibilities 0
3600.04/3608.80	c LP valid Farkas constraints 0
3600.04/3608.80	c LP learned Farkas constraints 0
3600.04/3608.80	c LP basis resets 0
3600.04/3608.80	c LP cycling count 0
3600.04/3608.80	c LP singular count 0
3600.04/3608.80	c LP no primal count 0
3600.04/3608.80	c LP no farkas count 0
3600.04/3608.80	c LP other issue count 0
3600.04/3608.80	c LP Gomory cuts 0
3600.04/3608.80	c LP learned cuts 0
3600.04/3608.80	c LP deleted cuts 0
3600.04/3608.80	c LP encountered Gomory constraints 0
3600.04/3608.80	c LP encountered Farkas constraints 0
3600.04/3608.80	c LP encountered learned Farkas constraints 0
3600.04/3608.80	c CG auxiliary variables introduced 0
3600.04/3608.80	c CG solutions found 0
3600.04/3608.80	c CG cores constructed 0
3600.04/3608.80	c CG core cardinality constraints returned 0
3600.04/3608.80	c CG unit cores 0
3600.04/3608.80	c CG single cores 0
3600.04/3608.80	c CG blocks removed during cardinality reduction 0
3600.04/3608.80	c CG first core best 0
3600.04/3608.80	c CG decision core best 0
3600.04/3608.80	c CG core reduction tie 0
3600.04/3608.80	c CG core degree average 0.00
3600.04/3608.80	c CG core slack average 0.00
3600.04/3608.80	c CG core upper bound improvements 0
3600.04/3608.80	c STR number of successful calls 0
3600.04/3608.80	c STR number of unsuccessful calls 0
3600.04/3608.80	c STR number of inconclusive calls 0
3600.04/3608.80	c STR number of successful attempts 0
3600.04/3608.80	c STR number of unsuccessful attempts 0
3600.04/3608.80	c STR number of inconclusive attempts 0
3600.04/3608.80	c STR average degree increase per successful call inf
3600.04/3608.80	c STR average degree increase per successful attempt inf
3600.04/3608.80	c STR total number of conflicts for successful attempts 0
3600.04/3608.80	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3608.80	c STR total number of conflicts for inconclusive attempts 0
3600.04/3608.80	c STR average number of conflicts per successful attempt inf
3600.04/3608.80	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3608.80	c STR average number of conflicts per inconclusive attempt inf
3600.04/3608.80	c AVG.sumWPerc 100.00 
3600.04/3608.80	c bigint constraints 0 
3600.04/3608.80	s UNKNOWN
3600.04/3608.80	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 (62782 MiB free)
  memory of node 1: 64507 MiB (63900 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=79494, runsolver pid=79491

[startup+0.100058 s]*
/proc/loadavg: 0.56 1.01 1.81 5/268 79496
/proc/meminfo: memFree=129657684/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=88964 memory=42528 CPUtime=0.08 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 8150 0 0 0 6 2 0 0 20 0 1 0 67503955 91099136 10632 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 22241 10632 1952 1147 0 9668 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93156 KiB
Current children cumulated memory: 45600 KiB

[startup+0.204591 s]*
/proc/loadavg: 0.56 1.01 1.81 5/268 79496
/proc/meminfo: memFree=129654912/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=92980 memory=47648 CPUtime=0.19 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 9452 0 0 0 15 4 0 0 20 0 1 0 67503955 95211520 11912 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 23245 11912 1952 1147 0 10672 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 97172 KiB
Current children cumulated memory: 50720 KiB

[startup+0.304636 s]*
/proc/loadavg: 0.56 1.01 1.81 5/268 79496
/proc/meminfo: memFree=129645316/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=96176 memory=53064 CPUtime=0.29 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 10283 0 0 0 23 6 0 0 20 0 1 0 67503955 98484224 13266 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 24044 13266 1952 1147 0 11471 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100368 KiB
Current children cumulated memory: 56136 KiB

[startup+0.700155 s]
/proc/loadavg: 0.56 1.01 1.81 5/268 79496
/proc/meminfo: memFree=129623392/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=118072 memory=74808 CPUtime=0.67 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 15425 0 0 0 53 14 0 0 20 0 1 0 67503955 120905728 18702 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 29518 18702 1984 1147 0 16945 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122264 KiB
Current children cumulated memory: 77880 KiB

[startup+1.50016 s]
/proc/loadavg: 0.84 1.06 1.82 5/268 79496
/proc/meminfo: memFree=129577780/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=208924 memory=156104 CPUtime=1.48 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 29548 0 0 0 116 32 0 0 20 0 1 0 67503955 213938176 39026 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 52231 39026 2272 1147 0 39658 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 213116 KiB
Current children cumulated memory: 159176 KiB

[startup+3.10528 s]
/proc/loadavg: 0.84 1.06 1.82 5/268 79496
/proc/meminfo: memFree=128884692/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=809732 memory=706692 CPUtime=3.08 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 99285 0 0 0 243 65 0 0 20 0 1 0 67503955 829165568 176673 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 202433 176673 2336 1147 0 189860 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 813924 KiB
Current children cumulated memory: 709764 KiB

[startup+6.30015 s]
/proc/loadavg: 1.17 1.13 1.84 5/270 79498
/proc/meminfo: memFree=128767636/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=862484 memory=751280 CPUtime=6.26 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 101295 0 0 0 548 78 0 0 20 0 1 0 67503955 883183616 187820 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 215621 187820 2336 1147 0 203048 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 866676 KiB
Current children cumulated memory: 754352 KiB

[startup+12.7002 s]
/proc/loadavg: 1.48 1.19 1.85 5/270 79499
/proc/meminfo: memFree=128639488/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=893304 memory=765104 CPUtime=12.65 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 101721 0 0 0 1185 80 0 0 20 0 1 0 67503955 914743296 191276 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 223326 191276 2336 1147 0 210753 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 897496 KiB
Current children cumulated memory: 768176 KiB

[startup+25.5002 s]
/proc/loadavg: 1.87 1.29 1.88 5/270 79499
/proc/meminfo: memFree=128382644/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=893304 memory=784548 CPUtime=25.41 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 101972 0 0 0 2460 81 0 0 20 0 1 0 67503955 914743296 196137 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 223326 196137 2336 1147 0 210753 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 897496 KiB
Current children cumulated memory: 787620 KiB

[startup+51.1053 s]
/proc/loadavg: 2.79 1.56 1.95 5/271 79500
/proc/meminfo: memFree=127894016/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=975164 memory=863560 CPUtime=50.94 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 110462 0 0 0 5008 86 0 0 20 0 1 0 67503955 998567936 215890 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 243791 215890 2368 1147 0 231218 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 979356 KiB
Current children cumulated memory: 866632 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 1.96 2.07 5/271 79502
/proc/meminfo: memFree=126664908/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=1341380 memory=1238700 CPUtime=101.99 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 150602 0 0 0 10070 129 0 0 20 0 1 0 67503955 1373573120 309675 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 335345 309675 2368 1147 0 322772 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1345572 KiB
Current children cumulated memory: 1241772 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.35 2.20 5/271 79504
/proc/meminfo: memFree=125293652/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=1823888 memory=1715404 CPUtime=161.84 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 217182 0 0 0 16022 162 0 0 20 0 1 0 67503955 1867661312 428851 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 455972 428851 2368 1147 0 443399 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1828080 KiB
Current children cumulated memory: 1718476 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.68 2.32 5/270 79508
/proc/meminfo: memFree=124298652/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=2417168 memory=2021564 CPUtime=221.68 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 277989 0 0 0 21991 177 0 0 20 0 1 0 67503955 2475180032 505391 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0

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

/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9615132 CPUtime=3154.61 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1688059 0 0 0 314653 808 0 0 20 0 1 0 67503955 12504715264 2403783 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2403783 2368 1147 0 3040336 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9618204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/272 79684
/proc/meminfo: memFree=88815148/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9615132 CPUtime=3214.47 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1689270 0 0 0 320633 814 0 0 20 0 1 0 67503955 12504715264 2403783 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2403783 2368 1147 0 3040336 0
Current children cumulated CPU time: 3214.47 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9618204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.15 4.08 5/270 79692
/proc/meminfo: memFree=88365020/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9615132 CPUtime=3274.33 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1690494 0 0 0 326613 820 0 0 20 0 1 0 67503955 12504715264 2403783 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2403783 2368 1147 0 3040336 0
Current children cumulated CPU time: 3274.33 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9618204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/270 79694
/proc/meminfo: memFree=87768576/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9615132 CPUtime=3334.2 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1691765 0 0 0 332590 830 0 0 20 0 1 0 67503955 12504715264 2403783 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2403783 2368 1147 0 3040336 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9618204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/272 79698
/proc/meminfo: memFree=87281484/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9615260 CPUtime=3394.04 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1692982 0 0 0 338567 837 0 0 20 0 1 0 67503955 12504715264 2403815 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2403815 2368 1147 0 3040336 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9618332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.14 4.09 5/272 79700
/proc/meminfo: memFree=86811188/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9615644 CPUtime=3453.9 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1693808 0 0 0 344546 844 0 0 20 0 1 0 67503955 12504715264 2403911 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2403911 2368 1147 0 3040336 0
Current children cumulated CPU time: 3453.9 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9618716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/272 79702
/proc/meminfo: memFree=86378300/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9617436 CPUtime=3513.75 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1695286 0 0 0 350526 849 0 0 20 0 1 0 67503955 12504715264 2404359 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2404359 2368 1147 0 3040336 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9620508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/271 79704
/proc/meminfo: memFree=85919656/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9623452 CPUtime=3573.6 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1698127 0 0 0 356504 856 0 0 20 0 1 0 67503955 12504715264 2405863 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2405863 2368 1147 0 3040336 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9626524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 79706
/proc/meminfo: memFree=85733888/131250000 swapFree=33010416/33010684
[pid=79494] ppid=79491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/79494/stat : 79494 (run-opt-log.sh) S 79491 79494 79423 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 67503954 4292608 768 18446744073709551615 94579856838656 94579857733189 140726250709952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94579857972240 94579858019984 94579888398336 140726250715425 140726250715620 140726250715620 140726250721222 0
/proc/79494/statm: 1048 768 704 219 0 110 0
[pid=79496] ppid=79494 vsize=12211636 memory=9627164 CPUtime=3600.04 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79494 79494 79423 0 -1 4194304 1700285 0 0 0 359145 859 0 0 20 0 1 0 67503955 12504715264 2406791 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 3052909 2406791 2368 1147 0 3040336 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 12215828 KiB
Current children cumulated memory: 9630236 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3608.8 s]
# the end of solver process 79494 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.002093 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3591.61 s, system=8.81487 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+3609.01 s]*
/proc/loadavg: 4.10 4.12 4.09 5/270 79706
/proc/meminfo: memFree=90107316/131250000 swapFree=33010416/33010684
[pid=79496] ppid=79491 vsize=8315192 memory=5080164 CPUtime=3600.22 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79491 79494 79423 0 -1 4194304 1700300 0 0 0 359152 870 0 0 20 0 1 0 67503955 8514756608 1270041 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 2078798 1270041 2432 1147 0 2066225 0
Current cumulated CPU time of completed processes: 0.002093 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 8315192 KiB
Current children cumulated memory: 5080164 KiB

[startup+3609.11 s]
/proc/loadavg: 4.10 4.12 4.09 5/270 79706
/proc/meminfo: memFree=90107316/131250000 swapFree=33010416/33010684
[pid=79496] ppid=79491 vsize=4063808 memory=4016356 CPUtime=3600.32 cores=1,3
/proc/79496/stat : 79496 (roundingsat) R 79491 79494 79423 0 -1 4194304 1700461 0 0 0 359158 874 0 0 20 0 1 0 67503955 4161339392 1004089 18446744073709551615 4227072 8923433 140733519191248 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40796160 140733519198546 140733519198760 140733519198760 140733519204330 0
/proc/79496/statm: 1015952 1004089 2464 1147 0 1003379 0
Current cumulated CPU time of completed processes: 0.002093 s
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 4063808 KiB
Current children cumulated memory: 4016356 KiB

Child status: 2

Real time (s): 3609.2
CPU time (s): 3600.42
CPU user time (s): 3591.61
CPU system time (s): 8.81487
CPU usage (%): 99.7569
Max. virtual memory (cumulated for all children) (KiB): 12215828
Max. memory (cumulated for all children) (KiB): 9630236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.61
system time used= 8.81487
maximum resident set size= 9627420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1700686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12727736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 743
involuntary context switches= 8025


# summary of solver processes directly reported to runsolver:
#   pid: 79494,79496
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3591.61
#   total CPU system time (s): 8.81487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00553 second user time and 17.0566 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-03 06:51:01
IDJOB=4508827
IDBENCH=158475
IDSOLVER=3351
FILE ID=nodeC018/4508827-1751518261
RUNJOBID= nodeC018-1751518261-79435
SLURM_JOB_ID= 9598637
Free space on /tmp= 432896 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508827-1751518261/watcher-4508827-1751518261 -o /tmp/evaluation-result-4508827-1751518261/solver-4508827-1751518261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79435 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508827-1751518261.opb PROOFDIR/proof-4508827-1751518261

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

MD5SUM BENCH= 3ba8cfc0a45dfa41539851263c680a3e
RANDOM SEED=1397635511

nodeC018 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.804
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.66
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.097
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.66
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		: 3599.816
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.66
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		: 3599.823
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.66
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.851
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.66
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		: 3603.599
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.66
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		: 3600.403
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.66
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.832
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129712868 kB
MemAvailable:   129676072 kB
Buffers:            2128 kB
Cached:           728556 kB
SwapCached:           32 kB
Active:           501632 kB
Inactive:         311748 kB
Active(anon):     100452 kB
Inactive(anon):      288 kB
Active(file):     401180 kB
Inactive(file):   311460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46008 kB
Writeback:             0 kB
AnonPages:         86004 kB
Mapped:           114816 kB
Shmem:             18044 kB
KReclaimable:     179208 kB
Slab:             269424 kB
SReclaimable:     179208 kB
SUnreclaim:        90216 kB
KernelStack:        4108 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     438176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432888 MiB
End job on nodeC018 at 2025-07-03 07:51:10