Trace number 4483896

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-ls+pbsuma 63f22ad? (TO) 3602.05 3610.71

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_seq/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_sequential.opb
MD5SUMdbf55fafe8c36fc4d34bf230f66c30bf
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 benchmark-738
Best CPU time to get the best result obtained on this benchmark72002.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81322
Total number of constraints161483
Number of constraints which are clauses161482
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 1251
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 13703
Number of bits of the biggest sum of numbers14
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-4483896-1751280113.opb'
0.07/0.11	c 	read 5.37MB  (91.01ms)
0.07/0.11	c	 [cnf: #variables 81322 #clauses 161484 #duplicates 0 #arr 423871]
0.07/0.11	c 
0.07/0.11	c make graph and approximate orbits
0.18/0.23	c	 [group: #orbits ~= 24738] (121.42ms)
0.18/0.23	c 
0.18/0.23	c detect special group actions
0.18/0.23	c 	probe for Johnson action (limit=64)
0.18/0.23	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.18/0.25	c 	probe for row symmetry (limit=64, splits=16.78M)
0.18/0.26	c 	 (30.06ms)
0.18/0.26	c 
0.18/0.26	c detect symmetries on remainder
0.18/0.26	c 	[graph: #vertices 490770 #edges 1343670]
0.18/0.26	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.39/0.43	c 	 [group: #symmetries 7.67*10^73 #generators 166] (170.06ms)
0.39/0.43	c 
0.39/0.43	c optimize generators (opt_passes=64, conjugate_limit=256)
0.39/0.43	c 	ran it=0, +gens=1 
0.87/0.97	c 	con best_support=532, best_gens=166, +gens=49
0.87/0.97	c 	(541.20ms)
0.87/0.97	c 
0.87/0.97	c finalize break order and special generators
0.87/0.97	c 
0.87/0.97	c add generic predicates (break_depth=20)
0.87/0.98	c 	added predicates for 216 generators (2.91ms)
0.87/0.98	c 
0.87/0.98	c generation finished
0.87/0.98	c 	[sbp: #constraints 12528 #add_vars 4104]
0.87/0.98	c 
0.87/0.98	c write result to 'HOME/instance-4483896-1751280113.opb.pre'
0.87/0.99	c 	wrote 5.97MB (13.07ms)
0.87/0.99	c ------------------------------------------------------------------
0.87/0.99	c                 541.20ms 55.36% optimize_gens
0.87/0.99	c                 170.06ms 17.40% detect_generic
0.87/0.99	c                 121.42ms 12.42% approx_orbits
0.87/0.99	c                  91.00ms  9.31% parse
0.87/0.99	c                  30.06ms  3.08% detect_special
0.87/0.99	c                  13.07ms  1.34% output
0.87/0.99	c                   4.35ms  0.44% finalize_order
0.87/0.99	c                   3.46ms  0.35% other
0.87/0.99	c                   2.91ms  0.30% break_generic
0.87/0.99	c         ───────────────────────────────────────────────
0.87/0.99	c                 977.54ms   100% total
0.87/0.99	c ------------------------------------------------------------------
0.98/1.03	c RoundingSat 2
0.98/1.03	c branch pb25
0.98/1.03	c commit 63f22ad
0.99/1.78	c #variables 85426 #constraints 174010
0.99/1.78	c objective is ce32 
4.34/4.43	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.34/4.43	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
4.34/4.43	c bounds - >= -1251 @ 3.20605
4.94/5.10	c bounds 0 >= -1251 @ 3.82784
5.05/5.18	c bounds -256 >= -1251 @ 3.90431
5.84/5.90	c bounds -264 >= -1251 @ 4.62246
7.13/7.21	c bounds -265 >= -1251 @ 5.90479
10.03/10.19	c bounds -267 >= -1251 @ 8.83391
17.81/18.00	c bounds -268 >= -1251 @ 16.5554
34.47/34.64	c rational objective -809.4
35.47/35.67	c bounds -269 >= -1251 @ 33.9531
35.47/35.69	c bounds -271 >= -1251 @ 33.9737
35.56/35.71	c bounds -272 >= -1251 @ 33.9941
35.56/35.73	c bounds -273 >= -1251 @ 34.0135
36.46/36.64	c #Conflicts:       1000 | #Constraints:     175020
36.46/36.64	c bounds -464 >= -1251 @ 34.9017
36.46/36.66	c bounds -468 >= -1251 @ 34.9224
36.46/36.68	c bounds -470 >= -1251 @ 34.9414
36.57/36.71	c bounds -472 >= -1251 @ 34.9615
36.57/36.73	c bounds -473 >= -1251 @ 34.982
36.57/36.75	c bounds -481 >= -1251 @ 35.0014
36.57/36.77	c bounds -482 >= -1251 @ 35.0218
36.57/36.79	c bounds -483 >= -1251 @ 35.0425
36.67/36.81	c bounds -487 >= -1251 @ 35.0622
36.67/36.83	c bounds -488 >= -1251 @ 35.082
36.67/36.85	c bounds -489 >= -1251 @ 35.1018
36.67/36.87	c bounds -490 >= -1251 @ 35.1219
36.67/36.89	c bounds -492 >= -1251 @ 35.1424
36.76/36.91	c bounds -493 >= -1251 @ 35.1629
36.76/36.93	c bounds -494 >= -1251 @ 35.184
36.76/36.95	c bounds -498 >= -1251 @ 35.204
36.76/36.98	c bounds -500 >= -1251 @ 35.224
36.76/37.00	c bounds -501 >= -1251 @ 35.245
36.87/37.02	c bounds -502 >= -1251 @ 35.2653
36.87/37.04	c bounds -503 >= -1251 @ 35.2864
36.87/37.06	c bounds -505 >= -1251 @ 35.3064
36.87/37.08	c bounds -506 >= -1251 @ 35.3244
36.97/37.10	c bounds -507 >= -1251 @ 35.3435
36.97/37.12	c bounds -509 >= -1251 @ 35.3626
36.97/37.14	c bounds -513 >= -1251 @ 35.3836
36.97/37.17	c bounds -521 >= -1251 @ 35.4046
36.97/37.19	c bounds -522 >= -1251 @ 35.4256
37.06/37.21	c bounds -523 >= -1251 @ 35.446
37.06/37.23	c bounds -524 >= -1251 @ 35.4676
37.17/37.30	c bounds -525 >= -1251 @ 35.5334
37.17/37.32	c bounds -527 >= -1251 @ 35.5539
47.24/47.43	c #Conflicts:       2000 | #Constraints:     176051
47.24/47.43	c INPROCESSING
47.24/47.43	c GARBAGE COLLECT
47.24/47.43	c bounds -528 >= -1251 @ 45.4474
48.53/48.73	c #Conflicts:       3000 | #Constraints:     172020
48.53/48.73	c #Conflicts:       4000 | #Constraints:     173020
48.53/48.73	c INPROCESSING
48.53/48.73	c GARBAGE COLLECT
48.53/48.73	c bounds -529 >= -1251 @ 46.7306
48.53/48.75	c bounds -530 >= -1251 @ 46.7475
48.53/48.78	c bounds -532 >= -1251 @ 46.7717
49.43/49.69	c bounds -533 >= -1251 @ 47.6773
49.53/49.72	c bounds -535 >= -1251 @ 47.7029
50.84/51.07	c bounds -536 >= -1251 @ 49.0518
50.84/51.09	c bounds -536 >= -1183 @ 49.0556
50.94/51.10	c bounds -536 >= -1179 @ 49.0718
52.83/53.06	c #Conflicts:       5000 | #Constraints:     172360
52.83/53.06	c bounds -536 >= -1175 @ 50.9615
52.83/53.09	c bounds -537 >= -1175 @ 50.9854
52.94/53.11	c bounds -539 >= -1175 @ 51.0073
52.94/53.14	c bounds -540 >= -1175 @ 51.0312
53.93/54.12	c #Conflicts:       6000 | #Constraints:     173372
53.93/54.12	c bounds -541 >= -1175 @ 51.9955
56.02/56.21	c INPROCESSING
56.02/56.21	c GARBAGE COLLECT
56.02/56.21	c bounds -542 >= -1175 @ 54.0564
58.21/58.41	c #Conflicts:       7000 | #Constraints:     172275
58.21/58.41	c bounds -543 >= -1175 @ 56.2429
58.21/58.41	c bounds -543 >= -1173 @ 56.2439
58.21/58.41	c bounds -543 >= -1171 @ 56.244
58.21/58.42	c bounds -543 >= -1163 @ 56.2456
58.21/58.42	c bounds -543 >= -1161 @ 56.2499
58.21/58.44	c bounds -543 >= -1159 @ 56.2648
58.21/58.44	c bounds -543 >= -1157 @ 56.2704
58.21/58.45	c bounds -543 >= -1155 @ 56.2783
58.21/58.46	c bounds -543 >= -1153 @ 56.2898
58.21/58.46	c bounds -543 >= -1151 @ 56.2929
58.21/58.47	c bounds -543 >= -1149 @ 56.2959
58.21/58.47	c bounds -543 >= -1147 @ 56.2971
58.21/58.48	c bounds -543 >= -1145 @ 56.304
58.21/58.48	c bounds -543 >= -1143 @ 56.3048
58.21/58.49	c bounds -543 >= -1141 @ 56.313
58.21/58.49	c bounds -543 >= -1139 @ 56.3176
58.31/58.51	c bounds -543 >= -1137 @ 56.3385
58.31/58.59	c bounds -543 >= -1135 @ 56.4157
58.41/58.65	c bounds -543 >= -1133 @ 56.4795
58.52/58.73	c #Conflicts:       8000 | #Constraints:     173455
58.52/58.73	c bounds -543 >= -1131 @ 56.557
58.62/58.85	c bounds -543 >= -1129 @ 56.6736
58.71/58.91	c bounds -543 >= -1127 @ 56.7365
58.71/58.95	c #Conflicts:       9000 | #Constraints:     174533
58.71/58.95	c bounds -543 >= -1125 @ 56.7745
58.92/59.13	c INPROCESSING
58.92/59.13	c GARBAGE COLLECT
58.92/59.13	c bounds -543 >= -1123 @ 56.9457
59.01/59.23	c #Conflicts:      10000 | #Constraints:     173179
59.01/59.23	c bounds -543 >= -1121 @ 57.0347
59.01/59.29	c bounds -543 >= -1119 @ 57.0973
59.11/59.36	c #Conflicts:      11000 | #Constraints:     174230
59.11/59.36	c bounds -543 >= -1117 @ 57.1681
59.42/59.63	c #Conflicts:      12000 | #Constraints:     175245
59.42/59.63	c INPROCESSING
59.42/59.63	c bounds -543 >= -1115 @ 57.4309
59.51/59.71	c bounds -543 >= -1113 @ 57.5078
60.81/61.08	c #Conflicts:      13000 | #Constraints:     173678
60.81/61.08	c bounds -546 >= -1113 @ 58.8587
60.91/61.17	c #Conflicts:      14000 | #Constraints:     174679
60.91/61.17	c bounds -546 >= -1111 @ 58.9481
61.01/61.22	c bounds -546 >= -1109 @ 58.9998
61.01/61.25	c bounds -546 >= -1107 @ 59.0303
61.11/61.33	c bounds -546 >= -1105 @ 59.1036
61.31/61.56	c #Conflicts:      15000 | #Constraints:     175769
61.31/61.56	c INPROCESSING
61.31/61.56	c GARBAGE COLLECT
61.31/61.56	c bounds -546 >= -1103 @ 59.3404
61.51/61.75	c #Conflicts:      16000 | #Constraints:     173965
61.51/61.75	c bounds -546 >= -1101 @ 59.5233
61.60/61.83	c bounds -546 >= -1099 @ 59.5957
61.60/61.86	c bounds -546 >= -1097 @ 59.6325
61.60/61.88	c bounds -546 >= -1095 @ 59.6552
61.70/61.97	c #Conflicts:      17000 | #Constraints:     175073
61.70/61.97	c bounds -546 >= -1093 @ 59.736
61.81/62.06	c bounds -546 >= -1091 @ 59.8236
62.30/62.52	c bounds -547 >= -1091 @ 60.2778
62.30/62.58	c bounds -547 >= -1089 @ 60.3371
62.40/62.62	c #Conflicts:      18000 | #Constraints:     176131
62.40/62.62	c bounds -547 >= -1087 @ 60.3752
62.80/63.09	c INPROCESSING
62.80/63.09	c GARBAGE COLLECT
62.80/63.09	c bounds -547 >= -1085 @ 60.8334
63.41/63.60	c #Conflicts:      19000 | #Constraints:     174094
63.41/63.60	c bounds -548 >= -1085 @ 61.3384
63.41/63.68	c bounds -548 >= -1083 @ 61.424
63.50/63.75	c bounds -548 >= -1081 @ 61.4881
64.60/64.89	c #Conflicts:      20000 | #Constraints:     175137
64.60/64.89	c bounds -549 >= -1081 @ 62.6172
64.80/65.08	c bounds -549 >= -1079 @ 62.8022
64.91/65.14	c bounds -549 >= -1077 @ 62.8577
64.91/65.20	c bounds -549 >= -1075 @ 62.9117
65.00/65.29	c #Conflicts:      21000 | #Constraints:     176234
65.00/65.29	c bounds -549 >= -1073 @ 63.0015
65.30/65.51	c INPROCESSING
65.30/65.51	c GARBAGE COLLECT
65.30/65.51	c bounds -549 >= -1071 @ 63.2246
65.39/65.65	c #Conflicts:      22000 | #Constraints:     173972
65.39/65.65	c bounds -549 >= -1069 @ 63.3645
65.60/65.89	c #Conflicts:      23000 | #Constraints:     175023
65.60/65.89	c bounds -549 >= -1067 @ 63.5952
65.70/65.93	c bounds -554 >= -1067 @ 63.6325
66.29/66.51	c #Conflicts:      24000 | #Constraints:     176069
66.29/66.51	c bounds -557 >= -1067 @ 64.2063
67.49/67.76	c #Conflicts:      25000 | #Constraints:     177070
67.49/67.76	c INPROCESSING
67.49/67.76	c GARBAGE COLLECT
67.49/67.76	c bounds -558 >= -1067 @ 65.4504
67.49/67.77	c bounds -558 >= -1066 @ 65.4532
67.49/67.77	c bounds -558 >= -1065 @ 65.4558
67.49/67.77	c bounds -558 >= -1061 @ 65.4579
67.49/67.78	c bounds -558 >= -1060 @ 65.463
67.49/67.78	c bounds -558 >= -1059 @ 65.4702
67.59/67.83	c bounds -558 >= -1058 @ 65.5215
67.69/67.93	c bounds -558 >= -1057 @ 65.6157
67.69/67.99	c #Conflicts:      26000 | #Constraints:     174700
67.69/67.99	c bounds -558 >= -1056 @ 65.6758
67.79/68.01	c bounds -558 >= -1055 @ 65.7006
67.79/68.07	c bounds -558 >= -1054 @ 65.7541
67.89/68.13	c bounds -558 >= -1053 @ 65.8129
67.99/68.26	c bounds -558 >= -1052 @ 65.9418
68.09/68.36	c bounds -558 >= -1051 @ 66.0479
68.19/68.48	c #Conflicts:      27000 | #Constraints:     175832
68.19/68.48	c bounds -558 >= -1050 @ 66.1577
69.99/70.27	c bounds -559 >= -1050 @ 67.9291
70.08/70.30	c bounds -559 >= -1049 @ 67.964
70.08/70.31	c bounds -559 >= -1048 @ 67.9684
70.08/70.31	c bounds -559 >= -1047 @ 67.9701
70.08/70.32	c bounds -559 >= -1046 @ 67.9844
70.08/70.33	c bounds -559 >= -1045 @ 67.995
70.08/70.35	c bounds -559 >= -1044 @ 68.006
70.08/70.35	c bounds -559 >= -1043 @ 68.0111
70.08/70.36	c bounds -559 >= -1042 @ 68.0235
70.08/70.39	c #Conflicts:      28000 | #Constraints:     176970
70.08/70.39	c bounds -559 >= -1041 @ 68.0517
70.18/70.47	c bounds -559 >= -1040 @ 68.1259
70.28/70.55	c bounds -559 >= -1039 @ 68.2099
70.49/70.72	c bounds -559 >= -1038 @ 68.3742
70.49/70.76	c bounds -559 >= -1037 @ 68.4146
70.59/70.86	c #Conflicts:      29000 | #Constraints:     178109
70.59/70.86	c INPROCESSING
70.59/70.86	c GARBAGE COLLECT
70.59/70.86	c bounds -559 >= -1036 @ 68.5158
70.59/70.89	c bounds -559 >= -1035 @ 68.5428
70.79/71.03	c bounds -559 >= -1034 @ 68.6807
70.89/71.15	c #Conflicts:      30000 | #Constraints:     175244
70.89/71.15	c bounds -559 >= -1033 @ 68.8007
71.28/71.50	c #Conflicts:      31000 | #Constraints:     176280
71.28/71.50	c bounds -559 >= -1032 @ 69.1383
71.48/71.78	c #Conflicts:      32000 | #Constraints:     177313
71.48/71.78	c bounds -559 >= -1031 @ 69.4092
71.79/72.02	c #Conflicts:      33000 | #Constraints:     178361
71.79/72.02	c bounds -559 >= -1030 @ 69.6515
71.98/72.28	c #Conflicts:      34000 | #Constraints:     179397
71.98/72.28	c bounds -559 >= -1029 @ 69.9077
73.68/73.92	c #Conflicts:      35000 | #Constraints:     180427
73.68/73.92	c bounds -560 >= -1029 @ 71.5018
146.32/146.72	c #Conflicts:      36000 | #Constraints:     181428
146.32/146.72	c bounds -560 >= -1028 @ 143.866
146.52/146.94	c #Conflicts:      37000 | #Constraints:     182458
146.52/146.94	c bounds -560 >= -1027 @ 144.077
147.22/147.64	c bounds -564 >= -1027 @ 144.779
148.02/148.49	c #Conflicts:      38000 | #Constraints:     183492
148.02/148.49	c #Conflicts:      39000 | #Constraints:     184492
148.02/148.49	c bounds -564 >= -1026 @ 145.614
148.12/148.52	c bounds -566 >= -1026 @ 145.642
149.41/149.86	c bounds -567 >= -1026 @ 146.976
149.82/150.27	c #Conflicts:      40000 | #Constraints:     185524
149.82/150.27	c bounds -568 >= -1026 @ 147.379
151.31/151.73	c #Conflicts:      41000 | #Constraints:     186525
151.31/151.73	c #Conflicts:      42000 | #Constraints:     187525
151.31/151.73	c INPROCESSING
151.31/151.73	c GARBAGE COLLECT
151.31/151.73	c bounds -569 >= -1026 @ 148.831
154.71/155.16	c #Conflicts:      43000 | #Constraints:     179581
154.71/155.16	c #Conflicts:      44000 | #Constraints:     180581
154.71/155.16	c bounds -570 >= -1026 @ 152.244
155.30/155.76	c #Conflicts:      45000 | #Constraints:     181582
155.30/155.76	c bounds -570 >= -1025 @ 152.838
156.00/156.44	c #Conflicts:      46000 | #Constraints:     182642
156.00/156.44	c #Conflicts:      47000 | #Constraints:     183642
156.00/156.44	c bounds -570 >= -1024 @ 153.503
156.10/156.58	c bounds -571 >= -1024 @ 153.643
156.29/156.73	c #Conflicts:      48000 | #Constraints:     184676
156.29/156.73	c INPROCESSING
156.29/156.73	c GARBAGE COLLECT
156.29/156.73	c bounds -571 >= -1023 @ 153.786
156.29/156.75	c bounds -571 >= -1022 @ 153.813
156.39/156.81	c bounds -571 >= -1021 @ 153.871
156.39/156.89	c bounds -571 >= -1020 @ 153.95
156.50/156.99	c bounds -571 >= -1019 @ 154.043
156.90/157.37	c bounds -572 >= -1019 @ 154.426
157.10/157.51	c #Conflicts:      49000 | #Constraints:     178759
157.10/157.51	c bounds -572 >= -1018 @ 154.568
157.10/157.54	c bounds -572 >= -1017 @ 154.591
157.10/157.55	c bounds -572 >= -1016 @ 154.602
157.10/157.57	c bounds -572 >= -1015 @ 154.62
157.10/157.59	c bounds -572 >= -1014 @ 154.644
157.20/157.62	c bounds -572 >= -1013 @ 154.668
157.20/157.66	c bounds -572 >= -1012 @ 154.71
157.79/158.20	c bounds -574 >= -1012 @ 155.252
157.89/158.35	c bounds -574 >= -1011 @ 155.402
157.99/158.40	c #Conflicts:      50000 | #Constraints:     179940
157.99/158.40	c bounds -574 >= -1010 @ 155.449
158.09/158.50	c bounds -574 >= -1009 @ 155.542
158.20/158.60	c bounds -574 >= -1008 @ 155.648
158.20/158.68	c bounds -574 >= -1007 @ 155.721
159.19/159.67	c bounds -576 >= -1007 @ 156.689
159.49/159.90	c #Conflicts:      51000 | #Constraints:     181043
159.49/159.90	c bounds -576 >= -1006 @ 156.921
159.59/160.06	c bounds -576 >= -1005 @ 157.07
163.48/163.91	c #Conflicts:      52000 | #Constraints:     182106
163.48/163.91	c bounds -580 >= -1005 @ 160.905
163.98/164.48	c #Conflicts:      53000 | #Constraints:     183107
163.98/164.48	c INPROCESSING
163.98/164.48	c GARBAGE COLLECT
163.98/164.48	c bounds -580 >= -1004 @ 161.471
164.38/164.82	c #Conflicts:      54000 | #Constraints:     177778
164.38/164.82	c bounds -580 >= -1003 @ 161.803
164.98/165.46	c #Conflicts:      55000 | #Constraints:     178835
164.98/165.46	c #Conflicts:      56000 | #Constraints:     179835
164.98/165.46	c bounds -580 >= -1002 @ 162.439
165.97/166.49	c #Conflicts:      57000 | #Constraints:     180874
165.97/166.49	c #Conflicts:      58000 | #Constraints:     181874
165.97/166.49	c #Conflicts:      59000 | #Constraints:     182874
165.97/166.49	c bounds -580 >= -1001 @ 163.447
167.18/167.64	c #Conflicts:      60000 | #Constraints:     183901
167.18/167.64	c #Conflicts:      61000 | #Constraints:     184901
167.18/167.64	c #Conflicts:      62000 | #Constraints:     185901
167.18/167.64	c bounds -580 >= -1000 @ 164.578
172.76/173.23	c #Conflicts:      63000 | #Constraints:     186967
172.76/173.23	c #Conflicts:      64000 | #Constraints:     187967
172.76/173.23	c bounds -584 >= -1000 @ 170.148
173.15/173.60	c bounds -584 >= -999 @ 170.511
173.46/173.91	c #Conflicts:      65000 | #Constraints:     188983
173.46/173.91	c bounds -584 >= -998 @ 170.815
173.76/174.27	c #Conflicts:      66000 | #Constraints:     190016
173.76/174.27	c bounds -584 >= -997 @ 171.167
174.06/174.58	c bounds -584 >= -996 @ 171.475
174.66/175.15	c #Conflicts:      67000 | #Constraints:     191073
174.66/175.15	c bounds -584 >= -995 @ 172.042
175.45/175.95	c #Conflicts:      68000 | #Constraints:     192121
175.45/175.95	c #Conflicts:      69000 | #Constraints:     193121
175.45/175.95	c bounds -584 >= -994 @ 172.827
179.44/179.90	c #Conflicts:      70000 | #Constraints:     194166
179.44/179.90	c #Conflicts:      71000 | #Constraints:     195166
179.44/179.90	c INPROCESSING
179.44/179.90	c GARBAGE COLLECT
179.44/179.90	c #Conflicts:      72000 | #Constraints:     183814
179.44/179.90	c bounds -588 >= -994 @ 176.748
179.44/179.93	c bounds -588 >= -993 @ 176.779
179.55/180.04	c bounds -588 >= -992 @ 176.885
179.55/180.07	c bounds -588 >= -991 @ 176.913
179.64/180.13	c bounds -588 >= -990 @ 176.979
179.84/180.37	c #Conflicts:      73000 | #Constraints:     184902
179.84/180.37	c bounds -588 >= -989 @ 177.212
180.14/180.67	c #Conflicts:      74000 | #Constraints:     185944
180.14/180.67	c bounds -588 >= -988 @ 177.512
180.94/181.44	c #Conflicts:      75000 | #Constraints:     186986
180.94/181.44	c bounds -588 >= -987 @ 178.277
181.73/182.25	c bounds -589 >= -987 @ 179.077
181.83/182.33	c bounds -590 >= -987 @ 179.164
237.50/238.18	c #Conflicts:      76000 | #Constraints:     188033
237.50/238.18	c #Conflicts:      77000 | #Constraints:     189033
237.50/238.18	c bounds -590 >= -986 @ 234.674
254.37/255.06	c #Conflicts:      78000 | #Constraints:     190093
254.37/255.06	c INPROCESSING
254.37/255.06	c GARBAGE COLLECT
254.37/255.06	c #Conflicts:      79000 | #Constraints:     181710
254.37/255.06	c #Conflicts:      80000 | #Constraints:     182710
254.37/255.06	c #Conflicts:      81000 | #Constraints:     183710
254.37/255.06	c bounds -591 >= -986 @ 251.467
256.35/257.08	c #Conflicts:      82000 | #Constraints:     184711
256.35/257.08	c #Conflicts:      83000 | #Constraints:     185711
256.35/257.08	c #Conflicts:      84000 | #Constraints:     186711
256.35/257.08	c bounds -591 >= -985 @ 253.473
257.65/258.37	c INPROCESSING
257.65/258.37	c GARBAGE COLLECT
257.65/258.37	c #Conflicts:      85000 | #Constraints:     179559
257.65/258.37	c #Conflicts:      86000 | #Constraints:     180559
257.65/258.37	c #Conflicts:      87000 | #Constraints:     181559
257.65/258.37	c bounds -591 >= -984 @ 254.743
258.55/259.22	c #Conflicts:      88000 | #Constraints:     182634
258.55/259.22	c #Conflicts:      89000 | #Constraints:     183634
258.55/259.22	c bounds -591 >= -983 @ 255.584
259.46/260.18	c #Conflicts:      90000 | #Constraints:     184700
259.46/260.18	c #Conflicts:      91000 | #Constraints:     185700
259.46/260.18	c #Conflicts:      92000 | #Constraints:     186700
259.46/260.18	c bounds -591 >= -982 @ 256.538
260.94/261.69	c #Conflicts:      93000 | #Constraints:     187730
260.94/261.69	c #Conflicts:      94000 | #Constraints:     188730
260.94/261.69	c #Conflicts:      95000 | #Constraints:     189730
260.94/261.69	c bounds -591 >= -981 @ 258.032
262.24/263.00	c #Conflicts:      96000 | #Constraints:     190766
262.24/263.00	c #Conflicts:      97000 | #Constraints:     191766
262.24/263.00	c bounds -591 >= -980 @ 259.324
263.94/264.66	c #Conflicts:      98000 | #Constraints:     192808
263.94/264.66	c #Conflicts:      99000 | #Constraints:     193808
263.94/264.66	c #Conflicts:     100000 | #Constraints:     194808
263.94/264.66	c bounds -591 >= -979 @ 260.967
266.03/266.70	c #Conflicts:     101000 | #Constraints:     195856
266.03/266.70	c #Conflicts:     102000 | #Constraints:     196856
266.03/266.70	c #Conflicts:     103000 | #Constraints:     197856
266.03/266.70	c bounds -591 >= -978 @ 262.984
268.12/268.88	c #Conflicts:     104000 | #Constraints:     198877
268.12/268.88	c #Conflicts:     105000 | #Constraints:     199877
268.12/268.88	c #Conflicts:     106000 | #Constraints:     200877
268.12/268.88	c bounds -591 >= -977 @ 265.159
270.22/270.90	c #Conflicts:     107000 | #Constraints:     201907
270.22/270.90	c INPROCESSING
270.22/270.90	c GARBAGE COLLECT
270.22/270.90	c #Conflicts:     108000 | #Constraints:     187586
270.22/270.90	c #Conflicts:     109000 | #Constraints:     188586
270.22/270.90	c bounds -591 >= -976 @ 267.155
271.81/272.59	c #Conflicts:     110000 | #Constraints:     189631
271.81/272.59	c bounds -593 >= -976 @ 268.841
272.61/273.39	c #Conflicts:     111000 | #Constraints:     190632
272.61/273.39	c bounds -593 >= -975 @ 269.629
272.71/273.42	c bounds -595 >= -975 @ 269.655
272.81/273.51	c bounds -596 >= -975 @ 269.742
272.91/273.61	c bounds -597 >= -975 @ 269.843
272.91/273.63	c bounds -599 >= -975 @ 269.869
273.02/273.76	c bounds -600 >= -975 @ 269.991
273.02/273.79	c bounds -601 >= -975 @ 270.024
273.12/273.82	c bounds -602 >= -975 @ 270.053
273.91/274.60	c bounds -604 >= -975 @ 270.828
274.51/275.20	c #Conflicts:     112000 | #Constraints:     191673
274.51/275.20	c bounds -604 >= -974 @ 271.427
274.61/275.36	c bounds -605 >= -974 @ 271.584
274.81/275.54	c bounds -606 >= -974 @ 271.768
275.41/276.11	c #Conflicts:     113000 | #Constraints:     192705
275.41/276.11	c bounds -606 >= -973 @ 272.332
277.60/278.35	c #Conflicts:     114000 | #Constraints:     193744
277.60/278.35	c bounds -608 >= -973 @ 274.562
278.10/278.82	c bounds -608 >= -972 @ 275.026
359.13/360.05	c #Conflicts:     115000 | #Constraints:     194772
359.13/360.05	c INPROCESSING
359.13/360.05	c GARBAGE COLLECT
359.13/360.05	c rational objective -785.769
360.42/361.36	c bounds -608 >= -971 @ 357.072
364.91/365.85	c #Conflicts:     116000 | #Constraints:     184072
364.91/365.85	c #Conflicts:     117000 | #Constraints:     185072
364.91/365.85	c bounds -610 >= -971 @ 361.539
366.60/367.53	c #Conflicts:     118000 | #Constraints:     186073
366.60/367.53	c #Conflicts:     119000 | #Constraints:     187073
366.60/367.53	c bounds -610 >= -970 @ 363.197
366.90/367.83	c #Conflicts:     120000 | #Constraints:     188121
366.90/367.83	c bounds -610 >= -969 @ 363.496
367.31/368.21	c bounds -610 >= -968 @ 363.868
367.70/368.63	c #Conflicts:     121000 | #Constraints:     189187
367.70/368.63	c bounds -610 >= -967 @ 364.283
368.11/369.09	c #Conflicts:     122000 | #Constraints:     190223
368.11/369.09	c bounds -610 >= -966 @ 364.742
368.99/369.93	c #Conflicts:     123000 | #Constraints:     191259
368.99/369.93	c INPROCESSING
368.99/369.93	c GARBAGE COLLECT
368.99/369.93	c #Conflicts:     124000 | #Constraints:     182060
368.99/369.93	c bounds -610 >= -965 @ 365.568
369.60/370.57	c #Conflicts:     125000 | #Constraints:     183129
369.60/370.57	c bounds -610 >= -964 @ 366.205
370.30/371.22	c #Conflicts:     126000 | #Constraints:     184183
370.30/371.22	c #Conflicts:     127000 | #Constraints:     185183
370.30/371.22	c bounds -610 >= -963 @ 366.843
371.10/372.03	c #Conflicts:     128000 | #Constraints:     186210
371.10/372.03	c bounds -610 >= -962 @ 367.648
373.29/374.26	c #Conflicts:     129000 | #Constraints:     187249
373.29/374.26	c bounds -611 >= -962 @ 369.851
374.49/375.48	c #Conflicts:     130000 | #Constraints:     188250
374.49/375.48	c #Conflicts:     131000 | #Constraints:     189250
374.49/375.48	c bounds -611 >= -961 @ 371.06
374.59/375.51	c bounds -612 >= -961 @ 371.086
374.79/375.70	c bounds -613 >= -961 @ 371.274
376.59/377.59	c #Conflicts:     132000 | #Constraints:     190285
376.59/377.59	c bounds -616 >= -961 @ 373.147
378.28/379.22	c #Conflicts:     133000 | #Constraints:     191286
378.28/379.22	c #Conflicts:     134000 | #Constraints:     192286
378.28/379.22	c bounds -616 >= -960 @ 374.767
382.27/383.22	c #Conflicts:     135000 | #Constraints:     193313
382.27/383.22	c bounds -617 >= -960 @ 378.744
384.36/385.37	c #Conflicts:     136000 | #Constraints:     194314
384.36/385.37	c #Conflicts:     137000 | #Constraints:     195314
384.36/385.37	c #Conflicts:     138000 | #Constraints:     196314
384.36/385.37	c bounds -617 >= -959 @ 380.876
385.67/386.69	c #Conflicts:     139000 | #Constraints:     197359
385.67/386.69	c #Conflicts:     140000 | #Constraints:     198359
385.67/386.69	c bounds -617 >= -958 @ 382.195
385.76/386.73	c bounds -618 >= -958 @ 382.227
385.76/386.76	c bounds -619 >= -958 @ 382.256
386.96/387.97	c #Conflicts:     141000 | #Constraints:     199388
386.96/387.97	c bounds -620 >= -958 @ 383.467
407.01/408.05	c #Conflicts:     142000 | #Constraints:     200389
407.01/408.05	c #Conflicts:     143000 | #Constraints:     201389
407.01/408.05	c #Conflicts:     144000 | #Constraints:     202389
407.01/408.05	c #Conflicts:     145000 | #Constraints:     203389
407.01/408.05	c #Conflicts:     146000 | #Constraints:     204389
407.01/408.05	c #Conflicts:     147000 | #Constraints:     205389
407.01/408.05	c #Conflicts:     148000 | #Constraints:     206389
407.01/408.05	c #Conflicts:     149000 | #Constraints:     207389
407.01/408.05	c #Conflicts:     150000 | #Constraints:     208389
407.01/408.05	c INPROCESSING
407.01/408.05	c GARBAGE COLLECT
407.01/408.05	c bounds -621 >= -958 @ 403.261
409.01/410.08	c #Conflicts:     151000 | #Constraints:     191003
409.01/410.08	c bounds -622 >= -958 @ 405.281
409.11/410.11	c bounds -623 >= -958 @ 405.307
409.11/410.13	c bounds -624 >= -958 @ 405.333
409.11/410.16	c bounds -625 >= -958 @ 405.358
409.11/410.18	c bounds -626 >= -958 @ 405.384
409.20/410.21	c bounds -627 >= -958 @ 405.411
409.80/410.89	c bounds -632 >= -958 @ 406.089
410.20/411.25	c bounds -635 >= -958 @ 406.443
411.00/412.07	c bounds -636 >= -958 @ 407.256
411.00/412.10	c bounds -637 >= -958 @ 407.284
411.10/412.13	c bounds -638 >= -958 @ 407.313
412.10/413.19	c #Conflicts:     152000 | #Constraints:     192014
412.10/413.19	c bounds -639 >= -958 @ 408.368
412.19/413.22	c bounds -640 >= -958 @ 408.397
412.30/413.31	c bounds -641 >= -958 @ 408.484
412.30/413.34	c bounds -642 >= -958 @ 408.513
412.30/413.37	c bounds -643 >= -958 @ 408.54
412.30/413.39	c bounds -644 >= -958 @ 408.569
414.00/415.03	c bounds -645 >= -958 @ 410.202
415.59/416.66	c #Conflicts:     153000 | #Constraints:     193021
415.59/416.66	c #Conflicts:     154000 | #Constraints:     194021
415.59/416.66	c #Conflicts:     155000 | #Constraints:     195021
415.59/416.66	c bounds -645 >= -957 @ 411.819
416.68/417.73	c bounds -646 >= -957 @ 412.879
416.68/417.78	c bounds -647 >= -957 @ 412.923
418.09/419.13	c bounds -648 >= -957 @ 414.269
420.28/421.38	c #Conflicts:     156000 | #Constraints:     196075
420.28/421.38	c #Conflicts:     157000 | #Constraints:     197075
420.28/421.38	c #Conflicts:     158000 | #Constraints:     198075
420.28/421.38	c #Conflicts:     159000 | #Constraints:     199075
420.28/421.38	c bounds -648 >= -956 @ 416.505
424.97/426.10	c INPROCESSING
424.97/426.10	c GARBAGE COLLECT
424.97/426.10	c #Conflicts:     160000 | #Constraints:     186341
424.97/426.10	c #Conflicts:     161000 | #Constraints:     187341
424.97/426.10	c #Conflicts:     162000 | #Constraints:     188341
424.97/426.10	c #Conflicts:     163000 | #Constraints:     189341
424.97/426.10	c bounds -648 >= -955 @ 421.177
447.21/448.33	c #Conflicts:     164000 | #Constraints:     190395
447.21/448.33	c #Conflicts:     165000 | #Constraints:     191395
447.21/448.33	c #Conflicts:     166000 | #Constraints:     192395
447.21/448.33	c #Conflicts:     167000 | #Constraints:     193395
447.21/448.33	c #Conflicts:     168000 | #Constraints:     194395
447.21/448.33	c #Conflicts:     169000 | #Constraints:     195395
447.21/448.33	c INPROCESSING
447.21/448.33	c GARBAGE COLLECT
447.21/448.33	c #Conflicts:     170000 | #Constraints:     184612
447.21/448.33	c #Conflicts:     171000 | #Constraints:     185612
447.21/448.33	c #Conflicts:     172000 | #Constraints:     186612
447.21/448.33	c #Conflicts:     173000 | #Constraints:     187612
447.21/448.33	c #Conflicts:     174000 | #Constraints:     188612
447.21/448.33	c bounds -648 >= -954 @ 443.262
754.15/756.02	c #Conflicts:     175000 | #Constraints:     189678
754.15/756.02	c #Conflicts:     176000 | #Constraints:     190678
754.15/756.02	c #Conflicts:     177000 | #Constraints:     191678
754.15/756.02	c #Conflicts:     178000 | #Constraints:     192678
754.15/756.02	c #Conflicts:     179000 | #Constraints:     193678
754.15/756.02	c #Conflicts:     180000 | #Constraints:     194678
754.15/756.02	c bounds -648 >= -953 @ 749.489
756.84/758.72	c #Conflicts:     181000 | #Constraints:     195714
756.84/758.72	c #Conflicts:     182000 | #Constraints:     196714
756.84/758.72	c #Conflicts:     183000 | #Constraints:     197714
756.84/758.72	c #Conflicts:     184000 | #Constraints:     198714
756.84/758.72	c bounds -648 >= -952 @ 752.167
759.25/761.19	c #Conflicts:     185000 | #Constraints:     199747
759.25/761.19	c #Conflicts:     186000 | #Constraints:     200747
759.25/761.19	c #Conflicts:     187000 | #Constraints:     201747
759.25/761.19	c #Conflicts:     188000 | #Constraints:     202747
759.25/761.19	c bounds -648 >= -951 @ 754.616
761.83/763.76	c #Conflicts:     189000 | #Constraints:     203780
761.83/763.76	c #Conflicts:     190000 | #Constraints:     204780
761.83/763.76	c #Conflicts:     191000 | #Constraints:     205780
761.83/763.76	c bounds -648 >= -950 @ 757.173
765.33/767.26	c #Conflicts:     192000 | #Constraints:     206807
765.33/767.26	c #Conflicts:     193000 | #Constraints:     207807
765.33/767.26	c #Conflicts:     194000 | #Constraints:     208807
765.33/767.26	c #Conflicts:     195000 | #Constraints:     209807
765.33/767.26	c #Conflicts:     196000 | #Constraints:     210807
765.33/767.26	c bounds -648 >= -949 @ 760.641
856.11/858.29	c #Conflicts:     197000 | #Constraints:     211849
856.11/858.29	c #Conflicts:     198000 | #Constraints:     212849
856.11/858.29	c #Conflicts:     199000 | #Constraints:     213849
856.11/858.29	c #Conflicts:     200000 | #Constraints:     214849
856.11/858.29	c INPROCESSING
856.11/858.29	c GARBAGE COLLECT
856.11/858.29	c rational objective -783.269
858.61/860.72	c #Conflicts:     201000 | #Constraints:     194305
858.61/860.72	c bounds -648 >= -948 @ 853.545
863.20/865.30	c #Conflicts:     202000 | #Constraints:     195353
863.20/865.30	c #Conflicts:     203000 | #Constraints:     196353
863.20/865.30	c #Conflicts:     204000 | #Constraints:     197353
863.20/865.30	c #Conflicts:     205000 | #Constraints:     198353
863.20/865.30	c #Conflicts:     206000 | #Constraints:     199353
863.20/865.30	c #Conflicts:     207000 | #Constraints:     200353
863.20/865.30	c #Conflicts:     208000 | #Constraints:     201353
863.20/865.30	c bounds -648 >= -947 @ 858.075
869.18/871.33	c #Conflicts:     209000 | #Constraints:     202416
869.18/871.33	c #Conflicts:     210000 | #Constraints:     203416
869.18/871.33	c #Conflicts:     211000 | #Constraints:     204416
869.18/871.33	c INPROCESSING
869.18/871.33	c GARBAGE COLLECT
869.18/871.33	c #Conflicts:     212000 | #Constraints:     189108
869.18/871.33	c #Conflicts:     213000 | #Constraints:     190108
869.18/871.33	c #Conflicts:     214000 | #Constraints:     191108
869.18/871.33	c #Conflicts:     215000 | #Constraints:     192108
869.18/871.33	c #Conflicts:     216000 | #Constraints:     193108
869.18/871.33	c #Conflicts:     217000 | #Constraints:     194108
869.18/871.33	c #Conflicts:     218000 | #Constraints:     195108
869.18/871.33	c bounds -648 >= -946 @ 864.058
871.77/873.92	c bounds -649 >= -946 @ 866.645
876.67/878.88	c #Conflicts:     219000 | #Constraints:     196199
876.67/878.88	c #Conflicts:     220000 | #Constraints:     197199
876.67/878.88	c #Conflicts:     221000 | #Constraints:     198199
876.67/878.88	c #Conflicts:     222000 | #Constraints:     199199
876.67/878.88	c INPROCESSING
876.67/878.88	c GARBAGE COLLECT
876.67/878.88	c #Conflicts:     223000 | #Constraints:     186363
876.67/878.88	c bounds -650 >= -946 @ 871.559
893.62/895.82	c #Conflicts:     224000 | #Constraints:     187364
893.62/895.82	c #Conflicts:     225000 | #Constraints:     188364
893.62/895.82	c #Conflicts:     226000 | #Constraints:     189364
893.62/895.82	c #Conflicts:     227000 | #Constraints:     190364
893.62/895.82	c #Conflicts:     228000 | #Constraints:     191364
893.62/895.82	c bounds -651 >= -946 @ 888.423
904.59/906.88	c #Conflicts:     229000 | #Constraints:     192365
904.59/906.88	c #Conflicts:     230000 | #Constraints:     193365
904.59/906.88	c #Conflicts:     231000 | #Constraints:     194365
904.59/906.88	c #Conflicts:     232000 | #Constraints:     195365
904.59/906.88	c #Conflicts:     233000 | #Constraints:     196365
904.59/906.88	c #Conflicts:     234000 | #Constraints:     197365
904.59/906.88	c #Conflicts:     235000 | #Constraints:     198365
904.59/906.88	c #Conflicts:     236000 | #Constraints:     199365
904.59/906.88	c #Conflicts:     237000 | #Constraints:     200365
904.59/906.88	c #Conflicts:     238000 | #Constraints:     201365
904.59/906.88	c #Conflicts:     239000 | #Constraints:     202365
904.59/906.88	c #Conflicts:     240000 | #Constraints:     203365
904.59/906.88	c #Conflicts:     241000 | #Constraints:     204365
904.59/906.88	c #Conflicts:     242000 | #Constraints:     205365
904.59/906.88	c #Conflicts:     243000 | #Constraints:     206365
904.59/906.88	c bounds -651 >= -945 @ 899.388
916.87/919.18	c #Conflicts:     244000 | #Constraints:     207461
916.87/919.18	c #Conflicts:     245000 | #Constraints:     208461
916.87/919.18	c #Conflicts:     246000 | #Constraints:     209461
916.87/919.18	c #Conflicts:     247000 | #Constraints:     210461
916.87/919.18	c #Conflicts:     248000 | #Constraints:     211461
916.87/919.18	c #Conflicts:     249000 | #Constraints:     212461
916.87/919.18	c #Conflicts:     250000 | #Constraints:     213461
916.87/919.18	c #Conflicts:     251000 | #Constraints:     214461
916.87/919.18	c #Conflicts:     252000 | #Constraints:     215461
916.87/919.18	c #Conflicts:     253000 | #Constraints:     216461
916.87/919.18	c #Conflicts:     254000 | #Constraints:     217461
916.87/919.18	c #Conflicts:     255000 | #Constraints:     218461
916.87/919.18	c #Conflicts:     256000 | #Constraints:     219461
916.87/919.18	c bounds -651 >= -944 @ 911.593
917.16/919.43	c bounds -652 >= -944 @ 911.848
1018.63/1021.19	c #Conflicts:     257000 | #Constraints:     220525
1018.63/1021.19	c INPROCESSING
1018.63/1021.19	c GARBAGE COLLECT
1018.63/1021.19	c rational objective -782.269
1020.12/1022.64	c bounds -653 >= -944 @ 1014.46
1021.52/1024.02	c #Conflicts:     258000 | #Constraints:     197264
1021.52/1024.02	c bounds -654 >= -944 @ 1015.83
1021.52/1024.05	c bounds -655 >= -944 @ 1015.86
1021.52/1024.07	c bounds -656 >= -944 @ 1015.88
1021.52/1024.10	c bounds -657 >= -944 @ 1015.91
1021.63/1024.12	c bounds -658 >= -944 @ 1015.93
1021.72/1024.28	c bounds -659 >= -944 @ 1016.08
1021.82/1024.30	c bounds -661 >= -944 @ 1016.11
1021.82/1024.33	c bounds -663 >= -944 @ 1016.13
1021.82/1024.36	c bounds -664 >= -944 @ 1016.16
1022.92/1025.50	c bounds -665 >= -944 @ 1017.29
1023.02/1025.59	c bounds -666 >= -944 @ 1017.39
1024.11/1026.67	c bounds -669 >= -944 @ 1018.46
1024.62/1027.12	c bounds -670 >= -944 @ 1018.9
1024.62/1027.15	c bounds -671 >= -944 @ 1018.93
1024.62/1027.18	c bounds -672 >= -944 @ 1018.95
1026.21/1028.73	c #Conflicts:     259000 | #Constraints:     198279
1026.21/1028.73	c bounds -673 >= -944 @ 1020.5
1026.21/1028.76	c bounds -674 >= -944 @ 1020.53
1026.21/1028.78	c bounds -675 >= -944 @ 1020.55
1026.31/1028.81	c bounds -676 >= -944 @ 1020.58
1026.31/1028.84	c bounds -677 >= -944 @ 1020.61
1027.41/1029.98	c bounds -678 >= -944 @ 1021.74
1027.51/1030.00	c bounds -679 >= -944 @ 1021.77
1027.51/1030.03	c bounds -680 >= -944 @ 1021.8
1027.61/1030.17	c bounds -681 >= -944 @ 1021.93
1027.70/1030.20	c bounds -682 >= -944 @ 1021.96
1027.70/1030.22	c bounds -686 >= -944 @ 1021.99
1028.90/1031.41	c #Conflicts:     260000 | #Constraints:     199290
1028.90/1031.41	c bounds -687 >= -944 @ 1023.16
1029.20/1031.76	c bounds -688 >= -944 @ 1023.5
1031.30/1033.85	c bounds -690 >= -944 @ 1025.59
1045.16/1047.71	c #Conflicts:     261000 | #Constraints:     200293
1045.16/1047.71	c #Conflicts:     262000 | #Constraints:     201293
1045.16/1047.71	c #Conflicts:     263000 | #Constraints:     202293
1045.16/1047.71	c #Conflicts:     264000 | #Constraints:     203293
1045.16/1047.71	c #Conflicts:     265000 | #Constraints:     204293
1045.16/1047.71	c #Conflicts:     266000 | #Constraints:     205293
1045.16/1047.71	c #Conflicts:     267000 | #Constraints:     206293
1045.16/1047.71	c #Conflicts:     268000 | #Constraints:     207293
1045.16/1047.71	c #Conflicts:     269000 | #Constraints:     208293
1045.16/1047.71	c #Conflicts:     270000 | #Constraints:     209293
1045.16/1047.71	c INPROCESSING
1045.16/1047.71	c GARBAGE COLLECT
1045.16/1047.71	c #Conflicts:     271000 | #Constraints:     191633
1045.16/1047.71	c #Conflicts:     272000 | #Constraints:     192633
1045.16/1047.71	c bounds -691 >= -944 @ 1039.35
1045.16/1047.73	c bounds -692 >= -944 @ 1039.38
1045.27/1047.81	c bounds -693 >= -944 @ 1039.45
1045.27/1047.83	c bounds -694 >= -944 @ 1039.47
1045.27/1047.86	c bounds -695 >= -944 @ 1039.5
1045.27/1047.88	c bounds -696 >= -944 @ 1039.52
1045.36/1047.91	c bounds -698 >= -944 @ 1039.55
1056.63/1059.25	c #Conflicts:     273000 | #Constraints:     193640
1056.63/1059.25	c #Conflicts:     274000 | #Constraints:     194640
1056.63/1059.25	c #Conflicts:     275000 | #Constraints:     195640
1056.63/1059.25	c bounds -700 >= -944 @ 1050.84
1198.42/1201.38	c #Conflicts:     276000 | #Constraints:     196641
1198.42/1201.38	c #Conflicts:     277000 | #Constraints:     197641
1198.42/1201.38	c #Conflicts:     278000 | #Constraints:     198641
1198.42/1201.38	c #Conflicts:     279000 | #Constraints:     199641
1198.42/1201.38	c #Conflicts:     280000 | #Constraints:     200641
1198.42/1201.38	c #Conflicts:     281000 | #Constraints:     201641
1198.42/1201.38	c #Conflicts:     282000 | #Constraints:     202641
1198.42/1201.38	c INPROCESSING
1198.42/1201.38	c GARBAGE COLLECT
1198.42/1201.38	c #Conflicts:     283000 | #Constraints:     187948
1198.42/1201.38	c #Conflicts:     284000 | #Constraints:     188948
1198.42/1201.38	c #Conflicts:     285000 | #Constraints:     189948
1198.42/1201.38	c #Conflicts:     286000 | #Constraints:     190948
1198.42/1201.38	c #Conflicts:     287000 | #Constraints:     191948
1198.42/1201.38	c #Conflicts:     288000 | #Constraints:     192948
1198.42/1201.38	c #Conflicts:     289000 | #Constraints:     193948
1198.42/1201.38	c #Conflicts:     290000 | #Constraints:     194948
1198.42/1201.38	c #Conflicts:     291000 | #Constraints:     195948
1198.42/1201.38	c bounds -700 >= -943 @ 1192.1
1199.41/1202.32	c bounds -701 >= -943 @ 1193.04
1199.41/1202.34	c bounds -702 >= -943 @ 1193.06
1199.41/1202.37	c bounds -703 >= -943 @ 1193.09
1199.41/1202.39	c bounds -704 >= -943 @ 1193.11
1199.51/1202.42	c bounds -705 >= -943 @ 1193.14
1208.69/1211.66	c #Conflicts:     292000 | #Constraints:     197067
1208.69/1211.66	c #Conflicts:     293000 | #Constraints:     198067
1208.69/1211.66	c #Conflicts:     294000 | #Constraints:     199067
1208.69/1211.66	c bounds -706 >= -943 @ 1202.34
1223.86/1226.85	c #Conflicts:     295000 | #Constraints:     200068
1223.86/1226.85	c #Conflicts:     296000 | #Constraints:     201068
1223.86/1226.85	c #Conflicts:     297000 | #Constraints:     202068
1223.86/1226.85	c #Conflicts:     298000 | #Constraints:     203068
1223.86/1226.85	c #Conflicts:     299000 | #Constraints:     204068
1223.86/1226.85	c #Conflicts:     300000 | #Constraints:     205068
1223.86/1226.85	c #Conflicts:     301000 | #Constraints:     206068
1223.86/1226.85	c #Conflicts:     302000 | #Constraints:     207068
1223.86/1226.85	c #Conflicts:     303000 | #Constraints:     208068
1223.86/1226.85	c #Conflicts:     304000 | #Constraints:     209068
1223.86/1226.85	c #Conflicts:     305000 | #Constraints:     210068
1223.86/1226.85	c #Conflicts:     306000 | #Constraints:     211068
1223.86/1226.85	c #Conflicts:     307000 | #Constraints:     212068
1223.86/1226.85	c #Conflicts:     308000 | #Constraints:     213068
1223.86/1226.85	c #Conflicts:     309000 | #Constraints:     214068
1223.86/1226.85	c #Conflicts:     310000 | #Constraints:     215068
1223.86/1226.85	c #Conflicts:     311000 | #Constraints:     216068
1223.86/1226.85	c bounds -706 >= -942 @ 1217.41
1233.93/1236.96	c #Conflicts:     312000 | #Constraints:     217101
1233.93/1236.96	c #Conflicts:     313000 | #Constraints:     218101
1233.93/1236.96	c #Conflicts:     314000 | #Constraints:     219101
1233.93/1236.96	c bounds -708 >= -942 @ 1227.48
1234.93/1237.97	c bounds -709 >= -942 @ 1228.48
1235.13/1238.14	c bounds -710 >= -942 @ 1228.64
1235.13/1238.17	c bounds -711 >= -942 @ 1228.68
1235.22/1238.21	c bounds -712 >= -942 @ 1228.71
1235.22/1238.25	c bounds -713 >= -942 @ 1228.75
1235.22/1238.29	c bounds -714 >= -942 @ 1228.79
1235.32/1238.33	c bounds -716 >= -942 @ 1228.82
1238.71/1241.73	c #Conflicts:     315000 | #Constraints:     220109
1238.71/1241.73	c bounds -720 >= -942 @ 1232.21
1238.92/1241.90	c bounds -721 >= -942 @ 1232.37
1239.91/1242.91	c bounds -730 >= -942 @ 1233.38
1389.67/1393.09	c #Conflicts:     316000 | #Constraints:     221112
1389.67/1393.09	c #Conflicts:     317000 | #Constraints:     222112
1389.67/1393.09	c #Conflicts:     318000 | #Constraints:     223112
1389.67/1393.09	c #Conflicts:     319000 | #Constraints:     224112
1389.67/1393.09	c #Conflicts:     320000 | #Constraints:     225112
1389.67/1393.09	c #Conflicts:     321000 | #Constraints:     226112
1389.67/1393.09	c INPROCESSING
1389.67/1393.09	c GARBAGE COLLECT
1389.67/1393.09	c rational objective -781.262
1543.11/1546.82	c #Conflicts:     322000 | #Constraints:     199886
1543.11/1546.82	c #Conflicts:     323000 | #Constraints:     200886
1543.11/1546.82	c #Conflicts:     324000 | #Constraints:     201886
1543.11/1546.82	c #Conflicts:     325000 | #Constraints:     202886
1543.11/1546.82	c #Conflicts:     326000 | #Constraints:     203886
1543.11/1546.82	c #Conflicts:     327000 | #Constraints:     204886
1543.11/1546.82	c #Conflicts:     328000 | #Constraints:     205886
1543.11/1546.82	c #Conflicts:     329000 | #Constraints:     206886
1543.11/1546.82	c #Conflicts:     330000 | #Constraints:     207886
1543.11/1546.82	c #Conflicts:     331000 | #Constraints:     208886
1543.11/1546.82	c #Conflicts:     332000 | #Constraints:     209886
1543.11/1546.82	c #Conflicts:     333000 | #Constraints:     210886
1543.11/1546.82	c #Conflicts:     334000 | #Constraints:     211886
1543.11/1546.82	c #Conflicts:     335000 | #Constraints:     212886
1543.11/1546.82	c #Conflicts:     336000 | #Constraints:     213886
1543.11/1546.82	c INPROCESSING
1543.11/1546.82	c GARBAGE COLLECT
1543.11/1546.82	c #Conflicts:     337000 | #Constraints:     193933
1543.11/1546.82	c #Conflicts:     338000 | #Constraints:     194933
1543.11/1546.82	c #Conflicts:     339000 | #Constraints:     195933
1543.11/1546.82	c #Conflicts:     340000 | #Constraints:     196933
1543.11/1546.82	c #Conflicts:     341000 | #Constraints:     197933
1543.11/1546.82	c #Conflicts:     342000 | #Constraints:     198933
1543.11/1546.82	c #Conflicts:     343000 | #Constraints:     199933
1543.11/1546.82	c #Conflicts:     344000 | #Constraints:     200933
1543.11/1546.82	c #Conflicts:     345000 | #Constraints:     201933
1543.11/1546.82	c #Conflicts:     346000 | #Constraints:     202933
1543.11/1546.82	c #Conflicts:     347000 | #Constraints:     203933
1543.11/1546.82	c #Conflicts:     348000 | #Constraints:     204933
1543.11/1546.82	c #Conflicts:     349000 | #Constraints:     205933
1543.11/1546.82	c bounds -730 >= -941 @ 1535.66
1551.98/1555.74	c #Conflicts:     350000 | #Constraints:     206993
1551.98/1555.74	c INPROCESSING
1551.98/1555.74	c GARBAGE COLLECT
1551.98/1555.74	c #Conflicts:     351000 | #Constraints:     189033
1551.98/1555.74	c #Conflicts:     352000 | #Constraints:     190033
1551.98/1555.74	c #Conflicts:     353000 | #Constraints:     191033
1551.98/1555.74	c #Conflicts:     354000 | #Constraints:     192033
1551.98/1555.74	c #Conflicts:     355000 | #Constraints:     193033
1551.98/1555.74	c #Conflicts:     356000 | #Constraints:     194033
1551.98/1555.74	c #Conflicts:     357000 | #Constraints:     195033
1551.98/1555.74	c #Conflicts:     358000 | #Constraints:     196033
1551.98/1555.74	c #Conflicts:     359000 | #Constraints:     197033
1551.98/1555.74	c #Conflicts:     360000 | #Constraints:     198033
1551.98/1555.74	c bounds -730 >= -940 @ 1544.53
1565.56/1569.31	c #Conflicts:     361000 | #Constraints:     199135
1565.56/1569.31	c #Conflicts:     362000 | #Constraints:     200135
1565.56/1569.31	c #Conflicts:     363000 | #Constraints:     201135
1565.56/1569.31	c #Conflicts:     364000 | #Constraints:     202135
1565.56/1569.31	c #Conflicts:     365000 | #Constraints:     203135
1565.56/1569.31	c #Conflicts:     366000 | #Constraints:     204135
1565.56/1569.31	c #Conflicts:     367000 | #Constraints:     205135
1565.56/1569.31	c #Conflicts:     368000 | #Constraints:     206135
1565.56/1569.31	c #Conflicts:     369000 | #Constraints:     207135
1565.56/1569.31	c #Conflicts:     370000 | #Constraints:     208135
1565.56/1569.31	c #Conflicts:     371000 | #Constraints:     209135
1565.56/1569.31	c #Conflicts:     372000 | #Constraints:     210135
1565.56/1569.31	c #Conflicts:     373000 | #Constraints:     211135
1565.56/1569.31	c #Conflicts:     374000 | #Constraints:     212135
1565.56/1569.31	c bounds -730 >= -939 @ 1558.01
1578.63/1582.40	c #Conflicts:     375000 | #Constraints:     213165
1578.63/1582.40	c #Conflicts:     376000 | #Constraints:     214165
1578.63/1582.40	c #Conflicts:     377000 | #Constraints:     215165
1578.63/1582.40	c #Conflicts:     378000 | #Constraints:     216165
1578.63/1582.40	c bounds -731 >= -939 @ 1571.06
1593.69/1597.54	c #Conflicts:     379000 | #Constraints:     217166
1593.69/1597.54	c #Conflicts:     380000 | #Constraints:     218166
1593.69/1597.54	c #Conflicts:     381000 | #Constraints:     219166
1593.69/1597.54	c #Conflicts:     382000 | #Constraints:     220166
1593.69/1597.54	c #Conflicts:     383000 | #Constraints:     221166
1593.69/1597.54	c #Conflicts:     384000 | #Constraints:     222166
1593.69/1597.54	c #Conflicts:     385000 | #Constraints:     223166
1593.69/1597.54	c #Conflicts:     386000 | #Constraints:     224166
1593.69/1597.54	c #Conflicts:     387000 | #Constraints:     225166
1593.69/1597.54	c #Conflicts:     388000 | #Constraints:     226166
1593.69/1597.54	c #Conflicts:     389000 | #Constraints:     227166
1593.69/1597.54	c #Conflicts:     390000 | #Constraints:     228166
1593.69/1597.54	c bounds -731 >= -938 @ 1586.12
1596.88/1600.79	c #Conflicts:     391000 | #Constraints:     229205
1596.88/1600.79	c bounds -732 >= -938 @ 1589.36
1792.53/1796.88	c #Conflicts:     392000 | #Constraints:     230206
1792.53/1796.88	c #Conflicts:     393000 | #Constraints:     231206
1792.53/1796.88	c INPROCESSING
1792.53/1796.88	c GARBAGE COLLECT
1792.53/1796.88	c rational objective -779.077
1806.10/1810.45	c #Conflicts:     394000 | #Constraints:     202276
1806.10/1810.45	c #Conflicts:     395000 | #Constraints:     203276
1806.10/1810.45	c #Conflicts:     396000 | #Constraints:     204276
1806.10/1810.45	c #Conflicts:     397000 | #Constraints:     205276
1806.10/1810.45	c #Conflicts:     398000 | #Constraints:     206276
1806.10/1810.45	c #Conflicts:     399000 | #Constraints:     207276
1806.10/1810.45	c #Conflicts:     400000 | #Constraints:     208276
1806.10/1810.45	c #Conflicts:     401000 | #Constraints:     209276
1806.10/1810.45	c #Conflicts:     402000 | #Constraints:     210276
1806.10/1810.45	c #Conflicts:     403000 | #Constraints:     211276
1806.10/1810.45	c #Conflicts:     404000 | #Constraints:     212276
1806.10/1810.45	c bounds -732 >= -937 @ 1797.94
2021.15/2026.04	c #Conflicts:     405000 | #Constraints:     213318
2021.15/2026.04	c #Conflicts:     406000 | #Constraints:     214318
2021.15/2026.04	c #Conflicts:     407000 | #Constraints:     215318
2021.15/2026.04	c #Conflicts:     408000 | #Constraints:     216318
2021.15/2026.04	c #Conflicts:     409000 | #Constraints:     217318
2021.15/2026.04	c INPROCESSING
2021.15/2026.04	c GARBAGE COLLECT
2021.15/2026.04	c #Conflicts:     410000 | #Constraints:     195894
2021.15/2026.04	c #Conflicts:     411000 | #Constraints:     196894
2021.15/2026.04	c #Conflicts:     412000 | #Constraints:     197894
2021.15/2026.04	c #Conflicts:     413000 | #Constraints:     198894
2021.15/2026.04	c #Conflicts:     414000 | #Constraints:     199894
2021.15/2026.04	c #Conflicts:     415000 | #Constraints:     200894
2021.15/2026.04	c #Conflicts:     416000 | #Constraints:     201894
2021.15/2026.04	c #Conflicts:     417000 | #Constraints:     202894
2021.15/2026.04	c #Conflicts:     418000 | #Constraints:     203894
2021.15/2026.04	c bounds -732 >= -936 @ 2012.45
2125.39/2130.59	c #Conflicts:     419000 | #Constraints:     204939
2125.39/2130.59	c #Conflicts:     420000 | #Constraints:     205939
2125.39/2130.59	c #Conflicts:     421000 | #Constraints:     206939
2125.39/2130.59	c #Conflicts:     422000 | #Constraints:     207939
2125.39/2130.59	c #Conflicts:     423000 | #Constraints:     208939
2125.39/2130.59	c #Conflicts:     424000 | #Constraints:     209939
2125.39/2130.59	c #Conflicts:     425000 | #Constraints:     210939
2125.39/2130.59	c INPROCESSING
2125.39/2130.59	c GARBAGE COLLECT
2125.39/2130.59	c #Conflicts:     426000 | #Constraints:     192498
2125.39/2130.59	c #Conflicts:     427000 | #Constraints:     193498
2125.39/2130.59	c bounds -732 >= -935 @ 2116.34
2131.57/2136.76	c #Conflicts:     428000 | #Constraints:     194567
2131.57/2136.76	c #Conflicts:     429000 | #Constraints:     195567
2131.57/2136.76	c #Conflicts:     430000 | #Constraints:     196567
2131.57/2136.76	c #Conflicts:     431000 | #Constraints:     197567
2131.57/2136.76	c #Conflicts:     432000 | #Constraints:     198567
2131.57/2136.76	c #Conflicts:     433000 | #Constraints:     199567
2131.57/2136.76	c #Conflicts:     434000 | #Constraints:     200567
2131.57/2136.76	c #Conflicts:     435000 | #Constraints:     201567
2131.57/2136.76	c bounds -732 >= -934 @ 2122.48
2377.95/2383.73	c #Conflicts:     436000 | #Constraints:     202615
2377.95/2383.73	c #Conflicts:     437000 | #Constraints:     203615
2377.95/2383.73	c #Conflicts:     438000 | #Constraints:     204615
2377.95/2383.73	c #Conflicts:     439000 | #Constraints:     205615
2377.95/2383.73	c #Conflicts:     440000 | #Constraints:     206615
2377.95/2383.73	c #Conflicts:     441000 | #Constraints:     207615
2377.95/2383.73	c INPROCESSING
2377.95/2383.73	c GARBAGE COLLECT
2377.95/2383.73	c #Conflicts:     442000 | #Constraints:     190880
2377.95/2383.73	c #Conflicts:     443000 | #Constraints:     191880
2377.95/2383.73	c #Conflicts:     444000 | #Constraints:     192880
2377.95/2383.73	c #Conflicts:     445000 | #Constraints:     193880
2377.95/2383.73	c #Conflicts:     446000 | #Constraints:     194880
2377.95/2383.73	c #Conflicts:     447000 | #Constraints:     195880
2377.95/2383.73	c #Conflicts:     448000 | #Constraints:     196880
2377.95/2383.73	c #Conflicts:     449000 | #Constraints:     197880
2377.95/2383.73	c #Conflicts:     450000 | #Constraints:     198880
2377.95/2383.73	c #Conflicts:     451000 | #Constraints:     199880
2377.95/2383.73	c #Conflicts:     452000 | #Constraints:     200880
2377.95/2383.73	c #Conflicts:     453000 | #Constraints:     201880
2377.95/2383.73	c #Conflicts:     454000 | #Constraints:     202880
2377.95/2383.73	c #Conflicts:     455000 | #Constraints:     203880
2377.95/2383.73	c #Conflicts:     456000 | #Constraints:     204880
2377.95/2383.73	c #Conflicts:     457000 | #Constraints:     205880
2377.95/2383.73	c #Conflicts:     458000 | #Constraints:     206880
2377.95/2383.73	c #Conflicts:     459000 | #Constraints:     207880
2377.95/2383.73	c #Conflicts:     460000 | #Constraints:     208880
2377.95/2383.73	c #Conflicts:     461000 | #Constraints:     209880
2377.95/2383.73	c #Conflicts:     462000 | #Constraints:     210880
2377.95/2383.73	c #Conflicts:     463000 | #Constraints:     211880
2377.95/2383.73	c #Conflicts:     464000 | #Constraints:     212880
2377.95/2383.73	c #Conflicts:     465000 | #Constraints:     213880
2377.95/2383.73	c #Conflicts:     466000 | #Constraints:     214880
2377.95/2383.73	c #Conflicts:     467000 | #Constraints:     215880
2377.95/2383.73	c #Conflicts:     468000 | #Constraints:     216880
2377.95/2383.73	c #Conflicts:     469000 | #Constraints:     217880
2377.95/2383.73	c #Conflicts:     470000 | #Constraints:     218880
2377.95/2383.73	c #Conflicts:     471000 | #Constraints:     219880
2377.95/2383.73	c #Conflicts:     472000 | #Constraints:     220880
2377.95/2383.73	c #Conflicts:     473000 | #Constraints:     221880
2377.95/2383.73	c #Conflicts:     474000 | #Constraints:     222880
2377.95/2383.73	c #Conflicts:     475000 | #Constraints:     223880
2377.95/2383.73	c #Conflicts:     476000 | #Constraints:     224880
2377.95/2383.73	c #Conflicts:     477000 | #Constraints:     225880
2377.95/2383.73	c #Conflicts:     478000 | #Constraints:     226880
2377.95/2383.73	c #Conflicts:     479000 | #Constraints:     227880
2377.95/2383.73	c bounds -733 >= -934 @ 2368.48
2384.83/2390.60	c #Conflicts:     480000 | #Constraints:     228881
2384.83/2390.60	c #Conflicts:     481000 | #Constraints:     229881
2384.83/2390.60	c #Conflicts:     482000 | #Constraints:     230881
2384.83/2390.60	c #Conflicts:     483000 | #Constraints:     231881
2384.83/2390.60	c #Conflicts:     484000 | #Constraints:     232881
2384.83/2390.60	c #Conflicts:     485000 | #Constraints:     233881
2384.83/2390.60	c bounds -733 >= -933 @ 2375.31
2663.34/2669.80	c #Conflicts:     486000 | #Constraints:     234944
2663.34/2669.80	c #Conflicts:     487000 | #Constraints:     235944
2663.34/2669.80	c #Conflicts:     488000 | #Constraints:     236944
2663.34/2669.80	c #Conflicts:     489000 | #Constraints:     237944
2663.34/2669.80	c INPROCESSING
2663.34/2669.80	c GARBAGE COLLECT
2663.34/2669.80	c #Conflicts:     490000 | #Constraints:     205775
2663.34/2669.80	c #Conflicts:     491000 | #Constraints:     206775
2663.34/2669.80	c #Conflicts:     492000 | #Constraints:     207775
2663.34/2669.80	c #Conflicts:     493000 | #Constraints:     208775
2663.34/2669.80	c #Conflicts:     494000 | #Constraints:     209775
2663.34/2669.80	c bounds -733 >= -932 @ 2653.23
2922.84/2929.91	c #Conflicts:     495000 | #Constraints:     210826
2922.84/2929.91	c #Conflicts:     496000 | #Constraints:     211826
2922.84/2929.91	c #Conflicts:     497000 | #Constraints:     212826
2922.84/2929.91	c #Conflicts:     498000 | #Constraints:     213826
2922.84/2929.91	c #Conflicts:     499000 | #Constraints:     214826
2922.84/2929.91	c #Conflicts:     500000 | #Constraints:     215826
2922.84/2929.91	c #Conflicts:     501000 | #Constraints:     216826
2922.84/2929.91	c bounds -733 >= -931 @ 2912.12
2929.72/2936.81	c #Conflicts:     502000 | #Constraints:     217862
2929.72/2936.81	c #Conflicts:     503000 | #Constraints:     218862
2929.72/2936.81	c #Conflicts:     504000 | #Constraints:     219862
2929.72/2936.81	c #Conflicts:     505000 | #Constraints:     220862
2929.72/2936.81	c #Conflicts:     506000 | #Constraints:     221862
2929.72/2936.81	c INPROCESSING
2929.72/2936.81	c GARBAGE COLLECT
2929.72/2936.81	c #Conflicts:     507000 | #Constraints:     197597
2929.72/2936.81	c #Conflicts:     508000 | #Constraints:     198597
2929.72/2936.81	c bounds -733 >= -930 @ 2918.96
2939.39/2946.56	c #Conflicts:     509000 | #Constraints:     199645
2939.39/2946.56	c #Conflicts:     510000 | #Constraints:     200645
2939.39/2946.56	c #Conflicts:     511000 | #Constraints:     201645
2939.39/2946.56	c #Conflicts:     512000 | #Constraints:     202645
2939.39/2946.56	c #Conflicts:     513000 | #Constraints:     203645
2939.39/2946.56	c #Conflicts:     514000 | #Constraints:     204645
2939.39/2946.56	c #Conflicts:     515000 | #Constraints:     205645
2939.39/2946.56	c #Conflicts:     516000 | #Constraints:     206645
2939.39/2946.56	c #Conflicts:     517000 | #Constraints:     207645
2939.39/2946.56	c #Conflicts:     518000 | #Constraints:     208645
2939.39/2946.56	c #Conflicts:     519000 | #Constraints:     209645
2939.39/2946.56	c bounds -733 >= -929 @ 2928.65
2955.45/2962.69	c #Conflicts:     520000 | #Constraints:     210693
2955.45/2962.69	c #Conflicts:     521000 | #Constraints:     211693
2955.45/2962.69	c #Conflicts:     522000 | #Constraints:     212693
2955.45/2962.69	c #Conflicts:     523000 | #Constraints:     213693
2955.45/2962.69	c #Conflicts:     524000 | #Constraints:     214693
2955.45/2962.69	c INPROCESSING
2955.45/2962.69	c GARBAGE COLLECT
2955.45/2962.69	c #Conflicts:     525000 | #Constraints:     194314
2955.45/2962.69	c #Conflicts:     526000 | #Constraints:     195314
2955.45/2962.69	c #Conflicts:     527000 | #Constraints:     196314
2955.45/2962.69	c #Conflicts:     528000 | #Constraints:     197314
2955.45/2962.69	c #Conflicts:     529000 | #Constraints:     198314
2955.45/2962.69	c #Conflicts:     530000 | #Constraints:     199314
2955.45/2962.69	c #Conflicts:     531000 | #Constraints:     200314
2955.45/2962.69	c #Conflicts:     532000 | #Constraints:     201314
2955.45/2962.69	c #Conflicts:     533000 | #Constraints:     202314
2955.45/2962.69	c #Conflicts:     534000 | #Constraints:     203314
2955.45/2962.69	c #Conflicts:     535000 | #Constraints:     204314
2955.45/2962.69	c #Conflicts:     536000 | #Constraints:     205314
2955.45/2962.69	c bounds -733 >= -928 @ 2944.67
2971.52/2978.72	c #Conflicts:     537000 | #Constraints:     206389
2971.52/2978.72	c #Conflicts:     538000 | #Constraints:     207389
2971.52/2978.72	c #Conflicts:     539000 | #Constraints:     208389
2971.52/2978.72	c #Conflicts:     540000 | #Constraints:     209389
2971.52/2978.72	c #Conflicts:     541000 | #Constraints:     210389
2971.52/2978.72	c #Conflicts:     542000 | #Constraints:     211389
2971.52/2978.72	c INPROCESSING
2971.52/2978.72	c GARBAGE COLLECT
2971.52/2978.72	c #Conflicts:     543000 | #Constraints:     192831
2971.52/2978.72	c #Conflicts:     544000 | #Constraints:     193831
2971.52/2978.72	c #Conflicts:     545000 | #Constraints:     194831
2971.52/2978.72	c #Conflicts:     546000 | #Constraints:     195831
2971.52/2978.72	c #Conflicts:     547000 | #Constraints:     196831
2971.52/2978.72	c #Conflicts:     548000 | #Constraints:     197831
2971.52/2978.72	c #Conflicts:     549000 | #Constraints:     198831
2971.52/2978.72	c #Conflicts:     550000 | #Constraints:     199831
2971.52/2978.72	c #Conflicts:     551000 | #Constraints:     200831
2971.52/2978.72	c #Conflicts:     552000 | #Constraints:     201831
2971.52/2978.72	c #Conflicts:     553000 | #Constraints:     202831
2971.52/2978.72	c bounds -733 >= -927 @ 2960.57
2993.96/3001.29	c #Conflicts:     554000 | #Constraints:     203900
2993.96/3001.29	c #Conflicts:     555000 | #Constraints:     204900
2993.96/3001.29	c #Conflicts:     556000 | #Constraints:     205900
2993.96/3001.29	c #Conflicts:     557000 | #Constraints:     206900
2993.96/3001.29	c #Conflicts:     558000 | #Constraints:     207900
2993.96/3001.29	c #Conflicts:     559000 | #Constraints:     208900
2993.96/3001.29	c #Conflicts:     560000 | #Constraints:     209900
2993.96/3001.29	c #Conflicts:     561000 | #Constraints:     210900
2993.96/3001.29	c #Conflicts:     562000 | #Constraints:     211900
2993.96/3001.29	c #Conflicts:     563000 | #Constraints:     212900
2993.96/3001.29	c #Conflicts:     564000 | #Constraints:     213900
2993.96/3001.29	c #Conflicts:     565000 | #Constraints:     214900
2993.96/3001.29	c #Conflicts:     566000 | #Constraints:     215900
2993.96/3001.29	c #Conflicts:     567000 | #Constraints:     216900
2993.96/3001.29	c #Conflicts:     568000 | #Constraints:     217900
2993.96/3001.29	c #Conflicts:     569000 | #Constraints:     218900
2993.96/3001.29	c #Conflicts:     570000 | #Constraints:     219900
2993.96/3001.29	c #Conflicts:     571000 | #Constraints:     220900
2993.96/3001.29	c bounds -733 >= -926 @ 2983.02
3013.21/3020.58	c #Conflicts:     572000 | #Constraints:     221936
3013.21/3020.58	c #Conflicts:     573000 | #Constraints:     222936
3013.21/3020.58	c #Conflicts:     574000 | #Constraints:     223936
3013.21/3020.58	c #Conflicts:     575000 | #Constraints:     224936
3013.21/3020.58	c #Conflicts:     576000 | #Constraints:     225936
3013.21/3020.58	c #Conflicts:     577000 | #Constraints:     226936
3013.21/3020.58	c #Conflicts:     578000 | #Constraints:     227936
3013.21/3020.58	c #Conflicts:     579000 | #Constraints:     228936
3013.21/3020.58	c #Conflicts:     580000 | #Constraints:     229936
3013.21/3020.58	c #Conflicts:     581000 | #Constraints:     230936
3013.21/3020.58	c #Conflicts:     582000 | #Constraints:     231936
3013.21/3020.58	c #Conflicts:     583000 | #Constraints:     232936
3013.21/3020.58	c #Conflicts:     584000 | #Constraints:     233936
3013.21/3020.58	c #Conflicts:     585000 | #Constraints:     234936
3013.21/3020.58	c bounds -733 >= -925 @ 3002.21
3032.47/3039.82	c #Conflicts:     586000 | #Constraints:     235966
3032.47/3039.82	c #Conflicts:     587000 | #Constraints:     236966
3032.47/3039.82	c #Conflicts:     588000 | #Constraints:     237966
3032.47/3039.82	c #Conflicts:     589000 | #Constraints:     238966
3032.47/3039.82	c #Conflicts:     590000 | #Constraints:     239966
3032.47/3039.82	c #Conflicts:     591000 | #Constraints:     240966
3032.47/3039.82	c #Conflicts:     592000 | #Constraints:     241966
3032.47/3039.82	c #Conflicts:     593000 | #Constraints:     242966
3032.47/3039.82	c #Conflicts:     594000 | #Constraints:     243966
3032.47/3039.82	c #Conflicts:     595000 | #Constraints:     244966
3032.47/3039.82	c #Conflicts:     596000 | #Constraints:     245966
3032.47/3039.82	c INPROCESSING
3032.47/3039.82	c GARBAGE COLLECT
3032.47/3039.82	c #Conflicts:     597000 | #Constraints:     210190
3032.47/3039.82	c #Conflicts:     598000 | #Constraints:     211190
3032.47/3039.82	c #Conflicts:     599000 | #Constraints:     212190
3032.47/3039.82	c bounds -733 >= -924 @ 3021.33
3049.23/3056.66	c #Conflicts:     600000 | #Constraints:     213235
3049.23/3056.66	c #Conflicts:     601000 | #Constraints:     214235
3049.23/3056.66	c #Conflicts:     602000 | #Constraints:     215235
3049.23/3056.66	c #Conflicts:     603000 | #Constraints:     216235
3049.23/3056.66	c #Conflicts:     604000 | #Constraints:     217235
3049.23/3056.66	c #Conflicts:     605000 | #Constraints:     218235
3049.23/3056.66	c #Conflicts:     606000 | #Constraints:     219235
3049.23/3056.66	c #Conflicts:     607000 | #Constraints:     220235
3049.23/3056.66	c #Conflicts:     608000 | #Constraints:     221235
3049.23/3056.66	c #Conflicts:     609000 | #Constraints:     222235
3049.23/3056.66	c #Conflicts:     610000 | #Constraints:     223235
3049.23/3056.66	c #Conflicts:     611000 | #Constraints:     224235
3049.23/3056.66	c #Conflicts:     612000 | #Constraints:     225235
3049.23/3056.66	c #Conflicts:     613000 | #Constraints:     226235
3049.23/3056.66	c #Conflicts:     614000 | #Constraints:     227235
3049.23/3056.66	c bounds -733 >= -923 @ 3038.06
3384.84/3393.04	c #Conflicts:     615000 | #Constraints:     228280
3384.84/3393.04	c INPROCESSING
3384.84/3393.04	c GARBAGE COLLECT
3384.84/3393.04	c #Conflicts:     616000 | #Constraints:     201336
3384.84/3393.04	c #Conflicts:     617000 | #Constraints:     202336
3384.84/3393.04	c #Conflicts:     618000 | #Constraints:     203336
3384.84/3393.04	c #Conflicts:     619000 | #Constraints:     204336
3384.84/3393.04	c #Conflicts:     620000 | #Constraints:     205336
3384.84/3393.04	c #Conflicts:     621000 | #Constraints:     206336
3384.84/3393.04	c #Conflicts:     622000 | #Constraints:     207336
3384.84/3393.04	c #Conflicts:     623000 | #Constraints:     208336
3384.84/3393.04	c #Conflicts:     624000 | #Constraints:     209336
3384.84/3393.04	c #Conflicts:     625000 | #Constraints:     210336
3384.84/3393.04	c #Conflicts:     626000 | #Constraints:     211336
3384.84/3393.04	c #Conflicts:     627000 | #Constraints:     212336
3384.84/3393.04	c #Conflicts:     628000 | #Constraints:     213336
3384.84/3393.04	c #Conflicts:     629000 | #Constraints:     214336
3384.84/3393.04	c #Conflicts:     630000 | #Constraints:     215336
3384.84/3393.04	c #Conflicts:     631000 | #Constraints:     216336
3384.84/3393.04	c #Conflicts:     632000 | #Constraints:     217336
3384.84/3393.04	c #Conflicts:     633000 | #Constraints:     218336
3384.84/3393.04	c #Conflicts:     634000 | #Constraints:     219336
3384.84/3393.04	c INPROCESSING
3384.84/3393.04	c GARBAGE COLLECT
3384.84/3393.04	c #Conflicts:     635000 | #Constraints:     196775
3384.84/3393.04	c #Conflicts:     636000 | #Constraints:     197775
3384.84/3393.04	c #Conflicts:     637000 | #Constraints:     198775
3384.84/3393.04	c #Conflicts:     638000 | #Constraints:     199775
3384.84/3393.04	c #Conflicts:     639000 | #Constraints:     200775
3384.84/3393.04	c bounds -733 >= -922 @ 3372.78

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 (61855 MiB free)
  memory of node 1: 64507 MiB (63904 MiB free)
  node distances:
     10  21
     21  10

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

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42724, runsolver pid=42712

[startup+0.100057 s]*
/proc/loadavg: 1.03 1.84 3.21 6/267 42733
/proc/meminfo: memFree=128559912/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42732] ppid=42724 vsize=63344 memory=55284 CPUtime=0.07 cores=1,3
/proc/42732/stat : 42732 (pbsuma) R 42724 42724 42660 0 -1 4194304 6494 0 0 0 6 1 0 0 20 0 1 0 43689205 64864256 13821 18446744073709551615 4210688 4653049 140732258874256 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36098048 140732258875747 140732258875954 140732258875954 140732258881519 0
/proc/42732/statm: 15836 13821 960 108 0 13244 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67536 KiB
Current children cumulated memory: 58356 KiB

[startup+0.20555 s]*
/proc/loadavg: 1.03 1.84 3.21 6/267 42733
/proc/meminfo: memFree=128316712/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42732] ppid=42724 vsize=151568 memory=118656 CPUtime=0.18 cores=1,3
/proc/42732/stat : 42732 (pbsuma) R 42724 42724 42660 0 -1 4194304 17516 0 0 0 15 3 0 0 20 0 1 0 43689205 155205632 29664 18446744073709551615 4210688 4653049 140732258874256 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36098048 140732258875747 140732258875954 140732258875954 140732258881519 0
/proc/42732/statm: 37892 29664 992 108 0 35300 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 155760 KiB
Current children cumulated memory: 121728 KiB

[startup+0.305736 s]*
/proc/loadavg: 1.03 1.84 3.21 6/267 42733
/proc/meminfo: memFree=128209412/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42732] ppid=42724 vsize=201136 memory=154844 CPUtime=0.29 cores=1,3
/proc/42732/stat : 42732 (pbsuma) R 42724 42724 42660 0 -1 4194304 28200 0 0 0 23 6 0 0 20 0 1 0 43689205 205963264 38711 18446744073709551615 4210688 4653049 140732258874256 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36098048 140732258875747 140732258875954 140732258875954 140732258881519 0
/proc/42732/statm: 50284 38711 1024 108 0 47692 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 205328 KiB
Current children cumulated memory: 157916 KiB

[startup+0.700191 s]
/proc/loadavg: 1.26 1.88 3.22 6/267 42733
/proc/meminfo: memFree=127914360/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42732] ppid=42724 vsize=235252 memory=175468 CPUtime=0.67 cores=1,3
/proc/42732/stat : 42732 (pbsuma) R 42724 42724 42660 0 -1 4194304 36061 0 0 0 59 8 0 0 20 0 1 0 43689205 240898048 43867 18446744073709551615 4210688 4653049 140732258874256 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36098048 140732258875747 140732258875954 140732258875954 140732258881519 0
/proc/42732/statm: 58813 43867 1024 108 0 56221 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 239444 KiB
Current children cumulated memory: 178540 KiB

[startup+1.50017 s]
/proc/loadavg: 1.26 1.88 3.22 6/267 42734
/proc/meminfo: memFree=128039068/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3.10528 s]
/proc/loadavg: 1.26 1.88 3.22 6/267 42737
/proc/meminfo: memFree=127381544/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=307560 memory=214044 CPUtime=2.06 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 28527 0 0 0 188 18 0 0 20 0 1 0 43689306 314941440 53511 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 76890 53511 2336 1147 0 64317 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 311752 KiB
Current children cumulated memory: 217116 KiB

