Trace number 4502880

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+pbsuma-opt 63f22ad? (TO) 3602.11 3614.22

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark613.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
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 ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4502880-1751421964.opb'
0.29/0.37	c 	read 31.67MB  (356.93ms)
0.29/0.37	c	 [cnf: #variables 7840 #clauses 65281 #duplicates 0 #arr 3579552]
0.29/0.37	c 
0.29/0.37	c make graph and approximate orbits
0.48/0.54	c	 [group: #orbits ~= 218] (170.55ms)
0.48/0.54	c 
0.48/0.54	c detect special group actions
0.48/0.54	c 	probe for Johnson action (limit=64)
0.67/0.72	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.77/0.85	c 	probe for row symmetry (limit=64, splits=16.78M)
3.16/3.22	c 	 (2678.31ms)
3.16/3.22	c 
3.16/3.22	c detect symmetries on remainder
3.16/3.22	c 	[graph: #vertices 88801 #edges 7190464]
3.16/3.23	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
3.97/4.08	c 	 [group: #symmetries 2.56*10^2 #generators 8] (866.59ms)
3.97/4.08	c 
3.97/4.08	c optimize generators (opt_passes=64, conjugate_limit=256)
3.97/4.08	c 	(0.03ms)
3.97/4.08	c 
3.97/4.08	c finalize break order and special generators
3.97/4.09	c 
3.97/4.09	c add generic predicates (break_depth=20)
3.97/4.09	c 	added predicates for 8 generators (2.17ms)
3.97/4.09	c 
3.97/4.09	c generation finished
3.97/4.09	c 	[sbp: #constraints 464 #add_vars 152]
3.97/4.09	c 
3.97/4.09	c write result to 'HOME/instance-4502880-1751421964.opb.pre'
4.07/4.15	c 	wrote 31.75MB (65.42ms)
4.07/4.15	c ------------------------------------------------------------------
4.07/4.15	c                2678.31ms 64.65% detect_special
4.07/4.15	c                 866.59ms 20.92% detect_generic
4.07/4.15	c                 356.93ms  8.62% parse
4.07/4.15	c                 170.55ms  4.12% approx_orbits
4.07/4.15	c                  65.42ms  1.58% output
4.07/4.15	c                   2.17ms  0.05% break_generic
4.07/4.15	c                   1.89ms  0.05% other
4.07/4.15	c                   0.75ms  0.02% finalize_order
4.07/4.15	c                   0.03ms  0.00% optimize_gens
4.07/4.15	c         ───────────────────────────────────────────────
4.07/4.15	c                4142.63ms   100% total
4.07/4.15	c ------------------------------------------------------------------
4.07/4.18	c RoundingSat 2
4.07/4.18	c branch pb25
4.07/4.18	c commit 63f22ad
5.24/5.32	c #variables 7992 #constraints 65744
5.24/5.32	c objective is ce32 
5.24/5.32	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.24/5.32	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.24/5.32	c bounds - >= 0 @ 1.02414
17.11/17.27	c bounds 1152 >= 0 @ 12.7862
17.11/17.27	c bounds 1152 >= 1 @ 12.791
17.11/17.28	c bounds 1152 >= 2 @ 12.7925
17.11/17.29	c bounds 1152 >= 3 @ 12.7995
17.11/17.29	c bounds 1152 >= 4 @ 12.8012
17.21/17.30	c bounds 1152 >= 5 @ 12.8041
17.21/17.30	c bounds 1152 >= 6 @ 12.8055
17.21/17.31	c bounds 1152 >= 7 @ 12.8081
17.21/17.32	c bounds 1152 >= 8 @ 12.8122
17.21/17.32	c bounds 1152 >= 9 @ 12.8148
17.21/17.33	c bounds 1152 >= 10 @ 12.8181
17.21/17.34	c bounds 1152 >= 11 @ 12.819
17.21/17.34	c bounds 1152 >= 12 @ 12.8249
17.21/17.35	c bounds 1152 >= 13 @ 12.8261
17.21/17.36	c bounds 1152 >= 14 @ 12.8275
17.21/17.36	c bounds 1152 >= 15 @ 12.8309
17.21/17.37	c bounds 1152 >= 16 @ 12.8359
17.21/17.38	c bounds 1152 >= 17 @ 12.8452
17.21/17.39	c bounds 1152 >= 18 @ 12.8476
17.21/17.39	c bounds 1152 >= 19 @ 12.8493
17.31/17.40	c bounds 1152 >= 20 @ 12.8517
17.31/17.41	c bounds 1152 >= 21 @ 12.8592
17.31/17.42	c bounds 1152 >= 22 @ 12.8628
17.31/17.43	c bounds 1152 >= 23 @ 12.8642
17.31/17.44	c bounds 1152 >= 24 @ 12.8684
17.31/17.45	c bounds 1152 >= 25 @ 12.8726
17.31/17.46	c bounds 1152 >= 26 @ 12.8833
17.41/17.51	c bounds 1152 >= 27 @ 12.9252
17.51/17.61	c bounds 1152 >= 28 @ 13.0201
18.11/18.25	c bounds 1152 >= 29 @ 13.6208
18.11/18.29	c bounds 1131 >= 29 @ 13.6558
18.20/18.30	c bounds 1130 >= 29 @ 13.6639
18.20/18.31	c bounds 1129 >= 29 @ 13.6715
18.20/18.32	c bounds 1128 >= 29 @ 13.6773
18.20/18.33	c bounds 1127 >= 29 @ 13.6868
18.20/18.34	c bounds 1126 >= 29 @ 13.6921
18.20/18.36	c bounds 1125 >= 29 @ 13.6974
18.20/18.37	c bounds 1124 >= 29 @ 13.7049
18.20/18.39	c bounds 1123 >= 29 @ 13.7172
18.31/18.40	c bounds 1122 >= 29 @ 13.729
18.31/18.42	c bounds 1121 >= 29 @ 13.7405
18.31/18.43	c bounds 1120 >= 29 @ 13.7529
18.31/18.45	c bounds 1119 >= 29 @ 13.7617
18.31/18.46	c bounds 1118 >= 29 @ 13.7723
18.31/18.48	c bounds 1117 >= 29 @ 13.7825
18.31/18.49	c bounds 1116 >= 29 @ 13.7905
18.41/18.50	c bounds 1115 >= 29 @ 13.7971
18.41/18.51	c bounds 1114 >= 29 @ 13.8064
18.41/18.52	c bounds 1113 >= 29 @ 13.8118
18.41/18.54	c bounds 1112 >= 29 @ 13.8195
18.41/18.55	c bounds 1111 >= 29 @ 13.8284
18.41/18.56	c bounds 1110 >= 29 @ 13.8382
18.41/18.58	c bounds 1109 >= 29 @ 13.8491
18.41/18.59	c bounds 1108 >= 29 @ 13.8581
18.51/18.60	c bounds 1107 >= 29 @ 13.8668
18.51/18.61	c bounds 1106 >= 29 @ 13.8737
18.51/18.62	c bounds 1105 >= 29 @ 13.8824
18.51/18.64	c bounds 1104 >= 29 @ 13.8884
18.51/18.65	c bounds 1103 >= 29 @ 13.8966
18.51/18.66	c bounds 1102 >= 29 @ 13.9079
18.51/18.69	c bounds 1101 >= 29 @ 13.9235
18.60/18.71	c bounds 1100 >= 29 @ 13.9469
18.60/18.74	c bounds 1099 >= 29 @ 13.9681
18.60/18.76	c bounds 1098 >= 29 @ 13.9809
18.60/18.78	c #Conflicts:       1000 | #Constraints:      67010
18.60/18.78	c bounds 1097 >= 29 @ 14.0006
18.71/18.80	c bounds 1096 >= 29 @ 14.0169
18.71/18.82	c bounds 1095 >= 29 @ 14.0299
18.71/18.83	c bounds 1094 >= 29 @ 14.041
18.71/18.85	c bounds 1093 >= 29 @ 14.0553
18.71/18.86	c bounds 1092 >= 29 @ 14.0641
18.71/18.87	c bounds 1091 >= 29 @ 14.0725
18.71/18.89	c bounds 1090 >= 29 @ 14.0822
18.80/18.91	c bounds 1089 >= 29 @ 14.0936
18.80/18.92	c bounds 1088 >= 29 @ 14.1069
18.80/18.94	c bounds 1087 >= 29 @ 14.1202
18.80/18.96	c bounds 1086 >= 29 @ 14.1333
18.80/18.97	c bounds 1085 >= 29 @ 14.1425
18.80/18.99	c bounds 1084 >= 29 @ 14.1518
18.80/19.00	c bounds 1083 >= 29 @ 14.1564
18.91/19.01	c bounds 1082 >= 29 @ 14.1643
18.91/19.02	c bounds 1081 >= 29 @ 14.1707
18.91/19.03	c bounds 1080 >= 29 @ 14.1779
18.91/19.05	c bounds 1079 >= 29 @ 14.1855
18.91/19.06	c bounds 1078 >= 29 @ 14.1933
18.91/19.07	c bounds 1077 >= 29 @ 14.199
18.91/19.08	c bounds 1076 >= 29 @ 14.2047
18.91/19.09	c bounds 1075 >= 29 @ 14.2101
19.01/19.11	c bounds 1074 >= 29 @ 14.2185
19.01/19.12	c bounds 1073 >= 29 @ 14.2291
19.01/19.13	c bounds 1072 >= 29 @ 14.2369
19.01/19.14	c bounds 1071 >= 29 @ 14.2424
19.01/19.16	c bounds 1070 >= 29 @ 14.2513
19.01/19.17	c bounds 1069 >= 29 @ 14.2577
19.01/19.18	c bounds 1068 >= 29 @ 14.2624
19.01/19.19	c bounds 1067 >= 29 @ 14.2692
19.11/19.20	c bounds 1066 >= 29 @ 14.2768
19.11/19.22	c bounds 1065 >= 29 @ 14.2867
19.11/19.23	c bounds 1064 >= 29 @ 14.2964
19.11/19.24	c bounds 1063 >= 29 @ 14.3039
19.11/19.25	c bounds 1062 >= 29 @ 14.3118
19.11/19.27	c bounds 1061 >= 29 @ 14.3216
19.11/19.28	c bounds 1060 >= 29 @ 14.3294
19.11/19.29	c bounds 1059 >= 29 @ 14.3354
2193.83/2201.28	c #Conflicts:       2000 | #Constraints:      68049
2193.83/2201.28	c INPROCESSING
2193.83/2201.28	c GARBAGE COLLECT
2193.83/2201.28	c bounds 1058 >= 29 @ 2188.18
2193.83/2201.29	c bounds 1057 >= 29 @ 2188.19
2193.93/2201.31	c bounds 1056 >= 29 @ 2188.2
2193.93/2201.33	c bounds 1055 >= 29 @ 2188.22
2193.93/2201.35	c bounds 1054 >= 29 @ 2188.23
2193.93/2201.37	c bounds 1053 >= 29 @ 2188.25
2193.93/2201.38	c bounds 1052 >= 29 @ 2188.26
2194.03/2201.40	c bounds 1051 >= 29 @ 2188.27
2194.03/2201.42	c bounds 1050 >= 29 @ 2188.28
2194.03/2201.43	c bounds 1049 >= 29 @ 2188.29
2194.03/2201.45	c bounds 1048 >= 29 @ 2188.3
2194.03/2201.46	c bounds 1047 >= 29 @ 2188.31
2194.03/2201.47	c bounds 1046 >= 29 @ 2188.32
2194.03/2201.49	c bounds 1045 >= 29 @ 2188.33
2194.13/2201.50	c bounds 1044 >= 29 @ 2188.34
2194.13/2201.52	c bounds 1043 >= 29 @ 2188.35
2194.13/2201.53	c bounds 1042 >= 29 @ 2188.36
2194.13/2201.54	c bounds 1041 >= 29 @ 2188.36
2194.13/2201.55	c bounds 1040 >= 29 @ 2188.37
2194.13/2201.57	c bounds 1039 >= 29 @ 2188.38
2194.13/2201.58	c bounds 1038 >= 29 @ 2188.39
2194.13/2201.59	c bounds 1037 >= 29 @ 2188.4
2194.24/2201.61	c bounds 1036 >= 29 @ 2188.41
2194.24/2201.62	c bounds 1035 >= 29 @ 2188.42
2194.24/2201.63	c bounds 1034 >= 29 @ 2188.42
2194.24/2201.64	c bounds 1033 >= 29 @ 2188.43
2194.24/2201.66	c bounds 1032 >= 29 @ 2188.44
2194.24/2201.67	c bounds 1031 >= 29 @ 2188.45
2194.24/2201.69	c bounds 1030 >= 29 @ 2188.46
2194.33/2201.70	c bounds 1029 >= 29 @ 2188.47
2194.33/2201.71	c bounds 1028 >= 29 @ 2188.48
2194.33/2201.72	c bounds 1027 >= 29 @ 2188.49
2194.33/2201.74	c bounds 1026 >= 29 @ 2188.5
2194.33/2201.75	c bounds 1025 >= 29 @ 2188.5
2194.33/2201.76	c bounds 1024 >= 29 @ 2188.51
2194.33/2201.77	c bounds 1023 >= 29 @ 2188.52
2194.33/2201.79	c bounds 1022 >= 29 @ 2188.53
2194.43/2201.80	c bounds 1021 >= 29 @ 2188.54
2194.43/2201.82	c bounds 1020 >= 29 @ 2188.56
2194.43/2201.83	c bounds 1019 >= 29 @ 2188.57
2194.43/2201.85	c bounds 1018 >= 29 @ 2188.58
2194.43/2201.86	c bounds 1017 >= 29 @ 2188.59
2194.43/2201.88	c bounds 1016 >= 29 @ 2188.6
2194.43/2201.89	c bounds 1015 >= 29 @ 2188.61
2194.53/2201.90	c bounds 1014 >= 29 @ 2188.61
2194.53/2201.92	c bounds 1013 >= 29 @ 2188.62
2194.53/2201.93	c bounds 1012 >= 29 @ 2188.63
2194.53/2201.94	c bounds 1011 >= 29 @ 2188.64
2194.53/2201.96	c bounds 1010 >= 29 @ 2188.65
2194.53/2201.97	c bounds 1009 >= 29 @ 2188.65
2194.53/2201.99	c bounds 1008 >= 29 @ 2188.66
2194.53/2202.00	c bounds 1007 >= 29 @ 2188.67
2194.64/2202.01	c bounds 1006 >= 29 @ 2188.68
2194.64/2202.03	c bounds 1005 >= 29 @ 2188.69
2194.64/2202.04	c bounds 1004 >= 29 @ 2188.7
2194.64/2202.05	c bounds 1003 >= 29 @ 2188.71
2194.64/2202.07	c bounds 1002 >= 29 @ 2188.71
2194.64/2202.08	c bounds 1001 >= 29 @ 2188.72
2194.64/2202.09	c bounds 1000 >= 29 @ 2188.72
2194.73/2202.11	c bounds 999 >= 29 @ 2188.73
2194.73/2202.12	c bounds 998 >= 29 @ 2188.74
2194.73/2202.13	c bounds 997 >= 29 @ 2188.75
2194.73/2202.14	c bounds 996 >= 29 @ 2188.76
2194.73/2202.16	c bounds 995 >= 29 @ 2188.77
2194.73/2202.17	c bounds 994 >= 29 @ 2188.78
2194.73/2202.18	c bounds 993 >= 29 @ 2188.78
2194.83/2202.20	c bounds 992 >= 29 @ 2188.79
2194.83/2202.21	c bounds 991 >= 29 @ 2188.8
2194.83/2202.22	c bounds 990 >= 29 @ 2188.81
2194.83/2202.24	c bounds 989 >= 29 @ 2188.81
2194.83/2202.25	c bounds 988 >= 29 @ 2188.82
2194.83/2202.26	c bounds 987 >= 29 @ 2188.83
2194.83/2202.28	c bounds 986 >= 29 @ 2188.84
2194.83/2202.29	c bounds 985 >= 29 @ 2188.85
2194.94/2202.30	c bounds 984 >= 29 @ 2188.85
2194.94/2202.32	c bounds 983 >= 29 @ 2188.86
2194.94/2202.33	c bounds 982 >= 29 @ 2188.87
2194.94/2202.34	c bounds 981 >= 29 @ 2188.88
2194.94/2202.36	c bounds 980 >= 29 @ 2188.89
2194.94/2202.37	c bounds 979 >= 29 @ 2188.9
2194.94/2202.38	c bounds 978 >= 29 @ 2188.91
2195.03/2202.40	c bounds 977 >= 29 @ 2188.92
2195.03/2202.41	c bounds 976 >= 29 @ 2188.92
2195.03/2202.42	c bounds 975 >= 29 @ 2188.93
2195.03/2202.44	c bounds 974 >= 29 @ 2188.94
2195.03/2202.46	c bounds 973 >= 29 @ 2188.96
2195.03/2202.47	c bounds 972 >= 29 @ 2188.97
2195.03/2202.49	c bounds 971 >= 29 @ 2188.98
2195.13/2202.50	c bounds 970 >= 29 @ 2188.99
2195.13/2202.52	c bounds 969 >= 29 @ 2189
2195.13/2202.53	c bounds 968 >= 29 @ 2189.01
2195.13/2202.54	c bounds 967 >= 29 @ 2189.02
2195.13/2202.56	c bounds 966 >= 29 @ 2189.03
2195.13/2202.57	c bounds 965 >= 29 @ 2189.04
2195.13/2202.58	c bounds 964 >= 29 @ 2189.05
2195.13/2202.60	c bounds 963 >= 29 @ 2189.06
2195.23/2202.61	c bounds 962 >= 29 @ 2189.06
2195.23/2202.62	c bounds 961 >= 29 @ 2189.07
2195.23/2202.63	c bounds 960 >= 29 @ 2189.08
2195.23/2202.65	c bounds 959 >= 29 @ 2189.09
2195.23/2202.66	c bounds 958 >= 29 @ 2189.09
2195.23/2202.67	c bounds 957 >= 29 @ 2189.1
2195.23/2202.69	c bounds 956 >= 29 @ 2189.11
2195.33/2202.70	c bounds 955 >= 29 @ 2189.12
2195.33/2202.71	c bounds 954 >= 29 @ 2189.13
2195.33/2202.72	c bounds 953 >= 29 @ 2189.14
2195.33/2202.74	c bounds 952 >= 29 @ 2189.14
2195.33/2202.75	c bounds 951 >= 29 @ 2189.15
2195.33/2202.76	c bounds 950 >= 29 @ 2189.16
2195.33/2202.78	c bounds 949 >= 29 @ 2189.17
2195.33/2202.79	c bounds 948 >= 29 @ 2189.18
2195.43/2202.80	c bounds 947 >= 29 @ 2189.19
2195.43/2202.82	c bounds 946 >= 29 @ 2189.2
2195.43/2202.83	c bounds 945 >= 29 @ 2189.21
2195.43/2202.84	c bounds 944 >= 29 @ 2189.22
2195.43/2202.86	c bounds 943 >= 29 @ 2189.23
2195.43/2202.87	c bounds 942 >= 29 @ 2189.24
2195.43/2202.88	c bounds 941 >= 29 @ 2189.24
2195.43/2202.89	c bounds 940 >= 29 @ 2189.25
2195.53/2202.91	c bounds 939 >= 29 @ 2189.26
2195.53/2202.92	c bounds 938 >= 29 @ 2189.27
2195.53/2202.94	c bounds 937 >= 29 @ 2189.28
2195.53/2202.95	c bounds 936 >= 29 @ 2189.28
2195.53/2202.96	c bounds 935 >= 29 @ 2189.29
2195.53/2202.98	c bounds 934 >= 29 @ 2189.3
2195.53/2202.99	c bounds 933 >= 29 @ 2189.31
2195.63/2203.00	c bounds 932 >= 29 @ 2189.32
2195.63/2203.02	c bounds 931 >= 29 @ 2189.33
2195.63/2203.03	c bounds 930 >= 29 @ 2189.34
2195.63/2203.04	c bounds 929 >= 29 @ 2189.34
2195.63/2203.05	c bounds 928 >= 29 @ 2189.35
2195.63/2203.07	c bounds 927 >= 29 @ 2189.36
2195.63/2203.08	c bounds 926 >= 29 @ 2189.37
2195.63/2203.09	c bounds 925 >= 29 @ 2189.38
2195.74/2203.11	c bounds 924 >= 29 @ 2189.38
2195.74/2203.12	c bounds 923 >= 29 @ 2189.39
2195.74/2203.13	c bounds 922 >= 29 @ 2189.4
2195.74/2203.15	c bounds 921 >= 29 @ 2189.41
2195.74/2203.16	c bounds 920 >= 29 @ 2189.42
2195.74/2203.17	c bounds 919 >= 29 @ 2189.43
2195.74/2203.19	c bounds 918 >= 29 @ 2189.44
2195.83/2203.21	c bounds 917 >= 29 @ 2189.45
2195.83/2203.22	c bounds 916 >= 29 @ 2189.46
2195.83/2203.24	c bounds 915 >= 29 @ 2189.47
2195.83/2203.26	c bounds 914 >= 29 @ 2189.49
2195.83/2203.28	c bounds 913 >= 29 @ 2189.51
2195.92/2203.31	c bounds 912 >= 29 @ 2189.53
2195.92/2203.32	c bounds 911 >= 29 @ 2189.54
2195.92/2203.36	c bounds 910 >= 29 @ 2189.57
2195.92/2203.37	c bounds 909 >= 29 @ 2189.59
2196.03/2203.40	c bounds 908 >= 29 @ 2189.61
2196.03/2203.42	c bounds 907 >= 29 @ 2189.62
2196.03/2203.45	c bounds 906 >= 29 @ 2189.65
2196.03/2203.47	c bounds 905 >= 29 @ 2189.67
2196.03/2203.49	c bounds 904 >= 29 @ 2189.68
2196.13/2203.51	c bounds 903 >= 29 @ 2189.7
2196.13/2203.53	c bounds 902 >= 29 @ 2189.71
2196.13/2203.55	c bounds 901 >= 29 @ 2189.73
2196.13/2203.56	c bounds 900 >= 29 @ 2189.73
2196.13/2203.57	c bounds 899 >= 29 @ 2189.74
2196.13/2203.59	c bounds 898 >= 29 @ 2189.75
2196.22/2203.61	c bounds 897 >= 29 @ 2189.77
2196.22/2203.62	c bounds 896 >= 29 @ 2189.78
2196.22/2203.64	c bounds 895 >= 29 @ 2189.79
2196.22/2203.66	c bounds 894 >= 29 @ 2189.8
2196.22/2203.67	c bounds 893 >= 29 @ 2189.81
2196.22/2203.69	c bounds 892 >= 29 @ 2189.82
2196.33/2203.70	c bounds 891 >= 29 @ 2189.83
2196.33/2203.72	c bounds 890 >= 29 @ 2189.84
2196.33/2203.73	c bounds 889 >= 29 @ 2189.85
2196.33/2203.75	c bounds 888 >= 29 @ 2189.86
2196.33/2203.76	c bounds 887 >= 29 @ 2189.87
2196.33/2203.77	c bounds 886 >= 29 @ 2189.87
2196.33/2203.79	c bounds 885 >= 29 @ 2189.88
2196.43/2203.80	c bounds 884 >= 29 @ 2189.89
2196.43/2203.82	c bounds 883 >= 29 @ 2189.9
2196.43/2203.83	c bounds 882 >= 29 @ 2189.91
2196.43/2203.84	c bounds 881 >= 29 @ 2189.92
2196.43/2203.85	c bounds 880 >= 29 @ 2189.92
2196.43/2203.87	c bounds 879 >= 29 @ 2189.93
2196.43/2203.88	c bounds 878 >= 29 @ 2189.94
2196.43/2203.89	c bounds 877 >= 29 @ 2189.95
2196.53/2203.91	c bounds 876 >= 29 @ 2189.95
2196.53/2203.92	c bounds 875 >= 29 @ 2189.96
2196.53/2203.93	c bounds 874 >= 29 @ 2189.97
2196.53/2203.95	c bounds 873 >= 29 @ 2189.98
2196.53/2203.96	c bounds 872 >= 29 @ 2189.99
2196.53/2203.98	c bounds 871 >= 29 @ 2190
2196.53/2203.99	c bounds 870 >= 29 @ 2190.01
2196.63/2204.00	c bounds 869 >= 29 @ 2190.02
2196.63/2204.02	c bounds 868 >= 29 @ 2190.03
2196.63/2204.03	c bounds 867 >= 29 @ 2190.03
2196.63/2204.04	c bounds 866 >= 29 @ 2190.04
2196.63/2204.06	c bounds 865 >= 29 @ 2190.06
2196.63/2204.08	c bounds 864 >= 29 @ 2190.07
2196.63/2204.10	c bounds 863 >= 29 @ 2190.08
2196.73/2204.11	c bounds 862 >= 29 @ 2190.09
2196.73/2204.13	c bounds 861 >= 29 @ 2190.1
2196.73/2204.14	c bounds 860 >= 29 @ 2190.11
2196.73/2204.16	c bounds 859 >= 29 @ 2190.12
2196.73/2204.17	c bounds 858 >= 29 @ 2190.13
2196.73/2204.18	c bounds 857 >= 29 @ 2190.14
2196.82/2204.20	c bounds 856 >= 29 @ 2190.15
2196.82/2204.22	c bounds 855 >= 29 @ 2190.17
2196.82/2204.24	c bounds 854 >= 29 @ 2190.18
2196.82/2204.26	c bounds 853 >= 29 @ 2190.2
2196.82/2204.28	c bounds 852 >= 29 @ 2190.21
2196.92/2204.30	c bounds 851 >= 29 @ 2190.22
2196.92/2204.32	c bounds 850 >= 29 @ 2190.24
2196.92/2204.34	c bounds 849 >= 29 @ 2190.25
2196.92/2204.35	c bounds 848 >= 29 @ 2190.26
2196.92/2204.37	c bounds 847 >= 29 @ 2190.28
2196.92/2204.39	c bounds 846 >= 29 @ 2190.29
2197.03/2204.42	c bounds 845 >= 29 @ 2190.31
2197.03/2204.43	c bounds 844 >= 29 @ 2190.32
2197.03/2204.46	c bounds 843 >= 29 @ 2190.34
2197.03/2204.47	c bounds 842 >= 29 @ 2190.35
2197.03/2204.49	c bounds 841 >= 29 @ 2190.37
2197.13/2204.50	c bounds 840 >= 29 @ 2190.38
2197.13/2204.52	c bounds 839 >= 29 @ 2190.39
2197.13/2204.53	c bounds 838 >= 29 @ 2190.4
2197.13/2204.55	c bounds 837 >= 29 @ 2190.41
2197.13/2204.56	c bounds 836 >= 29 @ 2190.42
2197.13/2204.57	c bounds 835 >= 29 @ 2190.43
2197.13/2204.59	c bounds 834 >= 29 @ 2190.43
2197.22/2204.60	c bounds 833 >= 29 @ 2190.44
2197.22/2204.61	c bounds 832 >= 29 @ 2190.44
2197.22/2204.63	c bounds 831 >= 29 @ 2190.45
2197.22/2204.64	c bounds 830 >= 29 @ 2190.46
2197.22/2204.65	c bounds 829 >= 29 @ 2190.47
2197.22/2204.66	c bounds 828 >= 29 @ 2190.48
2197.22/2204.68	c bounds 827 >= 29 @ 2190.49
2197.22/2204.69	c bounds 826 >= 29 @ 2190.5
2197.32/2204.71	c bounds 825 >= 29 @ 2190.51
2197.32/2204.72	c bounds 824 >= 29 @ 2190.52
2197.32/2204.73	c bounds 823 >= 29 @ 2190.52
2197.32/2204.75	c bounds 822 >= 29 @ 2190.54
2197.32/2204.77	c bounds 821 >= 29 @ 2190.55
2197.32/2204.79	c bounds 820 >= 29 @ 2190.56
2197.42/2204.80	c bounds 819 >= 29 @ 2190.57
2197.42/2204.82	c bounds 818 >= 29 @ 2190.59
2197.42/2204.84	c bounds 817 >= 29 @ 2190.6
2197.42/2204.85	c bounds 816 >= 29 @ 2190.61
2197.42/2204.86	c bounds 815 >= 29 @ 2190.62
2197.42/2204.87	c bounds 814 >= 29 @ 2190.63
2197.42/2204.89	c bounds 813 >= 29 @ 2190.63
2197.52/2204.90	c bounds 812 >= 29 @ 2190.64
2197.52/2204.92	c bounds 811 >= 29 @ 2190.65
2197.52/2204.94	c bounds 810 >= 29 @ 2190.66
2197.52/2204.95	c bounds 809 >= 29 @ 2190.67
2197.52/2204.97	c bounds 808 >= 29 @ 2190.68
2197.52/2204.98	c bounds 807 >= 29 @ 2190.69
2197.52/2205.00	c bounds 806 >= 29 @ 2190.7
2197.63/2205.01	c bounds 805 >= 29 @ 2190.71
2197.63/2205.02	c bounds 804 >= 29 @ 2190.72
2197.63/2205.04	c bounds 803 >= 29 @ 2190.73
2197.63/2205.05	c bounds 802 >= 29 @ 2190.74
2197.63/2205.07	c bounds 801 >= 29 @ 2190.75
2197.63/2205.08	c bounds 800 >= 29 @ 2190.76
2197.63/2205.09	c bounds 799 >= 29 @ 2190.77
2197.73/2205.11	c bounds 798 >= 29 @ 2190.78
2197.73/2205.12	c bounds 797 >= 29 @ 2190.79
2197.73/2205.13	c bounds 796 >= 29 @ 2190.79
2197.73/2205.14	c bounds 795 >= 29 @ 2190.8
2197.73/2205.16	c bounds 794 >= 29 @ 2190.81
2197.73/2205.17	c bounds 793 >= 29 @ 2190.82
2197.73/2205.18	c bounds 792 >= 29 @ 2190.82
2197.73/2205.19	c bounds 791 >= 29 @ 2190.83
2197.82/2205.21	c bounds 790 >= 29 @ 2190.84
2197.82/2205.22	c bounds 789 >= 29 @ 2190.85
2197.82/2205.23	c bounds 788 >= 29 @ 2190.86
2197.82/2205.24	c bounds 787 >= 29 @ 2190.87
2197.82/2205.26	c bounds 786 >= 29 @ 2190.88
2197.82/2205.27	c bounds 785 >= 29 @ 2190.89
2197.82/2205.29	c bounds 784 >= 29 @ 2190.89
2197.93/2205.30	c bounds 783 >= 29 @ 2190.9
2197.93/2205.31	c bounds 782 >= 29 @ 2190.91
2197.93/2205.32	c bounds 781 >= 29 @ 2190.92
2197.93/2205.33	c bounds 780 >= 29 @ 2190.93
2197.93/2205.35	c bounds 779 >= 29 @ 2190.94
2197.93/2205.36	c bounds 778 >= 29 @ 2190.95
2197.93/2205.38	c bounds 777 >= 29 @ 2190.96
2197.93/2205.39	c bounds 776 >= 29 @ 2190.96
2198.02/2205.40	c bounds 775 >= 29 @ 2190.97
2198.02/2205.42	c bounds 774 >= 29 @ 2190.98
2198.02/2205.43	c bounds 773 >= 29 @ 2190.99
2198.02/2205.44	c bounds 772 >= 29 @ 2191
2198.02/2205.45	c bounds 771 >= 29 @ 2191
2198.02/2205.47	c bounds 770 >= 29 @ 2191.01
2198.02/2205.48	c bounds 769 >= 29 @ 2191.02
2198.02/2205.49	c bounds 768 >= 29 @ 2191.04
2198.12/2205.51	c bounds 767 >= 29 @ 2191.05
2198.12/2205.52	c bounds 766 >= 29 @ 2191.05
2198.12/2205.53	c bounds 765 >= 29 @ 2191.06
2198.12/2205.55	c bounds 764 >= 29 @ 2191.07
2198.12/2205.56	c bounds 763 >= 29 @ 2191.08
2198.12/2205.58	c bounds 762 >= 29 @ 2191.09
2198.12/2205.59	c bounds 761 >= 29 @ 2191.1
2198.22/2205.61	c bounds 760 >= 29 @ 2191.11
2198.22/2205.62	c bounds 759 >= 29 @ 2191.12
2198.22/2205.63	c bounds 758 >= 29 @ 2191.12
2198.22/2205.64	c bounds 757 >= 29 @ 2191.14
2198.22/2205.66	c bounds 756 >= 29 @ 2191.14
2198.22/2205.67	c bounds 755 >= 29 @ 2191.15
2198.22/2205.68	c bounds 754 >= 29 @ 2191.15
2198.22/2205.69	c bounds 753 >= 29 @ 2191.17
2198.32/2205.70	c bounds 752 >= 29 @ 2191.17
2198.32/2205.72	c bounds 751 >= 29 @ 2191.18
2198.32/2205.73	c bounds 750 >= 29 @ 2191.19
2198.32/2205.74	c bounds 749 >= 29 @ 2191.2
2198.32/2205.76	c bounds 748 >= 29 @ 2191.21
2198.32/2205.77	c bounds 747 >= 29 @ 2191.23
2198.32/2205.78	c bounds 746 >= 29 @ 2191.23
2198.42/2205.80	c bounds 745 >= 29 @ 2191.24
2198.42/2205.82	c bounds 744 >= 29 @ 2191.26
2198.42/2205.84	c bounds 743 >= 29 @ 2191.27
2198.42/2205.86	c bounds 742 >= 29 @ 2191.29
2198.42/2205.87	c bounds 741 >= 29 @ 2191.3
2198.52/2205.90	c bounds 740 >= 29 @ 2191.32
2198.52/2205.92	c bounds 739 >= 29 @ 2191.33
2198.52/2205.93	c bounds 738 >= 29 @ 2191.34
2198.52/2205.95	c bounds 737 >= 29 @ 2191.36
2198.52/2205.96	c bounds 736 >= 29 @ 2191.37
2198.52/2205.98	c bounds 735 >= 29 @ 2191.38
2198.52/2205.99	c bounds 734 >= 29 @ 2191.38
2198.63/2206.00	c bounds 733 >= 29 @ 2191.39
2198.63/2206.01	c bounds 732 >= 29 @ 2191.4
2198.63/2206.03	c bounds 731 >= 29 @ 2191.41
2198.63/2206.04	c bounds 730 >= 29 @ 2191.42
2198.63/2206.05	c bounds 729 >= 29 @ 2191.43
2198.63/2206.07	c bounds 728 >= 29 @ 2191.43
2198.63/2206.08	c bounds 727 >= 29 @ 2191.44
2198.63/2206.09	c bounds 726 >= 29 @ 2191.45
2198.72/2206.10	c bounds 725 >= 29 @ 2191.46
2198.72/2206.12	c bounds 724 >= 29 @ 2191.47
2198.72/2206.13	c bounds 723 >= 29 @ 2191.48
2198.72/2206.14	c bounds 722 >= 29 @ 2191.48
2198.72/2206.15	c bounds 721 >= 29 @ 2191.5
2198.72/2206.17	c bounds 720 >= 29 @ 2191.51
2198.72/2206.18	c bounds 719 >= 29 @ 2191.51
2198.72/2206.19	c bounds 718 >= 29 @ 2191.52
2198.82/2206.20	c bounds 717 >= 29 @ 2191.53
2198.82/2206.22	c bounds 716 >= 29 @ 2191.54
2198.82/2206.23	c bounds 715 >= 29 @ 2191.55
2198.82/2206.24	c bounds 714 >= 29 @ 2191.55
2198.82/2206.25	c bounds 713 >= 29 @ 2191.56
2198.82/2206.27	c bounds 712 >= 29 @ 2191.57
2198.82/2206.28	c bounds 711 >= 29 @ 2191.58
2198.82/2206.29	c bounds 710 >= 29 @ 2191.59
2198.92/2206.31	c bounds 709 >= 29 @ 2191.61
2198.92/2206.32	c bounds 708 >= 29 @ 2191.62
2198.92/2206.34	c bounds 707 >= 29 @ 2191.63
2198.92/2206.35	c bounds 706 >= 29 @ 2191.64
2198.92/2206.37	c bounds 705 >= 29 @ 2191.65
2198.92/2206.38	c bounds 704 >= 29 @ 2191.66
2198.92/2206.39	c bounds 703 >= 29 @ 2191.67
2199.02/2206.40	c bounds 702 >= 29 @ 2191.68
2199.02/2206.41	c bounds 701 >= 29 @ 2191.68
2199.02/2206.42	c bounds 700 >= 29 @ 2191.69
2199.02/2206.44	c bounds 699 >= 29 @ 2191.7
2199.02/2206.45	c bounds 698 >= 29 @ 2191.7
2199.02/2206.46	c bounds 697 >= 29 @ 2191.71
2199.02/2206.47	c bounds 696 >= 29 @ 2191.72
2199.02/2206.49	c bounds 695 >= 29 @ 2191.73
2199.12/2206.50	c bounds 694 >= 29 @ 2191.73
2199.12/2206.51	c bounds 693 >= 29 @ 2191.74
2199.12/2206.53	c bounds 692 >= 29 @ 2191.76
2199.12/2206.55	c bounds 691 >= 29 @ 2191.78
2199.12/2206.57	c bounds 690 >= 29 @ 2191.79
2199.12/2206.59	c bounds 689 >= 29 @ 2191.81
2199.22/2206.61	c bounds 688 >= 29 @ 2191.82
2199.22/2206.63	c bounds 687 >= 29 @ 2191.84
2199.22/2206.64	c bounds 686 >= 29 @ 2191.85
2199.22/2206.66	c bounds 685 >= 29 @ 2191.86
2199.22/2206.67	c bounds 684 >= 29 @ 2191.87
2199.22/2206.69	c bounds 683 >= 29 @ 2191.89
2199.32/2206.71	c bounds 682 >= 29 @ 2191.9
2199.32/2206.72	c bounds 681 >= 29 @ 2191.91
2199.32/2206.73	c bounds 680 >= 29 @ 2191.92
2199.32/2206.75	c bounds 679 >= 29 @ 2191.93
2199.32/2206.77	c bounds 678 >= 29 @ 2191.95
2199.32/2206.78	c bounds 677 >= 29 @ 2191.96
2199.42/2206.80	c bounds 676 >= 29 @ 2191.97
2199.42/2206.82	c bounds 675 >= 29 @ 2191.98
2199.42/2206.83	c bounds 674 >= 29 @ 2191.99
2199.42/2206.85	c bounds 673 >= 29 @ 2192
2199.42/2206.86	c bounds 672 >= 29 @ 2192.01
2199.42/2206.88	c bounds 671 >= 29 @ 2192.03
2199.42/2206.89	c bounds 670 >= 29 @ 2192.04
2199.52/2206.90	c bounds 669 >= 29 @ 2192.05
2199.52/2206.92	c bounds 668 >= 29 @ 2192.06
2199.52/2206.93	c bounds 667 >= 29 @ 2192.07
2199.52/2206.95	c bounds 666 >= 29 @ 2192.08
2199.52/2206.96	c bounds 665 >= 29 @ 2192.09
2199.52/2206.97	c bounds 664 >= 29 @ 2192.1
2199.52/2206.99	c bounds 663 >= 29 @ 2192.11
2199.52/2207.00	c bounds 662 >= 29 @ 2192.12
2199.62/2207.01	c bounds 661 >= 29 @ 2192.13
2199.62/2207.03	c bounds 660 >= 29 @ 2192.14
2199.62/2207.05	c bounds 659 >= 29 @ 2192.16
2199.62/2207.08	c bounds 658 >= 29 @ 2192.18
2199.72/2207.10	c bounds 657 >= 29 @ 2192.2
2199.72/2207.12	c bounds 656 >= 29 @ 2192.21
2199.72/2207.14	c bounds 655 >= 29 @ 2192.23
2199.72/2207.16	c bounds 654 >= 29 @ 2192.23
2199.72/2207.17	c bounds 653 >= 29 @ 2192.25
2199.72/2207.19	c bounds 652 >= 29 @ 2192.26
2199.82/2207.20	c bounds 651 >= 29 @ 2192.27
2200.22/2207.65	c bounds 651 >= 30 @ 2192.7
2200.22/2207.67	c bounds 650 >= 30 @ 2192.72
2200.22/2207.68	c bounds 649 >= 30 @ 2192.73
2200.31/2207.70	c bounds 648 >= 30 @ 2192.74
2200.31/2207.71	c bounds 647 >= 30 @ 2192.75
2200.31/2207.72	c bounds 646 >= 30 @ 2192.76
2200.31/2207.74	c bounds 645 >= 30 @ 2192.77
2200.31/2207.75	c bounds 644 >= 30 @ 2192.78
2200.31/2207.77	c bounds 643 >= 30 @ 2192.79
2200.31/2207.78	c bounds 642 >= 30 @ 2192.8
2200.31/2207.79	c bounds 641 >= 30 @ 2192.81
2200.42/2207.81	c bounds 640 >= 30 @ 2192.82
2200.42/2207.82	c bounds 639 >= 30 @ 2192.83
2200.42/2207.84	c bounds 638 >= 30 @ 2192.85
2200.42/2207.86	c bounds 637 >= 30 @ 2192.86
2200.42/2207.88	c bounds 636 >= 30 @ 2192.88
2200.52/2207.90	c bounds 635 >= 30 @ 2192.89
2200.52/2207.91	c bounds 634 >= 30 @ 2192.91
2200.52/2207.93	c bounds 633 >= 30 @ 2192.92
2200.52/2207.95	c bounds 632 >= 30 @ 2192.93
2200.52/2207.97	c bounds 631 >= 30 @ 2192.95
2200.52/2207.99	c bounds 630 >= 30 @ 2192.96
2200.62/2208.01	c bounds 629 >= 30 @ 2192.97
2200.62/2208.03	c bounds 628 >= 30 @ 2192.98
2200.62/2208.04	c bounds 627 >= 30 @ 2193
2200.62/2208.06	c bounds 626 >= 30 @ 2193.01
2200.62/2208.08	c bounds 625 >= 30 @ 2193.02
2200.62/2208.10	c bounds 624 >= 30 @ 2193.04
2200.73/2208.12	c bounds 623 >= 30 @ 2193.06
2200.73/2208.13	c bounds 622 >= 30 @ 2193.07
2200.73/2208.16	c bounds 621 >= 30 @ 2193.09
2200.73/2208.18	c bounds 620 >= 30 @ 2193.1
2200.81/2208.20	c bounds 619 >= 30 @ 2193.12
2200.81/2208.22	c bounds 618 >= 30 @ 2193.14
2200.81/2208.24	c bounds 617 >= 30 @ 2193.15
2200.81/2208.25	c bounds 616 >= 30 @ 2193.16
2200.81/2208.27	c bounds 615 >= 30 @ 2193.17
2200.81/2208.29	c bounds 614 >= 30 @ 2193.19
2200.91/2208.31	c bounds 613 >= 30 @ 2193.21
2200.91/2208.33	c bounds 612 >= 30 @ 2193.22
2200.91/2208.35	c bounds 611 >= 30 @ 2193.24
2200.91/2208.37	c bounds 610 >= 30 @ 2193.25
2200.91/2208.38	c bounds 609 >= 30 @ 2193.26
2201.01/2208.40	c bounds 608 >= 30 @ 2193.28
2201.01/2208.42	c bounds 607 >= 30 @ 2193.29
2201.01/2208.44	c bounds 606 >= 30 @ 2193.31
2201.01/2208.47	c bounds 605 >= 30 @ 2193.33
2201.01/2208.49	c bounds 604 >= 30 @ 2193.35
2201.12/2208.51	c bounds 603 >= 30 @ 2193.36
2201.12/2208.53	c bounds 602 >= 30 @ 2193.37
2201.12/2208.55	c bounds 601 >= 30 @ 2193.39
2201.12/2208.57	c bounds 600 >= 30 @ 2193.41
2201.12/2208.59	c bounds 599 >= 30 @ 2193.43
2201.21/2208.64	c bounds 598 >= 30 @ 2193.46
2201.21/2208.66	c bounds 597 >= 30 @ 2193.47
2201.21/2208.68	c bounds 596 >= 30 @ 2193.49
2201.31/2208.70	c bounds 595 >= 30 @ 2193.5
2201.31/2208.72	c bounds 594 >= 30 @ 2193.52
2201.31/2208.74	c bounds 593 >= 30 @ 2193.53
2201.31/2208.76	c bounds 592 >= 30 @ 2193.55
2201.31/2208.79	c bounds 591 >= 30 @ 2193.58
2203.11/2210.54	c #Conflicts:       3000 | #Constraints:      68463
2203.11/2210.54	c bounds 591 >= 31 @ 2195.29
2203.11/2210.57	c bounds 590 >= 31 @ 2195.32
2203.11/2210.59	c bounds 589 >= 31 @ 2195.33
2203.21/2210.61	c bounds 588 >= 31 @ 2195.35
2203.21/2210.64	c bounds 587 >= 31 @ 2195.37
2203.21/2210.67	c bounds 586 >= 31 @ 2195.4
2203.21/2210.69	c bounds 585 >= 31 @ 2195.42
2203.31/2210.72	c bounds 584 >= 31 @ 2195.44
2203.31/2210.75	c bounds 583 >= 31 @ 2195.46
2203.31/2210.77	c bounds 582 >= 31 @ 2195.48
2203.41/2210.80	c bounds 581 >= 31 @ 2195.5
2203.41/2210.86	c bounds 580 >= 31 @ 2195.56
2203.41/2210.89	c bounds 579 >= 31 @ 2195.58
2203.51/2210.94	c bounds 578 >= 31 @ 2195.62
2203.51/2210.99	c bounds 577 >= 31 @ 2195.67
2203.61/2211.05	c bounds 576 >= 31 @ 2195.72
2203.61/2211.08	c bounds 575 >= 31 @ 2195.74
2203.71/2211.11	c bounds 574 >= 31 @ 2195.76
2203.71/2211.13	c bounds 573 >= 31 @ 2195.78
2203.71/2211.15	c bounds 572 >= 31 @ 2195.8
2203.71/2211.18	c #Conflicts:       4000 | #Constraints:      69497
2203.71/2211.18	c bounds 571 >= 31 @ 2195.82
2203.80/2211.20	c bounds 570 >= 31 @ 2195.84
2203.80/2211.23	c bounds 569 >= 31 @ 2195.86
2203.80/2211.25	c bounds 568 >= 31 @ 2195.88
2203.80/2211.28	c bounds 567 >= 31 @ 2195.91
2203.90/2211.30	c bounds 566 >= 31 @ 2195.93
2203.90/2211.33	c bounds 565 >= 31 @ 2195.95
2204.01/2211.42	c bounds 564 >= 31 @ 2196.03
2204.41/2211.81	c INPROCESSING
2204.41/2211.81	c GARBAGE COLLECT
2204.41/2211.81	c bounds 563 >= 31 @ 2196.41
2204.41/2211.87	c bounds 562 >= 31 @ 2196.46
2204.51/2211.91	c bounds 561 >= 31 @ 2196.49
2204.51/2211.93	c bounds 560 >= 31 @ 2196.52
2204.61/2212.06	c bounds 559 >= 31 @ 2196.63
2204.61/2212.08	c bounds 558 >= 31 @ 2196.65
2204.71/2212.11	c bounds 557 >= 31 @ 2196.67
2204.71/2212.13	c bounds 556 >= 31 @ 2196.69
2204.71/2212.15	c bounds 555 >= 31 @ 2196.71
2204.71/2212.17	c bounds 554 >= 31 @ 2196.73
2204.81/2212.21	c bounds 553 >= 31 @ 2196.75
2204.81/2212.23	c bounds 552 >= 31 @ 2196.77
2204.81/2212.25	c bounds 551 >= 31 @ 2196.79
2204.81/2212.27	c bounds 550 >= 31 @ 2196.81
2204.81/2212.30	c bounds 549 >= 31 @ 2196.83
2204.90/2212.32	c bounds 548 >= 31 @ 2196.85
2204.90/2212.34	c bounds 547 >= 31 @ 2196.87
2204.90/2212.36	c bounds 546 >= 31 @ 2196.89
2204.90/2212.38	c bounds 545 >= 31 @ 2196.9
2205.00/2212.40	c bounds 544 >= 31 @ 2196.92
2205.00/2212.42	c bounds 543 >= 31 @ 2196.93
2205.00/2212.44	c bounds 542 >= 31 @ 2196.95
2205.00/2212.46	c bounds 541 >= 31 @ 2196.97
2205.00/2212.48	c bounds 540 >= 31 @ 2196.98
2205.10/2212.50	c bounds 539 >= 31 @ 2197
2205.10/2212.52	c bounds 538 >= 31 @ 2197.02
2205.10/2212.53	c bounds 537 >= 31 @ 2197.03
2205.10/2212.55	c bounds 536 >= 31 @ 2197.05
2205.10/2212.57	c bounds 535 >= 31 @ 2197.06
2205.10/2212.59	c bounds 534 >= 31 @ 2197.07
2205.20/2212.60	c bounds 533 >= 31 @ 2197.08
2205.20/2212.62	c bounds 532 >= 31 @ 2197.09
2205.20/2212.63	c bounds 531 >= 31 @ 2197.11
2205.20/2212.65	c bounds 530 >= 31 @ 2197.12
2205.20/2212.66	c bounds 529 >= 31 @ 2197.13
2205.20/2212.68	c bounds 528 >= 31 @ 2197.14
2205.20/2212.69	c bounds 527 >= 31 @ 2197.16
2205.30/2212.71	c bounds 526 >= 31 @ 2197.17
2205.30/2212.73	c bounds 525 >= 31 @ 2197.18
2205.30/2212.74	c bounds 524 >= 31 @ 2197.2
2205.30/2212.76	c bounds 523 >= 31 @ 2197.21
2205.30/2212.77	c bounds 522 >= 31 @ 2197.22
2205.30/2212.79	c bounds 521 >= 31 @ 2197.23
2205.40/2212.81	c bounds 520 >= 31 @ 2197.25
2205.40/2212.82	c bounds 519 >= 31 @ 2197.26
2205.40/2212.83	c bounds 518 >= 31 @ 2197.27
2205.40/2212.85	c bounds 517 >= 31 @ 2197.27
2205.40/2212.86	c bounds 516 >= 31 @ 2197.28
2205.40/2212.87	c bounds 515 >= 31 @ 2197.29
2205.40/2212.88	c bounds 514 >= 31 @ 2197.3
2205.40/2212.89	c bounds 513 >= 31 @ 2197.31
2205.51/2212.90	c bounds 512 >= 31 @ 2197.32
2205.51/2212.91	c bounds 511 >= 31 @ 2197.32
2205.51/2212.93	c bounds 510 >= 31 @ 2197.33
2205.51/2212.94	c bounds 509 >= 31 @ 2197.34
2205.51/2212.95	c bounds 508 >= 31 @ 2197.35
2205.51/2212.96	c bounds 507 >= 31 @ 2197.36
2205.51/2212.97	c bounds 506 >= 31 @ 2197.36
2205.51/2212.98	c bounds 505 >= 31 @ 2197.37
2205.51/2212.99	c bounds 504 >= 31 @ 2197.38
2205.61/2213.01	c bounds 503 >= 31 @ 2197.39
2205.61/2213.02	c bounds 502 >= 31 @ 2197.4
2205.61/2213.03	c bounds 501 >= 31 @ 2197.41
2205.61/2213.04	c bounds 500 >= 31 @ 2197.42
2205.61/2213.05	c bounds 499 >= 31 @ 2197.42
2205.61/2213.07	c bounds 498 >= 31 @ 2197.43
2205.61/2213.08	c bounds 497 >= 31 @ 2197.44
2205.61/2213.09	c bounds 496 >= 31 @ 2197.46
2205.71/2213.10	c bounds 495 >= 31 @ 2197.46
2205.71/2213.11	c bounds 494 >= 31 @ 2197.47
2205.71/2213.12	c bounds 493 >= 31 @ 2197.48
2205.71/2213.14	c bounds 492 >= 31 @ 2197.49
2205.71/2213.15	c bounds 491 >= 31 @ 2197.49
2205.71/2213.16	c bounds 490 >= 31 @ 2197.5
2205.71/2213.17	c bounds 489 >= 31 @ 2197.51
2205.71/2213.19	c bounds 488 >= 31 @ 2197.53
2205.80/2213.20	c bounds 487 >= 31 @ 2197.54
2205.80/2213.21	c bounds 486 >= 31 @ 2197.55
2205.80/2213.22	c bounds 485 >= 31 @ 2197.55
2205.80/2213.23	c bounds 484 >= 31 @ 2197.56
2205.80/2213.25	c bounds 483 >= 31 @ 2197.57
2205.80/2213.26	c bounds 482 >= 31 @ 2197.58
2205.80/2213.27	c bounds 481 >= 31 @ 2197.59
2205.80/2213.28	c bounds 480 >= 31 @ 2197.6
2205.80/2213.29	c bounds 479 >= 31 @ 2197.61
2205.90/2213.30	c bounds 478 >= 31 @ 2197.62
2205.90/2213.32	c bounds 477 >= 31 @ 2197.63
2205.90/2213.33	c bounds 476 >= 31 @ 2197.63
2205.90/2213.34	c bounds 475 >= 31 @ 2197.64
2205.90/2213.35	c bounds 474 >= 31 @ 2197.65
2205.90/2213.36	c bounds 473 >= 31 @ 2197.66
2205.90/2213.37	c bounds 472 >= 31 @ 2197.67
2205.90/2213.39	c bounds 471 >= 31 @ 2197.68
2206.00/2213.40	c bounds 470 >= 31 @ 2197.69
2206.00/2213.41	c bounds 469 >= 31 @ 2197.7
2206.00/2213.42	c bounds 468 >= 31 @ 2197.71
2206.00/2213.43	c bounds 467 >= 31 @ 2197.71
2206.00/2213.44	c bounds 466 >= 31 @ 2197.72
2206.00/2213.46	c bounds 465 >= 31 @ 2197.73
2206.00/2213.47	c bounds 464 >= 31 @ 2197.74
2206.00/2213.48	c bounds 463 >= 31 @ 2197.74
2206.00/2213.49	c bounds 462 >= 31 @ 2197.75
2206.10/2213.50	c bounds 461 >= 31 @ 2197.76
2206.10/2213.51	c bounds 460 >= 31 @ 2197.77
2206.10/2213.52	c bounds 459 >= 31 @ 2197.78
2206.10/2213.54	c bounds 458 >= 31 @ 2197.79
2206.10/2213.55	c bounds 457 >= 31 @ 2197.8
2206.10/2213.56	c bounds 456 >= 31 @ 2197.81
2206.10/2213.57	c bounds 455 >= 31 @ 2197.82
2206.10/2213.58	c bounds 454 >= 31 @ 2197.82
2206.10/2213.59	c bounds 453 >= 31 @ 2197.84
2206.20/2213.61	c bounds 452 >= 31 @ 2197.84
2206.20/2213.62	c bounds 451 >= 31 @ 2197.85
2206.20/2213.63	c bounds 450 >= 31 @ 2197.86
2206.20/2213.64	c bounds 449 >= 31 @ 2197.87
2206.20/2213.66	c bounds 448 >= 31 @ 2197.88
2206.20/2213.67	c bounds 447 >= 31 @ 2197.89
2206.20/2213.68	c bounds 446 >= 31 @ 2197.9
2206.20/2213.70	c bounds 445 >= 31 @ 2197.91
2206.30/2213.71	c bounds 444 >= 31 @ 2197.93
2206.30/2213.73	c bounds 443 >= 31 @ 2197.94
2206.30/2213.74	c bounds 442 >= 31 @ 2197.95
2206.30/2213.75	c bounds 441 >= 31 @ 2197.96
2206.30/2213.76	c bounds 440 >= 31 @ 2197.97
2206.30/2213.77	c bounds 439 >= 31 @ 2197.97
2206.30/2213.78	c bounds 438 >= 31 @ 2197.98
2206.30/2213.80	c bounds 437 >= 31 @ 2197.99
2206.40/2213.81	c bounds 436 >= 31 @ 2198
2206.40/2213.82	c bounds 435 >= 31 @ 2198.01
2206.40/2213.83	c bounds 434 >= 31 @ 2198.02
2206.40/2213.84	c bounds 433 >= 31 @ 2198.03
2206.40/2213.86	c bounds 432 >= 31 @ 2198.04
2206.40/2213.87	c bounds 431 >= 31 @ 2198.05
2206.40/2213.89	c bounds 430 >= 31 @ 2198.07
2206.50/2213.91	c bounds 429 >= 31 @ 2198.08
2206.50/2213.92	c bounds 428 >= 31 @ 2198.09
2206.50/2213.94	c bounds 427 >= 31 @ 2198.11
2206.50/2213.95	c bounds 426 >= 31 @ 2198.12
2206.50/2213.96	c bounds 425 >= 31 @ 2198.13
2206.50/2213.98	c bounds 424 >= 31 @ 2198.14
2206.50/2213.99	c bounds 423 >= 31 @ 2198.15
2206.60/2214.00	c bounds 422 >= 31 @ 2198.16
2206.60/2214.02	c bounds 421 >= 31 @ 2198.17
2206.60/2214.03	c bounds 420 >= 31 @ 2198.17
2206.60/2214.04	c bounds 419 >= 31 @ 2198.19
2206.60/2214.05	c bounds 418 >= 31 @ 2198.2
2206.60/2214.06	c bounds 417 >= 31 @ 2198.2
2206.60/2214.08	c bounds 416 >= 31 @ 2198.21
2206.60/2214.09	c bounds 415 >= 31 @ 2198.22
2206.60/2214.10	c bounds 414 >= 31 @ 2198.23
2206.71/2214.11	c bounds 413 >= 31 @ 2198.24
2206.71/2214.12	c bounds 412 >= 31 @ 2198.25
2206.71/2214.13	c bounds 411 >= 31 @ 2198.26
2206.71/2214.14	c bounds 410 >= 31 @ 2198.27
2206.71/2214.15	c bounds 409 >= 31 @ 2198.27
2206.71/2214.17	c bounds 408 >= 31 @ 2198.28
2206.71/2214.18	c bounds 407 >= 31 @ 2198.29
2206.71/2214.19	c bounds 406 >= 31 @ 2198.3
2206.79/2214.20	c bounds 405 >= 31 @ 2198.3
2206.79/2214.21	c bounds 404 >= 31 @ 2198.31
2206.79/2214.22	c bounds 403 >= 31 @ 2198.32
2206.79/2214.24	c bounds 402 >= 31 @ 2198.33
2206.79/2214.25	c bounds 401 >= 31 @ 2198.34
2206.79/2214.26	c bounds 400 >= 31 @ 2198.35
2206.79/2214.28	c bounds 399 >= 31 @ 2198.36
2206.79/2214.29	c bounds 398 >= 31 @ 2198.38
2206.89/2214.30	c bounds 397 >= 31 @ 2198.39
2206.89/2214.31	c bounds 396 >= 31 @ 2198.39
2206.89/2214.33	c bounds 395 >= 31 @ 2198.4
2206.89/2214.34	c bounds 394 >= 31 @ 2198.41
2206.89/2214.35	c bounds 393 >= 31 @ 2198.42
2206.89/2214.36	c bounds 392 >= 31 @ 2198.42
2206.89/2214.37	c bounds 391 >= 31 @ 2198.43
2206.89/2214.38	c bounds 390 >= 31 @ 2198.44
2206.89/2214.40	c bounds 389 >= 31 @ 2198.45

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502880-1751421964/watcher-4502880-1751421964 -o /tmp/evaluation-result-4502880-1751421964/solver-4502880-1751421964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67089 --watchdog 3760 run-opt-break.sh HOME/instance-4502880-1751421964.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=69770, runsolver pid=69767

[startup+0.100064 s]*
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126285296/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 57875161 4292608 736 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 736 672 219 0 110 0
[pid=69772] ppid=69770 vsize=44220 memory=34936 CPUtime=0.07 cores=5,7
/proc/69772/stat : 69772 (pbsuma) R 69770 69770 67073 0 -1 4194304 7094 0 0 0 7 0 0 0 20 0 1 0 57875162 45281280 8734 18446744073709551615 4210688 4653049 140724924227904 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31682560 140724924234083 140724924234290 140724924234290 140724924239855 0
/proc/69772/statm: 11055 8734 992 108 0 8463 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 37880 KiB

[startup+0.20562 s]*
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126257956/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 57875161 4292608 736 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 736 672 219 0 110 0
[pid=69772] ppid=69770 vsize=71532 memory=60228 CPUtime=0.19 cores=5,7
/proc/69772/stat : 69772 (pbsuma) R 69770 69770 67073 0 -1 4194304 12340 0 0 0 17 2 0 0 20 0 1 0 57875162 73248768 15057 18446744073709551615 4210688 4653049 140724924227904 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31682560 140724924234083 140724924234290 140724924234290 140724924239855 0
/proc/69772/statm: 17883 15057 992 108 0 15291 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75724 KiB
Current children cumulated memory: 63172 KiB

[startup+0.3055 s]*
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126240944/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 57875161 4292608 736 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 736 672 219 0 110 0
[pid=69772] ppid=69770 vsize=88508 memory=79312 CPUtime=0.29 cores=5,7
/proc/69772/stat : 69772 (pbsuma) R 69770 69770 67073 0 -1 4194304 15490 0 0 0 26 3 0 0 20 0 1 0 57875162 90632192 19828 18446744073709551615 4210688 4653049 140724924227904 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31682560 140724924234083 140724924234290 140724924234290 140724924239855 0
/proc/69772/statm: 22127 19828 992 108 0 19535 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92700 KiB
Current children cumulated memory: 82256 KiB

[startup+0.700213 s]
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126156952/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 57875161 4292608 736 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 736 672 219 0 110 0
[pid=69772] ppid=69770 vsize=165668 memory=139824 CPUtime=0.67 cores=5,7
/proc/69772/stat : 69772 (pbsuma) R 69770 69770 67073 0 -1 4194304 24511 0 0 0 62 5 0 0 20 0 1 0 57875162 169644032 34956 18446744073709551615 4210688 4653049 140724924227904 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31682560 140724924234083 140724924234290 140724924234290 140724924239855 0
/proc/69772/statm: 41417 34956 1024 108 0 38825 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 169860 KiB
Current children cumulated memory: 142768 KiB

[startup+1.50017 s]
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126148888/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 57875161 4292608 736 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 736 672 219 0 110 0
[pid=69772] ppid=69770 vsize=165672 memory=141616 CPUtime=1.47 cores=5,7
/proc/69772/stat : 69772 (pbsuma) R 69770 69770 67073 0 -1 4194304 24973 0 0 0 142 5 0 0 20 0 1 0 57875162 169648128 35404 18446744073709551615 4210688 4653049 140724924227904 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31682560 140724924234083 140724924234290 140724924234290 140724924239855 0
/proc/69772/statm: 41418 35404 1024 108 0 38826 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 169864 KiB
Current children cumulated memory: 144560 KiB

[startup+3.10544 s]
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126149168/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 57875161 4292608 736 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 736 672 219 0 110 0
[pid=69772] ppid=69770 vsize=165672 memory=141616 CPUtime=3.07 cores=5,7
/proc/69772/stat : 69772 (pbsuma) R 69770 69770 67073 0 -1 4194304 24986 0 0 0 302 5 0 0 20 0 1 0 57875162 169648128 35404 18446744073709551615 4210688 4653049 140724924227904 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31682560 140724924234083 140724924234290 140724924234290 140724924239855 0
/proc/69772/statm: 41418 35404 1024 108 0 38826 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 169864 KiB
Current children cumulated memory: 144560 KiB

[startup+6.3002 s]
/proc/loadavg: 3.12 3.18 3.14 4/261 69774
/proc/meminfo: memFree=125932812/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=376160 memory=300048 CPUtime=2.11 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 46221 0 0 0 187 24 0 0 20 0 1 0 57875579 385187840 75012 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 94040 75012 2304 1147 0 81467 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 380352 KiB
Current children cumulated memory: 303120 KiB

[startup+12.7002 s]
/proc/loadavg: 3.11 3.17 3.14 4/261 69774
/proc/meminfo: memFree=125551404/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=376160 memory=300048 CPUtime=8.49 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 46330 0 0 0 824 25 0 0 20 0 1 0 57875579 385187840 75012 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 94040 75012 2304 1147 0 81467 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 380352 KiB
Current children cumulated memory: 303120 KiB

[startup+25.5002 s]
/proc/loadavg: 3.15 3.18 3.15 4/261 69775
/proc/meminfo: memFree=125472696/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=449200 memory=352028 CPUtime=21.24 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 50557 0 0 0 2043 81 0 0 20 0 1 0 57875579 459980800 88007 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 112300 88007 2368 1147 0 99727 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 453392 KiB
Current children cumulated memory: 355100 KiB

[startup+51.1057 s]
/proc/loadavg: 3.18 3.18 3.15 4/262 69777
/proc/meminfo: memFree=125339680/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=561636 memory=458316 CPUtime=46.77 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 55643 0 0 0 4591 86 0 0 20 0 1 0 57875579 575115264 114579 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 140409 114579 2368 1147 0 127836 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 565828 KiB
Current children cumulated memory: 461388 KiB

[startup+102.3 s]
/proc/loadavg: 3.15 3.17 3.14 4/263 69782
/proc/meminfo: memFree=125235708/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=622372 memory=527852 CPUtime=97.8 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 57053 0 0 0 9689 91 0 0 20 0 1 0 57875579 637308928 131963 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 155593 131963 2368 1147 0 143020 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 626564 KiB
Current children cumulated memory: 530924 KiB

[startup+162.3 s]
/proc/loadavg: 3.17 3.17 3.14 4/263 69831
/proc/meminfo: memFree=120950468/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=758988 memory=618416 CPUtime=157.6 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 62451 0 0 0 15661 99 0 0 20 0 1 0 57875579 777203712 154604 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 189747 154604 2368 1147 0 177174 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 763180 KiB
Current children cumulated memory: 621488 KiB

[startup+222.3 s]
/proc/loadavg: 3.15 3.16 3.14 4/264 69838
/proc/meminfo: memFree=119974888/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=824412 memory=721508 CPUtime=217.39 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 66797 0 0 0 21634 105 0 0 20 0 1 0 57875579 844197888 180377 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 206103 180377 2368 1147 0 193530 0

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

/proc/meminfo: memFree=112605780/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=1659364 memory=1297752 CPUtime=3267.16 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 159765 0 0 0 326251 465 0 0 20 0 1 0 57875579 1699188736 324438 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324438 2368 1147 0 402268 0
Current children cumulated CPU time: 3271.3 s
Current children cumulated vsize: 1663556 KiB
Current children cumulated memory: 1300824 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.08 3.09 4/262 69994
/proc/meminfo: memFree=112528468/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=1659364 memory=1298264 CPUtime=3326.96 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 159885 0 0 0 332230 466 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 1663556 KiB
Current children cumulated memory: 1301336 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.08 3.09 4/261 69996
/proc/meminfo: memFree=112523812/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=1659364 memory=1298264 CPUtime=3386.76 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 160075 0 0 0 338209 467 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 1663556 KiB
Current children cumulated memory: 1301336 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.09 3.09 4/262 69998
/proc/meminfo: memFree=112520872/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=1659364 memory=1298264 CPUtime=3446.55 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 160147 0 0 0 344188 467 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 1663556 KiB
Current children cumulated memory: 1301336 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.09 3.09 4/262 70000
/proc/meminfo: memFree=112520792/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=1659364 memory=1298264 CPUtime=3506.35 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 160148 0 0 0 350168 467 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 1663556 KiB
Current children cumulated memory: 1301336 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.10 3.09 4/262 70002
/proc/meminfo: memFree=112249940/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=1659364 memory=1298264 CPUtime=3566.14 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 160148 0 0 0 356146 468 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current children cumulated CPU time: 3570.28 s
Current children cumulated vsize: 1663556 KiB
Current children cumulated memory: 1301336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 3.09 3.09 3.09 4/261 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69770] ppid=69767 vsize=4192 memory=3072 CPUtime=4.14 cores=5,7
/proc/69770/stat : 69770 (run-opt-break.s) S 69767 69770 67073 0 -1 4194304 236 32839 0 0 0 0 405 9 20 0 1 0 57875161 4292608 768 18446744073709551615 94406027182080 94406028076613 140728411689552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94406028315664 94406028363408 94406041522176 140728411695457 140728411695586 140728411695586 140728411701188 0
/proc/69770/statm: 1048 768 704 219 0 110 0
[pid=69773] ppid=69770 vsize=1659364 memory=1298264 CPUtime=3595.94 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69770 69770 67073 0 -1 4194304 160148 0 0 0 359126 468 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1663556 KiB
Current children cumulated memory: 1301336 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3614.22 s]
# the end of solver process 69773 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 3.09 3.09 3.09 4/260 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69773] ppid=69767 vsize=1659364 memory=1298264 CPUtime=3596.54 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69767 69770 67073 0 -1 4194304 160148 0 0 0 359186 468 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current cumulated CPU time of completed processes: 4.14973 s
Current children cumulated CPU time: 3596.54 s
Current children cumulated vsize: 1659364 KiB
Current children cumulated memory: 1298264 KiB

[startup+3613.6 s]
/proc/loadavg: 3.09 3.09 3.09 4/260 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69773] ppid=69767 vsize=1659364 memory=1298264 CPUtime=3597.34 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69767 69770 67073 0 -1 4194304 160148 0 0 0 359266 468 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current cumulated CPU time of completed processes: 4.14973 s
Current children cumulated CPU time: 3597.34 s
Current children cumulated vsize: 1659364 KiB
Current children cumulated memory: 1298264 KiB

[startup+3614 s]*
/proc/loadavg: 3.09 3.09 3.09 3/256 70012
/proc/meminfo: memFree=114584092/131249992 swapFree=33010684/33010684
[pid=69773] ppid=69767 vsize=1659364 memory=1298264 CPUtime=3597.74 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69767 69770 67073 0 -1 4194304 160148 0 0 0 359306 468 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current cumulated CPU time of completed processes: 4.14973 s
Current children cumulated CPU time: 3597.74 s
Current children cumulated vsize: 1659364 KiB
Current children cumulated memory: 1298264 KiB

[startup+3614.2 s]
/proc/loadavg: 3.09 3.09 3.09 3/256 70012
/proc/meminfo: memFree=114584092/131249992 swapFree=33010684/33010684
[pid=69773] ppid=69767 vsize=1659364 memory=1298264 CPUtime=3597.93 cores=5,7
/proc/69773/stat : 69773 (roundingsat) R 69767 69770 67073 0 -1 4194304 160148 0 0 0 359325 468 0 0 20 0 1 0 57875579 1699188736 324566 18446744073709551615 4227072 8923433 140732575479216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36163584 140732575488356 140732575488552 140732575488552 140732575494122 0
/proc/69773/statm: 414841 324566 2368 1147 0 402268 0
Current cumulated CPU time of completed processes: 4.14973 s
Current children cumulated CPU time: 3597.93 s
Current children cumulated vsize: 1659364 KiB
Current children cumulated memory: 1298264 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.22
CPU time (s): 3602.11
CPU user time (s): 3597.31
CPU system time (s): 4.80055
CPU usage (%): 99.6651
Max. virtual memory (cumulated for all children) (KiB): 1708000
Max. memory (cumulated for all children) (KiB): 1345644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.31
system time used= 4.80055
maximum resident set size= 1342572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 62008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 246
involuntary context switches= 1553


# summary of solver processes directly reported to runsolver:
#   pid: 69770,69773
#   total CPU time (s): 3602.11
#   total CPU user time (s): 3597.31
#   total CPU system time (s): 4.80055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30813 second user time and 17.3036 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-02 04:06:04
IDJOB=4502880
IDBENCH=155400
IDSOLVER=3359
FILE ID=nodeC025/4502880-1751421964
RUNJOBID= nodeC025-1751414736-67089
SLURM_JOB_ID= 9598325
Free space on /tmp= 432956 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502880-1751421964/watcher-4502880-1751421964 -o /tmp/evaluation-result-4502880-1751421964/solver-4502880-1751421964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67089 --watchdog 3760  run-opt-break.sh HOME/instance-4502880-1751421964.opb

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=62826351

nodeC025 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.838
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.67
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.832
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.67
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		: 3602.124
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.67
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.377
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.67
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		: 3677.754
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.67
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		: 3597.240
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.67
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		: 3700.000
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.67
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.831
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126302876 kB
MemAvailable:   129210916 kB
Buffers:            3280 kB
Cached:          3705332 kB
SwapCached:            0 kB
Active:           927976 kB
Inactive:        3364884 kB
Active(anon):     602336 kB
Inactive(anon):        0 kB
Active(file):     325640 kB
Inactive(file):  3364884 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89488 kB
Writeback:          4004 kB
AnonPages:        586724 kB
Mapped:           109376 kB
Shmem:             18084 kB
KReclaimable:     113512 kB
Slab:             202992 kB
SReclaimable:     113512 kB
SUnreclaim:        89480 kB
KernelStack:        4208 kB
PageTables:         4024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     951604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    382976 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431720 MiB
End job on nodeC025 at 2025-07-02 05:06:18