[startup+6.3002 s]
/proc/loadavg: 1.64 1.94 3.23 6/268 42738
/proc/meminfo: memFree=127269864/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=409256 memory=302224 CPUtime=5.25 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 44919 0 0 0 501 24 0 0 20 0 1 0 43689306 419078144 75556 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 102314 75556 2432 1147 0 89741 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 413448 KiB
Current children cumulated memory: 305296 KiB

[startup+12.7002 s]
/proc/loadavg: 1.83 1.98 3.24 6/268 42738
/proc/meminfo: memFree=127132160/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=422924 memory=314900 CPUtime=11.64 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 47601 0 0 0 1131 33 0 0 20 0 1 0 43689306 433074176 78725 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 105731 78725 2432 1147 0 93158 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 427116 KiB
Current children cumulated memory: 317972 KiB

[startup+25.5002 s]
/proc/loadavg: 2.17 2.05 3.24 6/268 42739
/proc/meminfo: memFree=127078188/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=423644 memory=320404 CPUtime=24.41 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 48976 0 0 0 2396 45 0 0 20 0 1 0 43689306 433811456 80101 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 105911 80101 2432 1147 0 93338 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 427836 KiB
Current children cumulated memory: 323476 KiB

[startup+51.1054 s]
/proc/loadavg: 2.97 2.25 3.28 6/268 42739
/proc/meminfo: memFree=126960740/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=482576 memory=368328 CPUtime=49.95 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 57813 0 0 0 4907 88 0 0 20 0 1 0 43689306 494157824 92082 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 120644 92082 2464 1147 0 108071 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 486768 KiB
Current children cumulated memory: 371400 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.54 3.32 6/268 42741
/proc/meminfo: memFree=126658340/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=605360 memory=475384 CPUtime=101.02 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 79513 0 0 0 9968 134 0 0 20 0 1 0 43689306 619888640 118846 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 151340 118846 2464 1147 0 138767 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 609552 KiB
Current children cumulated memory: 478456 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.81 3.37 6/268 42743
/proc/meminfo: memFree=126475380/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=605360 memory=476792 CPUtime=160.9 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 79892 0 0 0 15930 160 0 0 20 0 1 0 43689306 619888640 119198 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 151340 119198 2464 1147 0 138767 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 609552 KiB
Current children cumulated memory: 479864 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.06 3.42 6/268 42745
/proc/meminfo: memFree=126385028/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=654684 memory=513460 CPUtime=220.75 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 84484 0 0 0 21885 190 0 0 20 0 1 0 43689306 670396416 128365 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 163671 128365 2464 1147 0 151098 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 658876 KiB
Current children cumulated memory: 516532 KiB


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

/proc/meminfo: memFree=123618460/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=1233596 memory=1092844 CPUtime=3273.4 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 150500 0 0 0 326272 1068 0 0 20 0 1 0 43689306 1263202304 273211 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 308399 273211 2560 1147 0 295826 0
Current children cumulated CPU time: 3274.39 s
Current children cumulated vsize: 1237788 KiB
Current children cumulated memory: 1095916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.21 4.14 5/267 42959
/proc/meminfo: memFree=123620504/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=1233596 memory=1092844 CPUtime=3333.28 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 150581 0 0 0 332233 1095 0 0 20 0 1 0 43689306 1263202304 273211 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 308399 273211 2560 1147 0 295826 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 1237788 KiB
Current children cumulated memory: 1095916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.19 4.14 5/267 42961
/proc/meminfo: memFree=123549000/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=1233596 memory=1092844 CPUtime=3393.13 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 150698 0 0 0 338193 1120 0 0 20 0 1 0 43689306 1263202304 273211 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 308399 273211 2560 1147 0 295826 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 1237788 KiB
Current children cumulated memory: 1095916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/268 42970
/proc/meminfo: memFree=123407432/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=1237296 memory=1095916 CPUtime=3452.98 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 151569 0 0 0 344166 1132 0 0 20 0 1 0 43689306 1266991104 273979 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309324 273979 2560 1147 0 296751 0
Current children cumulated CPU time: 3453.97 s
Current children cumulated vsize: 1241488 KiB
Current children cumulated memory: 1098988 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/268 42973
/proc/meminfo: memFree=123407704/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=1237296 memory=1096044 CPUtime=3512.83 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 151616 0 0 0 350147 1136 0 0 20 0 1 0 43689306 1266991104 274011 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309324 274011 2560 1147 0 296751 0
Current children cumulated CPU time: 3513.82 s
Current children cumulated vsize: 1241488 KiB
Current children cumulated memory: 1099116 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/268 42975
/proc/meminfo: memFree=123408204/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=1237428 memory=1096172 CPUtime=3572.68 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 151649 0 0 0 356128 1140 0 0 20 0 1 0 43689306 1267126272 274043 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309357 274043 2560 1147 0 296784 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 1241620 KiB
Current children cumulated memory: 1099244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.10 4.14 4.12 5/268 42976
/proc/meminfo: memFree=123408432/131250000 swapFree=33010684/33010684
[pid=42724] ppid=42712 vsize=4192 memory=3072 CPUtime=0.99 cores=1,3
/proc/42724/stat : 42724 (run-opt-ls.sh) S 42712 42724 42660 0 -1 4194304 236 36568 0 0 0 0 91 8 20 0 1 0 43689203 4292608 768 18446744073709551615 94292406571008 94292407465541 140737003282608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292407704592 94292407752336 94292420173824 140737003284839 140737003284965 140737003284965 140737003290567 0
/proc/42724/statm: 1048 768 704 219 0 110 0
[pid=42736] ppid=42724 vsize=1237428 memory=1096172 CPUtime=3599.03 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42724 42724 42660 0 -1 4194304 151658 0 0 0 358755 1148 0 0 20 0 1 0 43689306 1267126272 274043 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309357 274043 2560 1147 0 296784 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1241620 KiB
Current children cumulated memory: 1099244 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3590.46 s, system=11.5864 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.6 s]
/proc/loadavg: 4.10 4.14 4.12 4/259 42984
/proc/meminfo: memFree=125846856/131250000 swapFree=33010684/33010684
[pid=42736] ppid=42712 vsize=1237428 memory=1096172 CPUtime=3599.92 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42712 42724 42660 0 -1 4194304 151658 0 0 0 358844 1148 0 0 20 0 1 0 43689306 1267126272 274043 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309357 274043 2560 1147 0 296784 0
Current cumulated CPU time of completed processes: 1.00612 s
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 1237428 KiB
Current children cumulated memory: 1096172 KiB

[startup+3610.4 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 43005
/proc/meminfo: memFree=125840520/131250000 swapFree=33010684/33010684
[pid=42736] ppid=42712 vsize=1237428 memory=1096172 CPUtime=3600.72 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42712 42724 42660 0 -1 4194304 151658 0 0 0 358924 1148 0 0 20 0 1 0 43689306 1267126272 274043 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309357 274043 2560 1147 0 296784 0
Current cumulated CPU time of completed processes: 1.00612 s
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 1237428 KiB
Current children cumulated memory: 1096172 KiB

[startup+3610.6 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 43005
/proc/meminfo: memFree=125840520/131250000 swapFree=33010684/33010684
[pid=42736] ppid=42712 vsize=1237428 memory=1096172 CPUtime=3600.92 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42712 42724 42660 0 -1 4194304 151658 0 0 0 358944 1148 0 0 20 0 1 0 43689306 1267126272 274043 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309357 274043 2560 1147 0 296784 0
Current cumulated CPU time of completed processes: 1.00612 s
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 1237428 KiB
Current children cumulated memory: 1096172 KiB

[startup+3610.7 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 43005
/proc/meminfo: memFree=125840520/131250000 swapFree=33010684/33010684
[pid=42736] ppid=42712 vsize=1237428 memory=1096172 CPUtime=3601.02 cores=1,3
/proc/42736/stat : 42736 (roundingsat) R 42712 42724 42660 0 -1 4194304 151658 0 0 0 358954 1148 0 0 20 0 1 0 43689306 1267126272 274043 18446744073709551615 4227072 8923433 140731321881872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10510336 140731321891142 140731321891368 140731321891368 140731321896938 0
/proc/42736/statm: 309357 274043 2560 1147 0 296784 0
Current cumulated CPU time of completed processes: 1.00612 s
Current children cumulated CPU time: 3601.02 s
Current children cumulated vsize: 1237428 KiB
Current children cumulated memory: 1096172 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.71
CPU time (s): 3602.05
CPU user time (s): 3590.46
CPU system time (s): 11.5864
CPU usage (%): 99.76
Max. virtual memory (cumulated for all children) (KiB): 1241620
Max. memory (cumulated for all children) (KiB): 1099244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.46
system time used= 11.5864
maximum resident set size= 1096172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265
involuntary context switches= 7043


# summary of solver processes directly reported to runsolver:
#   pid: 42724,42736
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3590.46
#   total CPU system time (s): 11.5864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18384 second user time and 16.087 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-30 12:41:54
IDJOB=4483896
IDBENCH=145528
IDSOLVER=3355
FILE ID=nodeC018/4483896-1751280113
RUNJOBID= nodeC018-1751280113-42672
SLURM_JOB_ID= 9594225
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_seq/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_sequential.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4483896-1751280113/watcher-4483896-1751280113 -o /tmp/evaluation-result-4483896-1751280113/solver-4483896-1751280113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751280113-42672 --watchdog 3760  run-opt-ls.sh HOME/instance-4483896-1751280113.opb

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

MD5SUM BENCH= dbf55fafe8c36fc4d34bf230f66c30bf
RANDOM SEED=1596750876

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.842
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.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.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		: 3597.290
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		: 3601.694
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.843
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		: 3599.835
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		: 3598.995
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		: 3633.786
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:        128772352 kB
MemAvailable:   129776744 kB
Buffers:            3280 kB
Cached:          1806040 kB
SwapCached:            0 kB
Active:           325920 kB
Inactive:        1548888 kB
Active(anon):      83564 kB
Inactive(anon):        0 kB
Active(file):     242356 kB
Inactive(file):  1548888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55220 kB
Writeback:             0 kB
AnonPages:         68636 kB
Mapped:           102752 kB
Shmem:             18076 kB
KReclaimable:     104372 kB
Slab:             191828 kB
SReclaimable:     104372 kB
SUnreclaim:        87456 kB
KernelStack:        4128 kB
PageTables:         2972 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 433000 MiB
End job on nodeC018 at 2025-06-30 13:42:04