Trace number 4505680

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22ad? (TO) 3602.23 3610.82

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
MD5SUM0390bfe3f6c229f0cac833c3202307c0
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-186459
Best CPU time to get the best result obtained on this benchmark72000.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 25674
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 24116532
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 24116532
Number of bits of the biggest sum of numbers25
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-4505680-1751449523.opb'
0.00/0.06	c 	read 2.76MB  (43.92ms)
0.00/0.06	c	 [cnf: #variables 40451 #clauses 40951 #duplicates 0 #arr 247557]
0.00/0.06	c 
0.00/0.06	c make graph and approximate orbits
0.08/0.12	c	 [group: #orbits ~= 5452] (59.60ms)
0.08/0.12	c 
0.08/0.12	c detect special group actions
0.08/0.12	c 	probe for Johnson action (limit=64)
0.08/0.12	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.13	c 	probe for row symmetry (limit=64, splits=16.78M)
0.08/0.13	c 	 found row 3x132, generating row predicate
0.08/0.13	c 	 (16.83ms)
0.08/0.13	c 
0.08/0.13	c detect symmetries on remainder
0.08/0.14	c 	[graph: #vertices 225591 #edges 783492]
0.08/0.14	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.18	c 	 [group: #symmetries 6.46*10^81 #generators 201] (49.86ms)
0.08/0.18	c 
0.08/0.18	c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.19	c 	ran it=0, +gens=1 
0.38/0.46	c 	con best_support=4, best_gens=121, +gens=84
0.38/0.46	c 	(276.35ms)
0.38/0.46	c 
0.38/0.46	c finalize break order and special generators
0.38/0.46	c 
0.38/0.46	c add generic predicates (break_depth=20)
0.38/0.46	c 	added predicates for 286 generators (0.66ms)
0.38/0.46	c 
0.38/0.46	c generation finished
0.38/0.46	c 	[sbp: #constraints 5691 #add_vars 1801]
0.38/0.47	c 
0.38/0.47	c write result to 'HOME/instance-4505680-1751449523.opb.pre'
0.38/0.47	c 	wrote 3.02MB (6.75ms)
0.38/0.47	c ------------------------------------------------------------------
0.38/0.47	c                 276.35ms 60.34% optimize_gens
0.38/0.47	c                  59.60ms 13.01% approx_orbits
0.38/0.47	c                  49.86ms 10.89% detect_generic
0.38/0.47	c                  43.92ms  9.59% parse
0.38/0.47	c                  16.83ms  3.67% detect_special
0.38/0.47	c                   6.75ms  1.47% output
0.38/0.47	c                   2.12ms  0.46% other
0.38/0.47	c                   1.87ms  0.41% finalize_order
0.38/0.47	c                   0.66ms  0.14% break_generic
0.38/0.47	c         ───────────────────────────────────────────────
0.38/0.47	c                 457.97ms   100% total
0.38/0.47	c ------------------------------------------------------------------
0.38/0.49	c RoundingSat 2
0.38/0.49	c branch pb25
0.38/0.49	c commit 63f22ad
0.66/0.74	c #variables 42252 #constraints 46505
0.66/0.74	c objective is ce32 
0.66/0.74	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.66/0.74	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.66/0.74	c bounds - >= -24116532 @ 0.192753
2.06/2.11	c bounds 0 >= -24116532 @ 1.5166
2.06/2.12	c bounds 0 >= -23676807 @ 1.5228
2.06/2.13	c bounds 0 >= -23237082 @ 1.52912
2.06/2.13	c bounds 0 >= -22797357 @ 1.53235
2.06/2.13	c bounds 0 >= -22357632 @ 1.5353
2.06/2.14	c bounds 0 >= -21917907 @ 1.53821
2.06/2.14	c bounds 0 >= -21478182 @ 1.54273
2.06/2.14	c bounds 0 >= -21471417 @ 1.54679
2.06/2.15	c bounds 0 >= -21160169 @ 1.54985
2.06/2.15	c bounds 0 >= -21153404 @ 1.55347
2.06/2.15	c bounds 0 >= -20869362 @ 1.5566
2.06/2.16	c bounds 0 >= -20862597 @ 1.56013
2.06/2.16	c bounds 0 >= -20558645 @ 1.56321
2.06/2.16	c bounds 0 >= -20551880 @ 1.56637
2.06/2.17	c bounds 0 >= -20324592 @ 1.57323
2.06/2.18	c bounds 0 >= -20317827 @ 1.57671
2.06/2.18	c bounds 0 >= -20043748 @ 1.57967
2.06/2.18	c bounds 0 >= -20036983 @ 1.58287
2.06/2.19	c bounds 0 >= -19887255 @ 1.5858
2.06/2.19	c bounds 0 >= -19880490 @ 1.58932
2.06/2.19	c bounds 0 >= -19712039 @ 1.59228
2.15/2.20	c bounds 0 >= -19319669 @ 1.59479
2.15/2.20	c bounds 0 >= -18920534 @ 1.59782
2.15/2.20	c bounds 0 >= -18521399 @ 1.60076
2.15/2.20	c bounds 0 >= -18101969 @ 1.60369
2.15/2.21	c bounds 0 >= -17689304 @ 1.60738
2.15/2.21	c bounds 0 >= -17276639 @ 1.61054
2.15/2.21	c bounds 0 >= -16884269 @ 1.61332
2.15/2.22	c bounds 0 >= -16491899 @ 1.61632
2.15/2.22	c bounds 0 >= -16099529 @ 1.61951
2.15/2.23	c bounds 0 >= -15707159 @ 1.62716
2.15/2.24	c bounds 0 >= -15314789 @ 1.63096
2.15/2.24	c bounds 0 >= -15068110 @ 1.63418
2.15/2.24	c bounds 0 >= -14821431 @ 1.63698
2.15/2.24	c bounds 0 >= -14578933 @ 1.63976
2.15/2.25	c bounds 0 >= -14336435 @ 1.64266
2.15/2.25	c bounds 0 >= -14089756 @ 1.6461
2.15/2.25	c bounds 0 >= -13843077 @ 1.64908
2.15/2.26	c bounds 0 >= -13838896 @ 1.65189
2.15/2.26	c bounds 0 >= -13834715 @ 1.65482
2.15/2.26	c bounds 0 >= -13830534 @ 1.65797
2.15/2.27	c bounds 0 >= -13826353 @ 1.66088
2.15/2.27	c bounds 0 >= -13822172 @ 1.66392
2.15/2.27	c bounds 0 >= -13579674 @ 1.66698
2.15/2.27	c bounds 0 >= -13332995 @ 1.66975
2.15/2.28	c bounds 0 >= -13073773 @ 1.67145
2.15/2.28	c bounds 0 >= -12814551 @ 1.67417
2.15/2.28	c bounds 0 >= -12555329 @ 1.67709
2.15/2.29	c bounds 0 >= -12300288 @ 1.67989
2.15/2.29	c bounds 0 >= -12045247 @ 1.68262
2.15/2.29	c bounds 0 >= -11786025 @ 1.68435
2.15/2.29	c bounds 0 >= -11526803 @ 1.68604
2.25/2.30	c bounds 0 >= -11271762 @ 1.68899
2.25/2.30	c bounds 0 >= -11016721 @ 1.69155
2.25/2.30	c bounds 0 >= -10761680 @ 1.69421
2.25/2.31	c bounds 0 >= -10506639 @ 1.69696
2.25/2.31	c bounds 0 >= -10251598 @ 1.69965
2.25/2.31	c bounds 0 >= -10009100 @ 1.70239
2.25/2.31	c bounds 0 >= -9766602 @ 1.70512
2.25/2.32	c bounds 0 >= -9524104 @ 1.70797
2.25/2.32	c bounds 0 >= -9281606 @ 1.71087
2.25/2.33	c bounds 0 >= -9039108 @ 1.71534
2.25/2.34	c bounds 0 >= -8796610 @ 1.72388
2.25/2.35	c bounds 0 >= -8554112 @ 1.72804
14.23/14.32	c #Conflicts:       1000 | #Constraints:      47663
14.23/14.32	c #Conflicts:       2000 | #Constraints:      48663
14.23/14.32	c INPROCESSING
14.23/14.32	c GARBAGE COLLECT
14.23/14.32	c bounds -45381 >= -8554112 @ 13.6046
41.57/41.74	c rational objective -206925
44.65/44.84	c bounds -47965 >= -8554112 @ 43.899
44.65/44.85	c bounds -48109 >= -8554112 @ 43.9095
44.65/44.86	c bounds -49706 >= -8554112 @ 43.921
44.65/44.87	c bounds -49709 >= -8554112 @ 43.9323
44.65/44.88	c bounds -49764 >= -8554112 @ 43.9419
44.65/44.89	c bounds -49767 >= -8554112 @ 43.9527
44.75/44.90	c bounds -50144 >= -8554112 @ 43.9628
44.75/44.91	c bounds -51131 >= -8554112 @ 43.9742
44.75/44.92	c bounds -51152 >= -8554112 @ 43.9851
44.75/44.94	c bounds -52749 >= -8554112 @ 43.9951
44.75/44.95	c bounds -52835 >= -8554112 @ 44.0055
44.75/44.97	c bounds -52887 >= -8554112 @ 44.0278
44.75/44.98	c bounds -53031 >= -8554112 @ 44.0393
44.86/45.01	c bounds -53874 >= -8554112 @ 44.0645
44.86/45.06	c bounds -54018 >= -8554112 @ 44.1179
44.86/45.07	c bounds -54019 >= -8554112 @ 44.1292
44.86/45.09	c bounds -54031 >= -8554112 @ 44.1419
44.96/45.11	c bounds -54620 >= -8554112 @ 44.164
44.96/45.16	c bounds -54641 >= -8554112 @ 44.2061
44.96/45.17	c bounds -54642 >= -8554112 @ 44.2194
45.05/45.20	c bounds -55628 >= -8554112 @ 44.2409
45.05/45.27	c bounds -55629 >= -8554112 @ 44.3099
45.05/45.29	c bounds -55630 >= -8554112 @ 44.3262
45.15/45.32	c bounds -57226 >= -8554112 @ 44.3489
45.25/45.41	c bounds -59810 >= -8554112 @ 44.4309
45.25/45.46	c bounds -59813 >= -8554112 @ 44.4659
45.25/45.47	c bounds -59814 >= -8554112 @ 44.4791
45.35/45.50	c bounds -59821 >= -8554112 @ 44.5043
45.35/45.58	c bounds -60800 >= -8554112 @ 44.5756
48.24/48.42	c bounds -60805 >= -8554112 @ 47.3076
48.24/48.43	c bounds -60805 >= -7799026 @ 47.3153
48.24/48.44	c bounds -60805 >= -7667242 @ 47.3193
48.24/48.44	c bounds -60805 >= -7535458 @ 47.3224
48.24/48.44	c bounds -60805 >= -7401090 @ 47.3253
48.24/48.45	c bounds -60805 >= -7266722 @ 47.3279
48.24/48.45	c bounds -60805 >= -7114266 @ 47.3308
48.24/48.45	c bounds -60805 >= -6959226 @ 47.3335
48.24/48.45	c bounds -60805 >= -6804186 @ 47.3367
48.24/48.46	c bounds -60805 >= -6649146 @ 47.3397
48.24/48.46	c bounds -60805 >= -6494106 @ 47.3423
48.24/48.46	c bounds -60805 >= -6364906 @ 47.345
48.24/48.47	c bounds -60805 >= -6238290 @ 47.348
48.24/48.47	c bounds -60805 >= -6111674 @ 47.3508
48.24/48.47	c bounds -60805 >= -5982474 @ 47.3534
48.24/48.48	c bounds -60805 >= -5853274 @ 47.3562
48.24/48.48	c bounds -60805 >= -5721490 @ 47.3625
62.52/62.79	c #Conflicts:       3000 | #Constraints:      41108
62.52/62.79	c #Conflicts:       4000 | #Constraints:      42108
62.52/62.79	c INPROCESSING
62.52/62.79	c GARBAGE COLLECT
62.52/62.79	c #Conflicts:       5000 | #Constraints:      41510
62.52/62.79	c #Conflicts:       6000 | #Constraints:      42510
62.52/62.79	c INPROCESSING
62.52/62.79	c GARBAGE COLLECT
62.52/62.79	c bounds -61626 >= -5721490 @ 61.4949
63.71/63.91	c bounds -61681 >= -5721490 @ 62.6045
63.82/64.06	c bounds -62668 >= -5721490 @ 62.7547
64.01/64.29	c bounds -63257 >= -5721490 @ 62.9816
64.11/64.34	c bounds -64854 >= -5721490 @ 63.017
64.11/64.36	c bounds -65464 >= -5721490 @ 63.0314
64.40/64.69	c bounds -66451 >= -5721490 @ 63.3687
64.50/64.78	c bounds -69035 >= -5721490 @ 63.4516
64.60/64.82	c bounds -69268 >= -5721490 @ 63.488
64.60/64.84	c bounds -70255 >= -5721490 @ 63.5118
65.01/65.29	c bounds -70632 >= -5721490 @ 63.9553
65.01/65.29	c bounds -70632 >= -5636849 @ 63.9607
65.11/65.30	c bounds -70632 >= -5555402 @ 63.9637
65.11/65.30	c bounds -70632 >= -5472358 @ 63.9664
65.11/65.30	c bounds -70632 >= -5389314 @ 63.969
65.11/65.30	c bounds -70632 >= -5304673 @ 63.9717
65.11/65.31	c bounds -70632 >= -5220032 @ 63.9744
65.11/65.31	c bounds -70632 >= -5132197 @ 63.9771
65.11/65.31	c bounds -70632 >= -5045959 @ 63.9797
65.11/65.32	c bounds -70632 >= -4962915 @ 63.9825
65.11/65.32	c bounds -70632 >= -4879871 @ 63.9854
65.11/65.32	c bounds -70632 >= -4793633 @ 63.9881
65.11/65.32	c bounds -70632 >= -4702604 @ 63.9915
65.11/65.33	c bounds -70632 >= -4608381 @ 63.9941
65.11/65.33	c bounds -70632 >= -4514158 @ 63.9967
65.11/65.33	c bounds -70632 >= -4419935 @ 63.9995
65.11/65.33	c bounds -70632 >= -4325712 @ 64.002
65.11/65.34	c bounds -70632 >= -4231489 @ 64.0046
65.11/65.34	c bounds -70632 >= -4137266 @ 64.0073
65.11/65.34	c bounds -70632 >= -4041446 @ 64.0099
65.11/65.35	c bounds -70632 >= -3958402 @ 64.0126
65.11/65.35	c bounds -70632 >= -3880149 @ 64.0153
65.11/65.35	c bounds -70632 >= -3805090 @ 64.0178
65.11/65.35	c bounds -70632 >= -3728434 @ 64.0203
65.11/65.36	c bounds -70632 >= -3650181 @ 64.0229
65.11/65.36	c bounds -70632 >= -3568734 @ 64.0267
65.11/65.36	c bounds -70632 >= -3487287 @ 64.0301
67.91/68.14	c #Conflicts:       7000 | #Constraints:      41651
67.91/68.14	c #Conflicts:       8000 | #Constraints:      42651
67.91/68.14	c #Conflicts:       9000 | #Constraints:      43651
67.91/68.14	c INPROCESSING
67.91/68.14	c GARBAGE COLLECT
67.91/68.14	c bounds -74182 >= -3487287 @ 66.7592
68.00/68.25	c bounds -75169 >= -3487287 @ 66.8739
68.10/68.32	c bounds -75546 >= -3487287 @ 66.9339
68.10/68.34	c bounds -79727 >= -3487287 @ 66.9468
68.10/68.35	c bounds -79782 >= -3487287 @ 66.9606
68.10/68.37	c bounds -80769 >= -3487287 @ 66.9756
68.20/68.40	c bounds -82311 >= -3487287 @ 66.9966
68.20/68.43	c bounds -82312 >= -3487287 @ 67.0236
68.20/68.46	c bounds -82400 >= -3487287 @ 67.0495
68.30/68.51	c bounds -83298 >= -3487287 @ 67.0966
68.50/68.80	c bounds -86492 >= -3487287 @ 67.3746
68.80/69.04	c bounds -86725 >= -3487287 @ 67.6149
68.80/69.06	c bounds -86958 >= -3487287 @ 67.6326
69.10/69.31	c bounds -87712 >= -3487287 @ 67.8787
69.20/69.42	c bounds -88089 >= -3487287 @ 67.9906
69.50/69.76	c bounds -88102 >= -3487287 @ 68.3248
69.50/69.78	c bounds -88103 >= -3487287 @ 68.3468
69.60/69.80	c bounds -88108 >= -3487287 @ 68.3699
69.60/69.84	c bounds -88115 >= -3487287 @ 68.404
69.60/69.87	c bounds -88120 >= -3487287 @ 68.436
69.69/69.96	c bounds -88123 >= -3487287 @ 68.5186
69.90/70.12	c bounds -88144 >= -3487287 @ 68.6751
69.99/70.22	c bounds -88343 >= -3487287 @ 68.7745
69.99/70.29	c bounds -89097 >= -3487287 @ 68.8434
70.29/70.59	c bounds -89123 >= -3487287 @ 69.1379
70.60/70.87	c bounds -89720 >= -3487287 @ 69.4129
70.80/71.03	c bounds -89919 >= -3487287 @ 69.5724
70.80/71.03	c bounds -89919 >= -3434976 @ 69.5767
70.80/71.04	c bounds -89919 >= -3383652 @ 69.5798
70.80/71.04	c bounds -89919 >= -3333315 @ 69.5818
70.80/71.04	c bounds -89919 >= -3281991 @ 69.5842
70.80/71.05	c bounds -89919 >= -3227706 @ 69.5872
70.80/71.05	c bounds -89919 >= -3175395 @ 69.5903
70.80/71.05	c bounds -89919 >= -3122097 @ 69.5937
70.80/71.06	c bounds -89919 >= -3121110 @ 69.5958
70.80/71.06	c bounds -89919 >= -3120123 @ 69.5997
70.80/71.06	c bounds -89919 >= -3119136 @ 69.6017
70.80/71.07	c bounds -89919 >= -3118149 @ 69.6043
70.80/71.07	c bounds -89919 >= -3117162 @ 69.6077
70.80/71.07	c bounds -89919 >= -3064851 @ 69.6126
70.80/71.08	c bounds -89919 >= -3063864 @ 69.6158
70.80/71.08	c bounds -89919 >= -3062877 @ 69.6189
70.80/71.08	c bounds -89919 >= -3061890 @ 69.622
70.80/71.09	c bounds -89919 >= -3060903 @ 69.6251
70.80/71.09	c bounds -89919 >= -3059916 @ 69.629
70.80/71.10	c bounds -89919 >= -3007605 @ 69.6338
70.80/71.10	c bounds -89919 >= -2954307 @ 69.6367
70.89/71.10	c bounds -89919 >= -2901009 @ 69.6397
70.89/71.11	c bounds -89919 >= -2844750 @ 69.6436
70.89/71.11	c bounds -89919 >= -2787504 @ 69.6465
70.89/71.11	c bounds -89919 >= -2729271 @ 69.6494
70.89/71.11	c bounds -89919 >= -2671038 @ 69.6523
70.89/71.12	c bounds -89919 >= -2612805 @ 69.655
70.89/71.12	c bounds -89919 >= -2554572 @ 69.6575
70.89/71.12	c bounds -89919 >= -2496339 @ 69.66
70.89/71.12	c bounds -89919 >= -2437119 @ 69.6625
70.89/71.13	c bounds -89919 >= -2377899 @ 69.6655
70.89/71.13	c bounds -89919 >= -2318679 @ 69.6682
70.89/71.13	c bounds -89919 >= -2267355 @ 69.6708
70.89/71.14	c bounds -89919 >= -2218992 @ 69.6733
70.89/71.14	c bounds -89919 >= -2168655 @ 69.6786
76.08/76.32	c #Conflicts:      10000 | #Constraints:      42454
76.08/76.32	c #Conflicts:      11000 | #Constraints:      43454
76.08/76.32	c #Conflicts:      12000 | #Constraints:      44454
76.08/76.32	c INPROCESSING
76.08/76.32	c GARBAGE COLLECT
76.08/76.32	c bounds -90618 >= -2168655 @ 74.8032
76.48/76.73	c bounds -90619 >= -2168655 @ 75.2166
76.48/76.76	c bounds -90620 >= -2168655 @ 75.2453
76.57/76.80	c bounds -90624 >= -2168655 @ 75.2839
76.57/76.84	c bounds -90626 >= -2168655 @ 75.3213
76.57/76.88	c bounds -90629 >= -2168655 @ 75.3568
76.68/76.98	c bounds -90631 >= -2168655 @ 75.4519
77.17/77.40	c bounds -90660 >= -2168655 @ 75.8725
77.68/77.98	c bounds -90665 >= -2168655 @ 76.4427
77.68/77.99	c bounds -90665 >= -2136325 @ 76.4478
77.68/77.99	c bounds -90665 >= -2105825 @ 76.4506
77.68/77.99	c bounds -90665 >= -2074715 @ 76.4532
77.68/77.99	c bounds -90665 >= -2043605 @ 76.4558
77.68/78.00	c bounds -90665 >= -2011275 @ 76.4584
77.68/78.00	c bounds -90665 >= -1978335 @ 76.461
77.78/78.00	c bounds -90665 >= -1944785 @ 76.4637
77.78/78.00	c bounds -90665 >= -1913065 @ 76.4663
77.78/78.01	c bounds -90665 >= -1878295 @ 76.4694
77.78/78.01	c bounds -90665 >= -1842305 @ 76.472
77.78/78.01	c bounds -90665 >= -1806315 @ 76.4745
77.78/78.02	c bounds -90665 >= -1770325 @ 76.4771
77.78/78.02	c bounds -90665 >= -1734335 @ 76.4786
77.78/78.02	c bounds -90665 >= -1697735 @ 76.4812
77.78/78.02	c bounds -90665 >= -1661135 @ 76.4837
77.78/78.03	c bounds -90665 >= -1629415 @ 76.4863
77.78/78.03	c bounds -90665 >= -1597695 @ 76.4878
77.78/78.03	c bounds -90665 >= -1567195 @ 76.4903
77.78/78.03	c bounds -90665 >= -1537305 @ 76.4928
77.78/78.04	c bounds -90665 >= -1508025 @ 76.4954
77.78/78.04	c bounds -90665 >= -1479355 @ 76.4978
83.66/83.96	c #Conflicts:      13000 | #Constraints:      42931
83.66/83.96	c #Conflicts:      14000 | #Constraints:      43931
83.66/83.96	c #Conflicts:      15000 | #Constraints:      44931
83.66/83.96	c INPROCESSING
83.66/83.96	c GARBAGE COLLECT
83.66/83.96	c bounds -90796 >= -1479355 @ 82.365
83.87/84.11	c bounds -92126 >= -1479355 @ 82.5084
84.16/84.41	c bounds -93346 >= -1479355 @ 82.8109
90.85/91.16	c bounds -93349 >= -1479355 @ 89.5152
90.85/91.17	c bounds -93349 >= -1459374 @ 89.5201
90.85/91.17	c bounds -93349 >= -1439393 @ 89.5232
90.85/91.17	c bounds -93349 >= -1419789 @ 89.5254
90.85/91.18	c bounds -93349 >= -1400562 @ 89.5273
90.85/91.18	c bounds -93349 >= -1380958 @ 89.5292
90.85/91.18	c bounds -93349 >= -1360977 @ 89.5321
90.85/91.18	c bounds -93349 >= -1340242 @ 89.535
90.85/91.19	c bounds -93349 >= -1319507 @ 89.5379
90.85/91.19	c bounds -93349 >= -1299149 @ 89.5405
90.85/91.19	c bounds -93349 >= -1278791 @ 89.5434
90.94/91.20	c bounds -93349 >= -1258433 @ 89.5453
90.94/91.20	c bounds -93349 >= -1238075 @ 89.5475
90.94/91.20	c bounds -93349 >= -1237698 @ 89.5506
90.94/91.21	c bounds -93349 >= -1237321 @ 89.554
90.94/91.21	c bounds -93349 >= -1236944 @ 89.5574
90.94/91.21	c bounds -93349 >= -1236567 @ 89.5606
90.94/91.22	c bounds -93349 >= -1236190 @ 89.5673
90.94/91.23	c bounds -93349 >= -1216209 @ 89.5751
90.94/91.23	c bounds -93349 >= -1195851 @ 89.5782
90.94/91.24	c bounds -93349 >= -1174362 @ 89.5824
90.94/91.24	c bounds -93349 >= -1152873 @ 89.5856
90.94/91.24	c bounds -93349 >= -1130630 @ 89.5888
90.94/91.25	c bounds -93349 >= -1108387 @ 89.5919
90.94/91.25	c bounds -93349 >= -1085767 @ 89.5951
90.94/91.25	c bounds -93349 >= -1066163 @ 89.5982
90.94/91.26	c bounds -93349 >= -1046559 @ 89.6001
90.94/91.26	c bounds -93349 >= -1028086 @ 89.6031
90.94/91.26	c bounds -93349 >= -1009613 @ 89.6061
90.94/91.27	c bounds -93349 >= -991894 @ 89.609
90.94/91.27	c bounds -93349 >= -973798 @ 89.6119
90.94/91.27	c bounds -93349 >= -954948 @ 89.6151
90.94/91.28	c bounds -93349 >= -935721 @ 89.6233
105.91/106.24	c #Conflicts:      16000 | #Constraints:      43266
105.91/106.24	c #Conflicts:      17000 | #Constraints:      44266
105.91/106.24	c #Conflicts:      18000 | #Constraints:      45266
105.91/106.24	c INPROCESSING
105.91/106.24	c GARBAGE COLLECT
105.91/106.24	c #Conflicts:      19000 | #Constraints:      43239
105.91/106.24	c bounds -93349 >= -935344 @ 104.418
105.91/106.25	c bounds -93349 >= -934967 @ 104.429
105.91/106.26	c bounds -93349 >= -934590 @ 104.436
106.00/106.30	c bounds -93349 >= -934213 @ 104.471
109.10/109.45	c #Conflicts:      20000 | #Constraints:      44263
109.10/109.45	c #Conflicts:      21000 | #Constraints:      45263
109.10/109.45	c INPROCESSING
109.10/109.45	c GARBAGE COLLECT
109.10/109.45	c bounds -93956 >= -934213 @ 107.592
109.20/109.54	c bounds -94566 >= -934213 @ 107.673
109.40/109.75	c bounds -97150 >= -934213 @ 107.884
109.40/109.77	c bounds -97294 >= -934213 @ 107.899
109.50/109.88	c bounds -97527 >= -934213 @ 108.016
109.60/109.93	c bounds -100111 >= -934213 @ 108.057
109.71/110.02	c bounds -103682 >= -934213 @ 108.153
109.71/110.03	c bounds -103682 >= -921864 @ 108.157
109.71/110.03	c bounds -103682 >= -909748 @ 108.16
109.71/110.03	c bounds -103682 >= -897865 @ 108.162
109.71/110.04	c bounds -103682 >= -885982 @ 108.165
109.71/110.04	c bounds -103682 >= -873866 @ 108.168
109.71/110.04	c bounds -103682 >= -861051 @ 108.17
109.71/110.04	c bounds -103682 >= -848469 @ 108.173
109.71/110.05	c bounds -103682 >= -836353 @ 108.175
109.71/110.05	c bounds -103682 >= -836120 @ 108.177
109.71/110.05	c bounds -103682 >= -835887 @ 108.179
109.71/110.05	c bounds -103682 >= -835654 @ 108.182
109.71/110.06	c bounds -103682 >= -835421 @ 108.185
109.71/110.06	c bounds -103682 >= -835188 @ 108.188
109.71/110.06	c bounds -103682 >= -822839 @ 108.191
109.71/110.07	c bounds -103682 >= -809325 @ 108.194
109.71/110.07	c bounds -103682 >= -795578 @ 108.196
109.71/110.07	c bounds -103682 >= -781598 @ 108.199
109.71/110.07	c bounds -103682 >= -767618 @ 108.201
109.71/110.08	c bounds -103682 >= -756201 @ 108.204
109.71/110.08	c bounds -103682 >= -745250 @ 108.207
109.71/110.08	c bounds -103682 >= -733600 @ 108.209
109.71/110.08	c bounds -103682 >= -721717 @ 108.211
110.20/110.56	c #Conflicts:      22000 | #Constraints:      43170
110.20/110.56	c bounds -103682 >= -721484 @ 108.676
110.30/110.64	c bounds -105512 >= -721484 @ 108.757
111.00/111.39	c bounds -105525 >= -721484 @ 109.494
111.39/111.71	c bounds -105525 >= -721251 @ 109.813
111.39/111.75	c bounds -105546 >= -721251 @ 109.848
111.59/111.93	c bounds -105656 >= -721251 @ 110.024
111.70/112.05	c bounds -105656 >= -721018 @ 110.126
111.70/112.06	c bounds -105656 >= -720785 @ 110.135
121.08/121.46	c #Conflicts:      23000 | #Constraints:      44203
121.08/121.46	c #Conflicts:      24000 | #Constraints:      45203
121.08/121.46	c #Conflicts:      25000 | #Constraints:      46203
121.08/121.46	c #Conflicts:      26000 | #Constraints:      47203
121.08/121.46	c bounds -105656 >= -720552 @ 119.433
121.17/121.55	c bounds -105745 >= -720552 @ 119.528
121.27/121.65	c bounds -106122 >= -720552 @ 119.621
129.15/129.58	c #Conflicts:      27000 | #Constraints:      48217
129.15/129.58	c bounds -106499 >= -720552 @ 127.477
129.45/129.89	c bounds -106499 >= -720319 @ 127.777
129.45/129.90	c bounds -106499 >= -720086 @ 127.783
129.56/129.94	c bounds -106499 >= -719853 @ 127.829
131.35/131.71	c #Conflicts:      28000 | #Constraints:      49250
131.35/131.71	c bounds -106499 >= -719620 @ 129.568
131.75/132.17	c bounds -106499 >= -719387 @ 130.003
134.55/134.90	c bounds -106732 >= -719387 @ 132.685
148.11/148.50	c #Conflicts:      29000 | #Constraints:      50290
148.11/148.50	c #Conflicts:      30000 | #Constraints:      51290
148.11/148.50	c #Conflicts:      31000 | #Constraints:      52290
148.11/148.50	c #Conflicts:      32000 | #Constraints:      53290
148.11/148.50	c bounds -106732 >= -719154 @ 146.176
148.11/148.58	c bounds -107109 >= -719154 @ 146.252
148.21/148.66	c bounds -107719 >= -719154 @ 146.329
148.31/148.72	c bounds -107863 >= -719154 @ 146.39
148.42/148.87	c bounds -107864 >= -719154 @ 146.535
148.51/148.93	c bounds -107877 >= -719154 @ 146.59
148.51/148.99	c bounds -107898 >= -719154 @ 146.647
148.62/149.07	c bounds -107953 >= -719154 @ 146.726
148.72/149.18	c bounds -108008 >= -719154 @ 146.836
149.21/149.66	c bounds -108097 >= -719154 @ 147.303
149.31/149.73	c bounds -108109 >= -719154 @ 147.372
149.41/149.81	c bounds -108185 >= -719154 @ 147.451
149.51/149.90	c bounds -108240 >= -719154 @ 147.536
150.31/150.74	c bounds -108329 >= -719154 @ 148.363
150.51/150.97	c #Conflicts:      33000 | #Constraints:      54315
150.51/150.97	c bounds -108363 >= -719154 @ 148.594
150.61/151.04	c bounds -108397 >= -719154 @ 148.659
150.71/151.10	c bounds -108541 >= -719154 @ 148.725
150.71/151.16	c bounds -108596 >= -719154 @ 148.783
150.81/151.24	c bounds -109748 >= -719154 @ 148.863
150.91/151.34	c bounds -109837 >= -719154 @ 148.953
153.40/153.80	c bounds -110070 >= -719154 @ 151.385
174.36/174.82	c INPROCESSING
174.36/174.82	c GARBAGE COLLECT
174.36/174.82	c bounds -115238 >= -719154 @ 172.264
187.13/187.61	c #Conflicts:      34000 | #Constraints:      47845
187.13/187.61	c #Conflicts:      35000 | #Constraints:      48845
187.13/187.61	c #Conflicts:      36000 | #Constraints:      49845
187.13/187.61	c #Conflicts:      37000 | #Constraints:      50845
187.13/187.61	c #Conflicts:      38000 | #Constraints:      51845
187.13/187.61	c INPROCESSING
187.13/187.61	c GARBAGE COLLECT
187.13/187.61	c bounds -115615 >= -719154 @ 184.926
187.23/187.79	c bounds -115848 >= -719154 @ 185.109
187.33/187.82	c bounds -116458 >= -719154 @ 185.132
188.53/189.04	c bounds -116835 >= -719154 @ 186.347
192.22/192.77	c bounds -116924 >= -719154 @ 190.066
192.22/192.78	c bounds -116924 >= -711522 @ 190.071
192.22/192.78	c bounds -116924 >= -703890 @ 190.073
192.22/192.78	c bounds -116924 >= -696546 @ 190.076
192.22/192.78	c bounds -116924 >= -689202 @ 190.078
192.22/192.79	c bounds -116924 >= -681426 @ 190.081
192.22/192.79	c bounds -116924 >= -673794 @ 190.084
192.22/192.79	c bounds -116924 >= -666018 @ 190.086
192.22/192.79	c bounds -116924 >= -657522 @ 190.089
192.32/192.80	c bounds -116924 >= -649170 @ 190.092
192.32/192.80	c bounds -116924 >= -640674 @ 190.094
192.32/192.80	c bounds -116924 >= -632178 @ 190.097
192.32/192.80	c bounds -116924 >= -623682 @ 190.099
192.32/192.81	c bounds -116924 >= -615186 @ 190.102
192.32/192.81	c bounds -116924 >= -606546 @ 190.105
192.32/192.81	c bounds -116924 >= -597906 @ 190.107
192.32/192.81	c bounds -116924 >= -590850 @ 190.11
192.32/192.82	c bounds -116924 >= -583794 @ 190.112
192.32/192.82	c bounds -116924 >= -577026 @ 190.115
192.32/192.82	c bounds -116924 >= -570114 @ 190.118
192.32/192.83	c bounds -116924 >= -562770 @ 190.123
192.32/192.83	c bounds -116924 >= -562626 @ 190.127
192.41/192.96	c bounds -116924 >= -562482 @ 190.25
192.51/193.00	c bounds -116924 >= -562338 @ 190.292
192.51/193.07	c bounds -116924 >= -562194 @ 190.353
196.51/197.01	c #Conflicts:      39000 | #Constraints:      46878
196.51/197.01	c #Conflicts:      40000 | #Constraints:      47878
196.51/197.01	c bounds -116924 >= -562050 @ 194.267
199.90/200.49	c bounds -117644 >= -562050 @ 197.726
293.78/294.54	c #Conflicts:      41000 | #Constraints:      48888
293.78/294.54	c #Conflicts:      42000 | #Constraints:      49888
293.78/294.54	c INPROCESSING
293.78/294.54	c GARBAGE COLLECT
293.78/294.54	c rational objective -206704
295.69/296.48	c bounds -119097 >= -562050 @ 293.125
295.78/296.51	c bounds -119241 >= -562050 @ 293.146
295.98/296.79	c bounds -119707 >= -562050 @ 293.42
296.08/296.81	c bounds -119710 >= -562050 @ 293.439
296.08/296.83	c bounds -119741 >= -562050 @ 293.458
296.08/296.87	c bounds -119851 >= -562050 @ 293.5
296.28/297.01	c bounds -119940 >= -562050 @ 293.635
296.78/297.55	c #Conflicts:      43000 | #Constraints:      45345
296.78/297.55	c bounds -119945 >= -562050 @ 294.174
297.08/297.88	c bounds -120076 >= -562050 @ 294.502
297.18/297.93	c bounds -120542 >= -562050 @ 294.548
300.28/301.08	c bounds -120919 >= -562050 @ 297.693
300.28/301.09	c bounds -120919 >= -557422 @ 297.698
300.28/301.09	c bounds -120919 >= -552883 @ 297.7
300.28/301.09	c bounds -120919 >= -547721 @ 297.703
300.28/301.10	c bounds -120919 >= -542470 @ 297.706
300.28/301.10	c bounds -120919 >= -537219 @ 297.708
300.38/301.10	c bounds -120919 >= -531968 @ 297.711
300.38/301.10	c bounds -120919 >= -526717 @ 297.713
300.38/301.11	c bounds -120919 >= -521466 @ 297.716
300.38/301.11	c bounds -120919 >= -516215 @ 297.718
300.38/301.11	c bounds -120919 >= -510875 @ 297.72
300.38/301.11	c bounds -120919 >= -506425 @ 297.723
300.38/301.12	c bounds -120919 >= -502064 @ 297.725
300.38/301.12	c bounds -120919 >= -497703 @ 297.728
300.38/301.12	c bounds -120919 >= -493342 @ 297.73
301.76/302.50	c #Conflicts:      44000 | #Constraints:      46391
301.76/302.50	c bounds -120919 >= -493253 @ 299.089
304.76/305.58	c #Conflicts:      45000 | #Constraints:      47397
304.76/305.58	c bounds -120919 >= -493164 @ 302.149
304.95/305.79	c bounds -121516 >= -493164 @ 302.357
305.06/305.86	c bounds -121893 >= -493164 @ 302.417
312.64/313.41	c #Conflicts:      46000 | #Constraints:      48405
312.64/313.41	c #Conflicts:      47000 | #Constraints:      49405
312.64/313.41	c #Conflicts:      48000 | #Constraints:      50405
312.64/313.41	c INPROCESSING
312.64/313.41	c GARBAGE COLLECT
312.64/313.41	c bounds -122092 >= -493164 @ 309.907
312.94/313.70	c bounds -122105 >= -493164 @ 310.201
312.94/313.77	c bounds -122215 >= -493164 @ 310.261
313.04/313.84	c bounds -122270 >= -493164 @ 310.337
313.04/313.88	c bounds -122325 >= -493164 @ 310.376
313.44/314.25	c bounds -122380 >= -493164 @ 310.738
313.44/314.29	c bounds -122435 >= -493164 @ 310.769
313.64/314.43	c bounds -123278 >= -493164 @ 310.912
313.64/314.46	c bounds -123367 >= -493164 @ 310.937
314.35/315.10	c bounds -123368 >= -493164 @ 311.572
314.35/315.14	c bounds -123369 >= -493164 @ 311.609
314.35/315.18	c bounds -123372 >= -493164 @ 311.647
314.44/315.21	c bounds -123385 >= -493164 @ 311.678
314.44/315.24	c bounds -123389 >= -493164 @ 311.709
314.44/315.28	c bounds -123399 >= -493164 @ 311.749
314.54/315.35	c bounds -123401 >= -493164 @ 311.812
314.64/315.41	c bounds -123435 >= -493164 @ 311.871
314.64/315.45	c bounds -123456 >= -493164 @ 311.916
314.83/315.66	c bounds -123545 >= -493164 @ 312.125
314.93/315.70	c bounds -123546 >= -493164 @ 312.16
314.93/315.75	c bounds -123548 >= -493164 @ 312.217
315.03/315.81	c bounds -123558 >= -493164 @ 312.27
315.13/315.90	c bounds -123579 >= -493164 @ 312.361
315.73/316.57	c bounds -123600 >= -493164 @ 313.031
315.83/316.63	c bounds -123655 >= -493164 @ 313.092
316.24/317.00	c bounds -123799 >= -493164 @ 313.463
316.44/317.27	c bounds -123888 >= -493164 @ 313.732
317.13/317.93	c bounds -123977 >= -493164 @ 314.387
317.13/317.94	c bounds -123977 >= -490304 @ 314.391
317.13/317.94	c bounds -123977 >= -487444 @ 314.392
317.13/317.94	c bounds -123977 >= -484529 @ 314.395
317.13/317.95	c bounds -123977 >= -481339 @ 314.397
317.13/317.95	c bounds -123977 >= -478094 @ 314.4
317.13/317.95	c bounds -123977 >= -474794 @ 314.403
317.13/317.95	c bounds -123977 >= -471494 @ 314.405
317.13/317.96	c bounds -123977 >= -468634 @ 314.408
317.13/317.96	c bounds -123977 >= -465939 @ 314.41
317.13/317.96	c bounds -123977 >= -463244 @ 314.413
317.13/317.96	c bounds -123977 >= -460494 @ 314.416
317.13/317.97	c bounds -123977 >= -457689 @ 314.422
317.13/317.98	c bounds -123977 >= -454884 @ 314.428
317.24/318.09	c bounds -123977 >= -454829 @ 314.541
327.81/328.64	c #Conflicts:      49000 | #Constraints:      46213
327.81/328.64	c #Conflicts:      50000 | #Constraints:      47213
327.81/328.64	c bounds -123977 >= -454774 @ 325.02
350.36/351.20	c #Conflicts:      51000 | #Constraints:      48219
350.36/351.20	c #Conflicts:      52000 | #Constraints:      49219
350.36/351.20	c bounds -124066 >= -454774 @ 347.408
360.54/361.42	c #Conflicts:      53000 | #Constraints:      50220
360.54/361.42	c bounds -124066 >= -454719 @ 357.59
371.61/372.51	c #Conflicts:      54000 | #Constraints:      51229
371.61/372.51	c bounds -124066 >= -454664 @ 368.612
372.12/373.06	c bounds -124066 >= -454609 @ 369.167
374.61/375.54	c bounds -124066 >= -454554 @ 371.628
376.00/376.97	c bounds -124066 >= -454499 @ 373.046
377.00/377.98	c #Conflicts:      55000 | #Constraints:      52280
377.00/377.98	c bounds -124066 >= -454444 @ 374.054
379.10/380.07	c bounds -124066 >= -454389 @ 376.119
381.29/382.22	c bounds -124066 >= -454334 @ 378.25
382.39/383.37	c bounds -124066 >= -454279 @ 379.398
383.78/384.75	c #Conflicts:      56000 | #Constraints:      53352
383.78/384.75	c bounds -124066 >= -454224 @ 380.773
386.78/387.75	c bounds -124066 >= -454169 @ 383.756
389.27/390.24	c #Conflicts:      57000 | #Constraints:      54394
389.27/390.24	c bounds -124066 >= -454114 @ 386.232
394.66/395.67	c #Conflicts:      58000 | #Constraints:      55421
394.66/395.67	c bounds -124066 >= -454059 @ 391.653
402.04/403.09	c #Conflicts:      59000 | #Constraints:      56442
402.04/403.09	c bounds -124066 >= -454004 @ 399.038
450.54/451.60	c #Conflicts:      60000 | #Constraints:      57466
450.54/451.60	c #Conflicts:      61000 | #Constraints:      58466
450.54/451.60	c #Conflicts:      62000 | #Constraints:      59466
450.54/451.60	c bounds -124121 >= -454004 @ 447.014
478.57/479.70	c #Conflicts:      63000 | #Constraints:      60467
478.57/479.70	c #Conflicts:      64000 | #Constraints:      61467
478.57/479.70	c #Conflicts:      65000 | #Constraints:      62467
478.57/479.70	c INPROCESSING
478.57/479.70	c GARBAGE COLLECT
478.57/479.70	c #Conflicts:      66000 | #Constraints:      52242
478.57/479.70	c bounds -124121 >= -453949 @ 474.916
481.16/482.39	c #Conflicts:      67000 | #Constraints:      53272
481.16/482.39	c #Conflicts:      68000 | #Constraints:      54272
481.16/482.39	c bounds -124121 >= -453894 @ 477.569
484.06/485.24	c #Conflicts:      69000 | #Constraints:      55305
484.06/485.24	c #Conflicts:      70000 | #Constraints:      56305
484.06/485.24	c #Conflicts:      71000 | #Constraints:      57305
484.06/485.24	c bounds -124121 >= -453839 @ 480.397
611.56/613.06	c INPROCESSING
611.56/613.06	c GARBAGE COLLECT
611.56/613.06	c #Conflicts:      72000 | #Constraints:      49496
611.56/613.06	c #Conflicts:      73000 | #Constraints:      50496
611.56/613.06	c #Conflicts:      74000 | #Constraints:      51496
611.56/613.06	c bounds -124121 >= -453784 @ 607.339
613.96/615.41	c #Conflicts:      75000 | #Constraints:      52538
613.96/615.41	c #Conflicts:      76000 | #Constraints:      53538
613.96/615.41	c bounds -124121 >= -453729 @ 609.668
617.35/618.80	c #Conflicts:      77000 | #Constraints:      54568
617.35/618.80	c #Conflicts:      78000 | #Constraints:      55568
617.35/618.80	c INPROCESSING
617.35/618.80	c GARBAGE COLLECT
617.35/618.80	c #Conflicts:      79000 | #Constraints:      48843
617.35/618.80	c bounds -124121 >= -453674 @ 613.028
822.74/824.77	c #Conflicts:      80000 | #Constraints:      49876
822.74/824.77	c #Conflicts:      81000 | #Constraints:      50876
822.74/824.77	c #Conflicts:      82000 | #Constraints:      51876
822.74/824.77	c #Conflicts:      83000 | #Constraints:      52876
822.74/824.77	c #Conflicts:      84000 | #Constraints:      53876
822.74/824.77	c INPROCESSING
822.74/824.77	c GARBAGE COLLECT
822.74/824.77	c #Conflicts:      85000 | #Constraints:      47629
822.74/824.77	c #Conflicts:      86000 | #Constraints:      48629
822.74/824.77	c #Conflicts:      87000 | #Constraints:      49629
822.74/824.77	c #Conflicts:      88000 | #Constraints:      50629
822.74/824.77	c #Conflicts:      89000 | #Constraints:      51629
822.74/824.77	c #Conflicts:      90000 | #Constraints:      52629
822.74/824.77	c #Conflicts:      91000 | #Constraints:      53629
822.74/824.77	c INPROCESSING
822.74/824.77	c GARBAGE COLLECT
822.74/824.77	c #Conflicts:      92000 | #Constraints:      47503
822.74/824.77	c #Conflicts:      93000 | #Constraints:      48503
822.74/824.77	c #Conflicts:      94000 | #Constraints:      49503
822.74/824.77	c #Conflicts:      95000 | #Constraints:      50503
822.74/824.77	c #Conflicts:      96000 | #Constraints:      51503
822.74/824.77	c #Conflicts:      97000 | #Constraints:      52504
822.74/824.77	c #Conflicts:      98000 | #Constraints:      53504
822.74/824.77	c #Conflicts:      99000 | #Constraints:      54504
822.74/824.77	c #Conflicts:     100000 | #Constraints:      55504
822.74/824.77	c #Conflicts:     101000 | #Constraints:      56504
822.74/824.77	c #Conflicts:     102000 | #Constraints:      57504
822.74/824.77	c #Conflicts:     103000 | #Constraints:      58504
822.74/824.77	c #Conflicts:     104000 | #Constraints:      59504
822.74/824.77	c #Conflicts:     105000 | #Constraints:      60504
822.74/824.77	c #Conflicts:     106000 | #Constraints:      61504
822.74/824.77	c #Conflicts:     107000 | #Constraints:      62504
822.74/824.77	c #Conflicts:     108000 | #Constraints:      63504
822.74/824.77	c #Conflicts:     109000 | #Constraints:      64504
822.74/824.77	c #Conflicts:     110000 | #Constraints:      65504
822.74/824.77	c #Conflicts:     111000 | #Constraints:      66504
822.74/824.77	c #Conflicts:     112000 | #Constraints:      67504
822.74/824.77	c #Conflicts:     113000 | #Constraints:      68504
822.74/824.77	c #Conflicts:     114000 | #Constraints:      69504
822.74/824.77	c #Conflicts:     115000 | #Constraints:      70504
822.74/824.77	c INPROCESSING
822.74/824.77	c GARBAGE COLLECT
822.74/824.77	c #Conflicts:     116000 | #Constraints:      56229
822.74/824.77	c #Conflicts:     117000 | #Constraints:      57229
822.74/824.77	c bounds -124121 >= -453619 @ 817.598
1010.17/1012.60	c #Conflicts:     118000 | #Constraints:      58268
1010.17/1012.60	c #Conflicts:     119000 | #Constraints:      59268
1010.17/1012.60	c #Conflicts:     120000 | #Constraints:      60268
1010.17/1012.60	c #Conflicts:     121000 | #Constraints:      61269
1010.17/1012.60	c #Conflicts:     122000 | #Constraints:      62269
1010.17/1012.60	c #Conflicts:     123000 | #Constraints:      63269
1010.17/1012.60	c INPROCESSING
1010.17/1012.60	c GARBAGE COLLECT
1010.17/1012.60	c #Conflicts:     124000 | #Constraints:      52513
1010.17/1012.60	c #Conflicts:     125000 | #Constraints:      53513
1010.17/1012.60	c #Conflicts:     126000 | #Constraints:      54513
1010.17/1012.60	c #Conflicts:     127000 | #Constraints:      55513
1010.17/1012.60	c bounds -124121 >= -453564 @ 1004.23
1043.79/1046.35	c #Conflicts:     128000 | #Constraints:      56531
1043.79/1046.35	c #Conflicts:     129000 | #Constraints:      57531
1043.79/1046.35	c #Conflicts:     130000 | #Constraints:      58531
1043.79/1046.35	c #Conflicts:     131000 | #Constraints:      59531
1043.79/1046.35	c #Conflicts:     132000 | #Constraints:      60531
1043.79/1046.35	c INPROCESSING
1043.79/1046.35	c GARBAGE COLLECT
1043.79/1046.35	c #Conflicts:     133000 | #Constraints:      51417
1043.79/1046.35	c #Conflicts:     134000 | #Constraints:      52417
1043.79/1046.35	c #Conflicts:     135000 | #Constraints:      53417
1043.79/1046.35	c #Conflicts:     136000 | #Constraints:      54417
1043.79/1046.35	c #Conflicts:     137000 | #Constraints:      55417
1043.79/1046.35	c #Conflicts:     138000 | #Constraints:      56417
1043.79/1046.35	c #Conflicts:     139000 | #Constraints:      57417
1043.79/1046.35	c #Conflicts:     140000 | #Constraints:      58417
1043.79/1046.35	c bounds -124121 >= -453509 @ 1037.66
1090.78/1093.48	c INPROCESSING
1090.78/1093.48	c GARBAGE COLLECT
1090.78/1093.48	c #Conflicts:     141000 | #Constraints:      50060
1090.78/1093.48	c #Conflicts:     142000 | #Constraints:      51060
1090.78/1093.48	c #Conflicts:     143000 | #Constraints:      52060
1090.78/1093.48	c #Conflicts:     144000 | #Constraints:      53060
1090.78/1093.48	c #Conflicts:     145000 | #Constraints:      54060
1090.78/1093.48	c #Conflicts:     146000 | #Constraints:      55060
1090.78/1093.48	c #Conflicts:     147000 | #Constraints:      56060
1090.78/1093.48	c #Conflicts:     148000 | #Constraints:      57060
1090.78/1093.48	c #Conflicts:     149000 | #Constraints:      58060
1090.78/1093.48	c INPROCESSING
1090.78/1093.48	c GARBAGE COLLECT
1090.78/1093.48	c #Conflicts:     150000 | #Constraints:      49829
1090.78/1093.48	c #Conflicts:     151000 | #Constraints:      50829
1090.78/1093.48	c #Conflicts:     152000 | #Constraints:      51829
1090.78/1093.48	c #Conflicts:     153000 | #Constraints:      52829
1090.78/1093.48	c #Conflicts:     154000 | #Constraints:      53829
1090.78/1093.48	c #Conflicts:     155000 | #Constraints:      54829
1090.78/1093.48	c #Conflicts:     156000 | #Constraints:      55829
1090.78/1093.48	c #Conflicts:     157000 | #Constraints:      56829
1090.78/1093.48	c #Conflicts:     158000 | #Constraints:      57829
1090.78/1093.48	c #Conflicts:     159000 | #Constraints:      58829
1090.78/1093.48	c #Conflicts:     160000 | #Constraints:      59829
1090.78/1093.48	c #Conflicts:     161000 | #Constraints:      60829
1090.78/1093.48	c #Conflicts:     162000 | #Constraints:      61829
1090.78/1093.48	c bounds -124121 >= -453454 @ 1084.27
1100.36/1103.09	c #Conflicts:     163000 | #Constraints:      62883
1100.36/1103.09	c #Conflicts:     164000 | #Constraints:      63883
1100.36/1103.09	c #Conflicts:     165000 | #Constraints:      64883
1100.36/1103.09	c #Conflicts:     166000 | #Constraints:      65883
1100.36/1103.09	c #Conflicts:     167000 | #Constraints:      66883
1100.36/1103.09	c bounds -124121 >= -453399 @ 1093.79
1106.93/1109.65	c #Conflicts:     168000 | #Constraints:      67907
1106.93/1109.65	c #Conflicts:     169000 | #Constraints:      68907
1106.93/1109.65	c #Conflicts:     170000 | #Constraints:      69907
1106.93/1109.65	c bounds -124121 >= -453344 @ 1100.31
1115.81/1118.53	c #Conflicts:     171000 | #Constraints:      70937
1115.81/1118.53	c #Conflicts:     172000 | #Constraints:      71937
1115.81/1118.53	c #Conflicts:     173000 | #Constraints:      72937
1115.81/1118.53	c #Conflicts:     174000 | #Constraints:      73937
1115.81/1118.53	c bounds -124121 >= -453289 @ 1109.12
1117.31/1120.04	c bounds -124731 >= -453289 @ 1110.63
1117.41/1120.16	c bounds -124820 >= -453289 @ 1110.74
1117.50/1120.20	c bounds -125197 >= -453289 @ 1110.78
1120.19/1122.96	c bounds -125430 >= -453289 @ 1113.53
1120.31/1123.03	c bounds -125574 >= -453289 @ 1113.6
1127.18/1129.92	c #Conflicts:     175000 | #Constraints:      74963
1127.18/1129.92	c bounds -126184 >= -453289 @ 1120.46
1159.49/1162.39	c #Conflicts:     176000 | #Constraints:      75964
1159.49/1162.39	c #Conflicts:     177000 | #Constraints:      76964
1159.49/1162.39	c #Conflicts:     178000 | #Constraints:      77964
1159.49/1162.39	c #Conflicts:     179000 | #Constraints:      78964
1159.49/1162.39	c INPROCESSING
1159.49/1162.39	c GARBAGE COLLECT
1159.49/1162.39	c bounds -129755 >= -453289 @ 1152.68
1160.90/1163.77	c bounds -129768 >= -453289 @ 1154.05
1160.99/1163.80	c bounds -129769 >= -453289 @ 1154.08
1160.99/1163.84	c bounds -129772 >= -453289 @ 1154.12
1160.99/1163.89	c bounds -129774 >= -453289 @ 1154.16
1161.09/1163.93	c bounds -129850 >= -453289 @ 1154.2
1161.09/1163.98	c bounds -129858 >= -453289 @ 1154.24
1161.20/1164.03	c bounds -129860 >= -453289 @ 1154.3
1161.20/1164.07	c bounds -129862 >= -453289 @ 1154.34
1161.30/1164.13	c bounds -129891 >= -453289 @ 1154.4
1161.50/1164.37	c bounds -129912 >= -453289 @ 1154.63
1161.60/1164.43	c bounds -130022 >= -453289 @ 1154.68
1161.89/1164.79	c bounds -130543 >= -453289 @ 1155.04
1161.99/1164.87	c bounds -130742 >= -453289 @ 1155.12
1163.98/1166.85	c bounds -130975 >= -453289 @ 1157.08
1166.98/1169.88	c #Conflicts:     180000 | #Constraints:      60521
1166.98/1169.88	c bounds -131064 >= -453289 @ 1160.09
1166.98/1169.88	c bounds -131064 >= -453255 @ 1160.09
1166.98/1169.88	c bounds -131064 >= -453221 @ 1160.1
1166.98/1169.89	c bounds -131064 >= -453187 @ 1160.1
1166.98/1169.89	c bounds -131064 >= -453153 @ 1160.1
1166.98/1169.89	c bounds -131064 >= -453119 @ 1160.11
1166.98/1169.89	c bounds -131064 >= -453085 @ 1160.11
1167.08/1169.90	c bounds -131064 >= -453051 @ 1160.11
1167.08/1169.90	c bounds -131064 >= -451283 @ 1160.11
1167.08/1169.90	c bounds -131064 >= -449549 @ 1160.12
1167.08/1169.91	c bounds -131064 >= -447815 @ 1160.12
1167.08/1169.91	c bounds -131064 >= -445979 @ 1160.12
1167.08/1169.91	c bounds -131064 >= -444143 @ 1160.13
1167.08/1169.91	c bounds -131064 >= -442307 @ 1160.13
1167.08/1169.92	c bounds -131064 >= -440471 @ 1160.13
1167.08/1169.92	c bounds -131064 >= -438703 @ 1160.14
1167.08/1169.92	c bounds -131064 >= -436935 @ 1160.14
1167.08/1169.93	c bounds -131064 >= -435099 @ 1160.14
1167.08/1169.93	c bounds -131064 >= -433263 @ 1160.14
1167.08/1169.93	c bounds -131064 >= -431291 @ 1160.15
1167.08/1169.94	c bounds -131064 >= -429285 @ 1160.15
1167.08/1169.94	c bounds -131064 >= -427279 @ 1160.15
1167.08/1169.94	c bounds -131064 >= -425273 @ 1160.16
1167.08/1169.94	c bounds -131064 >= -423267 @ 1160.16
1167.08/1169.95	c bounds -131064 >= -421227 @ 1160.16
1167.08/1169.95	c bounds -131064 >= -419187 @ 1160.16
1167.08/1169.95	c bounds -131064 >= -417419 @ 1160.17
1167.08/1169.96	c bounds -131064 >= -415855 @ 1160.17
1167.08/1169.96	c bounds -131064 >= -414325 @ 1160.17
1167.08/1169.96	c bounds -131064 >= -412761 @ 1160.18
1167.08/1169.97	c bounds -131064 >= -411129 @ 1160.18
1168.38/1171.24	c bounds -131064 >= -411095 @ 1161.44
1168.97/1171.84	c bounds -131064 >= -411061 @ 1162.04
1169.77/1172.65	c bounds -131064 >= -411027 @ 1162.85
1171.47/1174.31	c #Conflicts:     181000 | #Constraints:      61655
1171.47/1174.31	c bounds -131064 >= -410993 @ 1164.5
1180.05/1182.95	c #Conflicts:     182000 | #Constraints:      62670
1180.05/1182.95	c bounds -131119 >= -410993 @ 1173.1
1185.63/1188.58	c #Conflicts:     183000 | #Constraints:      63671
1185.63/1188.58	c #Conflicts:     184000 | #Constraints:      64671
1185.63/1188.58	c bounds -131119 >= -410959 @ 1178.69
1192.61/1195.58	c #Conflicts:     185000 | #Constraints:      65683
1192.61/1195.58	c bounds -131119 >= -410925 @ 1185.66
1195.50/1198.40	c #Conflicts:     186000 | #Constraints:      66701
1195.50/1198.40	c bounds -131208 >= -410925 @ 1188.47
1380.45/1383.80	c #Conflicts:     187000 | #Constraints:      67702
1380.45/1383.80	c #Conflicts:     188000 | #Constraints:      68702
1380.45/1383.80	c #Conflicts:     189000 | #Constraints:      69702
1380.45/1383.80	c INPROCESSING
1380.45/1383.80	c GARBAGE COLLECT
1380.45/1383.80	c bounds -131209 >= -410925 @ 1372.68
1380.95/1384.31	c bounds -131221 >= -410925 @ 1373.18
1380.95/1384.35	c bounds -131352 >= -410925 @ 1373.22
1381.14/1384.56	c bounds -131962 >= -410925 @ 1373.43
1381.44/1384.89	c bounds -132195 >= -410925 @ 1373.76
1383.74/1387.18	c bounds -132572 >= -410925 @ 1376.03
1385.83/1389.24	c #Conflicts:     190000 | #Constraints:      55785
1385.83/1389.24	c bounds -133182 >= -410925 @ 1378.09
1385.93/1389.32	c bounds -133559 >= -410925 @ 1378.16
1386.43/1389.84	c bounds -133572 >= -410925 @ 1378.68
1386.53/1389.90	c bounds -133593 >= -410925 @ 1378.74
1386.53/1389.98	c bounds -133648 >= -410925 @ 1378.81
1386.64/1390.05	c bounds -133703 >= -410925 @ 1378.88
1387.53/1390.99	c bounds -133792 >= -410925 @ 1379.82
1392.82/1396.23	c bounds -136376 >= -410925 @ 1385.04
1446.78/1450.30	c #Conflicts:     191000 | #Constraints:      56793
1446.78/1450.30	c #Conflicts:     192000 | #Constraints:      57793
1446.78/1450.30	c #Conflicts:     193000 | #Constraints:      58793
1446.78/1450.30	c #Conflicts:     194000 | #Constraints:      59793
1446.78/1450.30	c #Conflicts:     195000 | #Constraints:      60793
1446.78/1450.30	c #Conflicts:     196000 | #Constraints:      61793
1446.78/1450.30	c #Conflicts:     197000 | #Constraints:      62793
1446.78/1450.30	c #Conflicts:     198000 | #Constraints:      63793
1446.78/1450.30	c #Conflicts:     199000 | #Constraints:      64793
1446.78/1450.30	c #Conflicts:     200000 | #Constraints:      65793
1446.78/1450.30	c INPROCESSING
1446.78/1450.30	c GARBAGE COLLECT
1446.78/1450.30	c bounds -136520 >= -410925 @ 1438.88
1446.78/1450.32	c bounds -138960 >= -410925 @ 1438.9
1446.78/1450.34	c bounds -139104 >= -410925 @ 1438.92
1446.89/1450.48	c bounds -139481 >= -410925 @ 1439.05
1447.88/1451.47	c bounds -139714 >= -410925 @ 1440.04
1448.08/1451.63	c bounds -141688 >= -410925 @ 1440.2
1459.35/1462.95	c #Conflicts:     201000 | #Constraints:      54159
1459.35/1462.95	c bounds -142065 >= -410925 @ 1451.48
1459.56/1463.12	c bounds -142298 >= -410925 @ 1451.65
1505.15/1508.89	c #Conflicts:     202000 | #Constraints:      55161
1505.15/1508.89	c #Conflicts:     203000 | #Constraints:      56161
1505.15/1508.89	c #Conflicts:     204000 | #Constraints:      57161
1505.15/1508.89	c #Conflicts:     205000 | #Constraints:      58161
1505.15/1508.89	c bounds -143285 >= -410925 @ 1497.26
1549.83/1553.61	c #Conflicts:     206000 | #Constraints:      59162
1549.83/1553.61	c #Conflicts:     207000 | #Constraints:      60162
1549.83/1553.61	c #Conflicts:     208000 | #Constraints:      61162
1549.83/1553.61	c #Conflicts:     209000 | #Constraints:      62162
1549.83/1553.61	c #Conflicts:     210000 | #Constraints:      63162
1549.83/1553.61	c INPROCESSING
1549.83/1553.61	c GARBAGE COLLECT
1549.83/1553.61	c bounds -145869 >= -410925 @ 1541.8
1549.83/1553.63	c bounds -145958 >= -410925 @ 1541.82
1549.83/1553.66	c bounds -146013 >= -410925 @ 1541.85
1549.83/1553.69	c bounds -146479 >= -410925 @ 1541.89
1550.23/1554.08	c bounds -146856 >= -410925 @ 1542.28
1574.97/1578.89	c #Conflicts:     211000 | #Constraints:      52543
1574.97/1578.89	c #Conflicts:     212000 | #Constraints:      53543
1574.97/1578.89	c #Conflicts:     213000 | #Constraints:      54543
1574.97/1578.89	c bounds -147089 >= -410925 @ 1567
1574.97/1578.89	c bounds -147089 >= -410870 @ 1567
1574.97/1578.90	c bounds -147089 >= -410849 @ 1567
1575.07/1578.90	c bounds -147089 >= -410828 @ 1567.01
1575.07/1578.90	c bounds -147089 >= -410807 @ 1567.01
1575.07/1578.90	c bounds -147089 >= -410786 @ 1567.01
1575.07/1578.91	c bounds -147089 >= -410765 @ 1567.02
1575.07/1578.91	c bounds -147089 >= -410744 @ 1567.02
1575.07/1578.91	c bounds -147089 >= -410723 @ 1567.02
1575.07/1578.92	c bounds -147089 >= -409652 @ 1567.03
1575.07/1578.92	c bounds -147089 >= -408581 @ 1567.03
1575.07/1578.92	c bounds -147089 >= -407510 @ 1567.03
1575.07/1578.93	c bounds -147089 >= -406376 @ 1567.03
1575.07/1578.93	c bounds -147089 >= -405284 @ 1567.04
1575.07/1578.93	c bounds -147089 >= -404192 @ 1567.04
1575.07/1578.93	c bounds -147089 >= -403058 @ 1567.04
1575.07/1578.94	c bounds -147089 >= -401819 @ 1567.04
1575.07/1578.94	c bounds -147089 >= -400580 @ 1567.05
1575.07/1578.94	c bounds -147089 >= -399341 @ 1567.05
1575.07/1578.95	c bounds -147089 >= -398081 @ 1567.05
1575.07/1578.95	c bounds -147089 >= -396821 @ 1567.06
1575.07/1578.95	c bounds -147089 >= -395561 @ 1567.06
1575.07/1578.96	c bounds -147089 >= -394553 @ 1567.06
1575.07/1578.96	c bounds -147089 >= -393608 @ 1567.07
1575.07/1578.96	c bounds -147089 >= -392642 @ 1567.07
1575.07/1578.97	c bounds -147089 >= -391571 @ 1567.08
1676.51/1680.66	c #Conflicts:     214000 | #Constraints:      55627
1676.51/1680.66	c #Conflicts:     215000 | #Constraints:      56627
1676.51/1680.66	c #Conflicts:     216000 | #Constraints:      57627
1676.51/1680.66	c #Conflicts:     217000 | #Constraints:      58627
1676.51/1680.66	c #Conflicts:     218000 | #Constraints:      59627
1676.51/1680.66	c #Conflicts:     219000 | #Constraints:      60627
1676.51/1680.66	c #Conflicts:     220000 | #Constraints:      61627
1676.51/1680.66	c #Conflicts:     221000 | #Constraints:      62627
1676.51/1680.66	c INPROCESSING
1676.51/1680.66	c GARBAGE COLLECT
1676.51/1680.66	c #Conflicts:     222000 | #Constraints:      52347
1676.51/1680.66	c #Conflicts:     223000 | #Constraints:      53347
1676.51/1680.66	c #Conflicts:     224000 | #Constraints:      54347
1676.51/1680.66	c #Conflicts:     225000 | #Constraints:      55347
1676.51/1680.66	c #Conflicts:     226000 | #Constraints:      56347
1676.51/1680.66	c #Conflicts:     227000 | #Constraints:      57347
1676.51/1680.66	c #Conflicts:     228000 | #Constraints:      58347
1676.51/1680.66	c #Conflicts:     229000 | #Constraints:      59347
1676.51/1680.66	c #Conflicts:     230000 | #Constraints:      60347
1676.51/1680.66	c bounds -148453 >= -391571 @ 1667.92
1682.90/1687.07	c #Conflicts:     231000 | #Constraints:      61348
1682.90/1687.07	c bounds -148453 >= -391550 @ 1674.28
2133.66/2138.92	c #Conflicts:     232000 | #Constraints:      62363
2133.66/2138.92	c #Conflicts:     233000 | #Constraints:      63363
2133.66/2138.92	c #Conflicts:     234000 | #Constraints:      64363
2133.66/2138.92	c #Conflicts:     235000 | #Constraints:      65363
2133.66/2138.92	c #Conflicts:     236000 | #Constraints:      66363
2133.66/2138.92	c #Conflicts:     237000 | #Constraints:      67363
2133.66/2138.92	c #Conflicts:     238000 | #Constraints:      68363
2133.66/2138.92	c #Conflicts:     239000 | #Constraints:      69363
2133.66/2138.92	c #Conflicts:     240000 | #Constraints:      70363
2133.66/2138.92	c #Conflicts:     241000 | #Constraints:      71363
2133.66/2138.92	c #Conflicts:     242000 | #Constraints:      72363
2133.66/2138.92	c #Conflicts:     243000 | #Constraints:      73363
2133.66/2138.92	c #Conflicts:     244000 | #Constraints:      74363
2133.66/2138.92	c #Conflicts:     245000 | #Constraints:      75363
2133.66/2138.92	c #Conflicts:     246000 | #Constraints:      76363
2133.66/2138.92	c #Conflicts:     247000 | #Constraints:      77363
2133.66/2138.92	c #Conflicts:     248000 | #Constraints:      78363
2133.66/2138.92	c #Conflicts:     249000 | #Constraints:      79363
2133.66/2138.92	c #Conflicts:     250000 | #Constraints:      80363
2133.66/2138.92	c #Conflicts:     251000 | #Constraints:      81363
2133.66/2138.92	c #Conflicts:     252000 | #Constraints:      82363
2133.66/2138.92	c #Conflicts:     253000 | #Constraints:      83363
2133.66/2138.92	c #Conflicts:     254000 | #Constraints:      84363
2133.66/2138.92	c #Conflicts:     255000 | #Constraints:      85363
2133.66/2138.92	c #Conflicts:     256000 | #Constraints:      86363
2133.66/2138.92	c #Conflicts:     257000 | #Constraints:      87363
2133.66/2138.92	c INPROCESSING
2133.66/2138.92	c GARBAGE COLLECT
2133.66/2138.92	c #Conflicts:     258000 | #Constraints:      64755
2133.66/2138.92	c bounds -148686 >= -391550 @ 2123.9
2134.65/2139.96	c bounds -149063 >= -391550 @ 2124.93
2135.45/2140.76	c bounds -149440 >= -391550 @ 2125.72
2136.75/2142.09	c bounds -152024 >= -391550 @ 2127.04
2136.85/2142.14	c bounds -152634 >= -391550 @ 2127.09
2136.85/2142.19	c bounds -153244 >= -391550 @ 2127.14
2137.05/2142.32	c bounds -153477 >= -391550 @ 2127.26
2137.15/2142.49	c bounds -153621 >= -391550 @ 2127.43
2143.63/2148.95	c #Conflicts:     259000 | #Constraints:      65763
2143.63/2148.95	c bounds -154231 >= -391550 @ 2133.84
2145.63/2150.93	c bounds -154608 >= -391550 @ 2135.82
2145.74/2151.08	c bounds -155218 >= -391550 @ 2135.97
2156.40/2161.72	c #Conflicts:     260000 | #Constraints:      66766
2156.40/2161.72	c bounds -157192 >= -391550 @ 2146.57
2157.50/2162.84	c bounds -157802 >= -391550 @ 2147.68
2171.57/2176.90	c #Conflicts:     261000 | #Constraints:      67768
2171.57/2176.90	c bounds -160386 >= -391550 @ 2161.68
2171.78/2177.11	c bounds -160996 >= -391550 @ 2161.89
2173.06/2178.49	c bounds -161373 >= -391550 @ 2163.26
2173.26/2178.60	c bounds -161606 >= -391550 @ 2163.37
2173.36/2178.78	c bounds -161983 >= -391550 @ 2163.55
2175.16/2180.59	c bounds -162970 >= -391550 @ 2165.34
2175.66/2181.01	c bounds -163580 >= -391550 @ 2165.74
2178.66/2184.04	c #Conflicts:     262000 | #Constraints:      68775
2178.66/2184.04	c bounds -163957 >= -391550 @ 2168.75
2187.93/2193.33	c #Conflicts:     263000 | #Constraints:      69776
2187.93/2193.33	c bounds -164567 >= -391550 @ 2177.99
2619.11/2625.56	c #Conflicts:     264000 | #Constraints:      70777
2619.11/2625.56	c #Conflicts:     265000 | #Constraints:      71777
2619.11/2625.56	c #Conflicts:     266000 | #Constraints:      72777
2619.11/2625.56	c #Conflicts:     267000 | #Constraints:      73777
2619.11/2625.56	c #Conflicts:     268000 | #Constraints:      74777
2619.11/2625.56	c #Conflicts:     269000 | #Constraints:      75777
2619.11/2625.56	c INPROCESSING
2619.11/2625.56	c GARBAGE COLLECT
2619.11/2625.56	c rational objective -206654
2625.99/2632.42	c #Conflicts:     270000 | #Constraints:      58928
2625.99/2632.42	c bounds -164944 >= -391550 @ 2614.65
2772.76/2779.57	c #Conflicts:     271000 | #Constraints:      59929
2772.76/2779.57	c #Conflicts:     272000 | #Constraints:      60929
2772.76/2779.57	c #Conflicts:     273000 | #Constraints:      61929
2772.76/2779.57	c #Conflicts:     274000 | #Constraints:      62929
2772.76/2779.57	c #Conflicts:     275000 | #Constraints:      63929
2772.76/2779.57	c #Conflicts:     276000 | #Constraints:      64929
2772.76/2779.57	c #Conflicts:     277000 | #Constraints:      65929
2772.76/2779.57	c #Conflicts:     278000 | #Constraints:      66929
2772.76/2779.57	c #Conflicts:     279000 | #Constraints:      67929
2772.76/2779.57	c #Conflicts:     280000 | #Constraints:      68929
2772.76/2779.57	c bounds -165177 >= -391550 @ 2761.38
2772.76/2779.57	c bounds -165177 >= -391537 @ 2761.38
2772.76/2779.57	c bounds -165177 >= -391524 @ 2761.39
2772.76/2779.58	c bounds -165177 >= -391511 @ 2761.39
2772.76/2779.58	c bounds -165177 >= -391498 @ 2761.39
2772.76/2779.58	c bounds -165177 >= -391485 @ 2761.4
2772.76/2779.59	c bounds -165177 >= -391472 @ 2761.4
2772.76/2779.59	c bounds -165177 >= -390796 @ 2761.4
2772.76/2779.60	c bounds -165177 >= -390146 @ 2761.41
2772.86/2779.60	c bounds -165177 >= -389483 @ 2761.41
2772.86/2779.60	c bounds -165177 >= -388820 @ 2761.41
2772.86/2779.61	c bounds -165177 >= -388118 @ 2761.42
2772.86/2779.61	c bounds -165177 >= -388105 @ 2761.42
2772.86/2779.61	c bounds -165177 >= -388092 @ 2761.43
2772.86/2779.62	c bounds -165177 >= -388079 @ 2761.43
2772.86/2779.63	c bounds -165177 >= -388066 @ 2761.44
2772.86/2779.65	c bounds -165177 >= -387377 @ 2761.46
2772.86/2779.66	c bounds -165177 >= -386636 @ 2761.47
2772.86/2779.66	c bounds -165177 >= -385869 @ 2761.47
2772.86/2779.66	c bounds -165177 >= -385102 @ 2761.47
2772.86/2779.67	c bounds -165177 >= -384335 @ 2761.48
2772.86/2779.67	c bounds -165177 >= -383555 @ 2761.48
2772.86/2779.67	c bounds -165177 >= -382775 @ 2761.48
2772.86/2779.68	c bounds -165177 >= -381995 @ 2761.49
2772.86/2779.68	c bounds -165177 >= -381215 @ 2761.49
2772.86/2779.68	c bounds -165177 >= -380539 @ 2761.49
2772.86/2779.69	c bounds -165177 >= -379863 @ 2761.5
2772.86/2779.69	c bounds -165177 >= -379213 @ 2761.5
2772.86/2779.69	c bounds -165177 >= -378589 @ 2761.5
2772.96/2779.70	c bounds -165177 >= -377991 @ 2761.51
2772.96/2779.70	c bounds -165177 >= -377341 @ 2761.51
2777.06/2783.85	c bounds -165177 >= -377328 @ 2765.64
2905.77/2912.84	c #Conflicts:     281000 | #Constraints:      70043
2905.77/2912.84	c #Conflicts:     282000 | #Constraints:      71043
2905.77/2912.84	c INPROCESSING
2905.77/2912.84	c GARBAGE COLLECT
2905.77/2912.84	c #Conflicts:     283000 | #Constraints:      56881
2905.77/2912.84	c #Conflicts:     284000 | #Constraints:      57881
2905.77/2912.84	c #Conflicts:     285000 | #Constraints:      58881
2905.77/2912.84	c #Conflicts:     286000 | #Constraints:      59881
2905.77/2912.84	c #Conflicts:     287000 | #Constraints:      60881
2905.77/2912.84	c #Conflicts:     288000 | #Constraints:      61881
2905.77/2912.84	c #Conflicts:     289000 | #Constraints:      62881
2905.77/2912.84	c #Conflicts:     290000 | #Constraints:      63881
2905.77/2912.84	c #Conflicts:     291000 | #Constraints:      64881
2905.77/2912.84	c #Conflicts:     292000 | #Constraints:      65881
2905.77/2912.84	c #Conflicts:     293000 | #Constraints:      66881
2905.77/2912.84	c #Conflicts:     294000 | #Constraints:      67881
2905.77/2912.84	c INPROCESSING
2905.77/2912.84	c GARBAGE COLLECT
2905.77/2912.84	c #Conflicts:     295000 | #Constraints:      55105
2905.77/2912.84	c #Conflicts:     296000 | #Constraints:      56105
2905.77/2912.84	c #Conflicts:     297000 | #Constraints:      57105
2905.77/2912.84	c #Conflicts:     298000 | #Constraints:      58105
2905.77/2912.84	c #Conflicts:     299000 | #Constraints:      59105
2905.77/2912.84	c #Conflicts:     300000 | #Constraints:      60105
2905.77/2912.84	c #Conflicts:     301000 | #Constraints:      61105
2905.77/2912.84	c #Conflicts:     302000 | #Constraints:      62105
2905.77/2912.84	c #Conflicts:     303000 | #Constraints:      63105
2905.77/2912.84	c #Conflicts:     304000 | #Constraints:      64105
2905.77/2912.84	c #Conflicts:     305000 | #Constraints:      65105
2905.77/2912.84	c #Conflicts:     306000 | #Constraints:      66105
2905.77/2912.84	c #Conflicts:     307000 | #Constraints:      67105
2905.77/2912.84	c INPROCESSING
2905.77/2912.84	c GARBAGE COLLECT
2905.77/2912.84	c #Conflicts:     308000 | #Constraints:      54828
2905.77/2912.84	c #Conflicts:     309000 | #Constraints:      55828
2905.77/2912.84	c #Conflicts:     310000 | #Constraints:      56828
2905.77/2912.84	c #Conflicts:     311000 | #Constraints:      57828
2905.77/2912.84	c #Conflicts:     312000 | #Constraints:      58828
2905.77/2912.84	c #Conflicts:     313000 | #Constraints:      59828
2905.77/2912.84	c #Conflicts:     314000 | #Constraints:      60828
2905.77/2912.84	c #Conflicts:     315000 | #Constraints:      61828
2905.77/2912.84	c #Conflicts:     316000 | #Constraints:      62828
2905.77/2912.84	c #Conflicts:     317000 | #Constraints:      63828
2905.77/2912.84	c #Conflicts:     318000 | #Constraints:      64828
2905.77/2912.84	c #Conflicts:     319000 | #Constraints:      65828
2905.77/2912.84	c #Conflicts:     320000 | #Constraints:      66828
2905.77/2912.84	c #Conflicts:     321000 | #Constraints:      67828
2905.77/2912.84	c #Conflicts:     322000 | #Constraints:      68828
2905.77/2912.84	c #Conflicts:     323000 | #Constraints:      69828
2905.77/2912.84	c #Conflicts:     324000 | #Constraints:      70828
2905.77/2912.84	c #Conflicts:     325000 | #Constraints:      71828
2905.77/2912.84	c #Conflicts:     326000 | #Constraints:      72828
2905.77/2912.84	c #Conflicts:     327000 | #Constraints:      73828
2905.77/2912.84	c #Conflicts:     328000 | #Constraints:      74828
2905.77/2912.84	c #Conflicts:     329000 | #Constraints:      75828
2905.77/2912.84	c #Conflicts:     330000 | #Constraints:      76828
2905.77/2912.84	c #Conflicts:     331000 | #Constraints:      77828
2905.77/2912.84	c #Conflicts:     332000 | #Constraints:      78828
2905.77/2912.84	c #Conflicts:     333000 | #Constraints:      79828
2905.77/2912.84	c #Conflicts:     334000 | #Constraints:      80828
2905.77/2912.84	c bounds -165177 >= -377315 @ 2893.4
2907.27/2914.40	c bounds -165554 >= -377315 @ 2894.94
2910.66/2917.71	c #Conflicts:     335000 | #Constraints:      81847
2910.66/2917.71	c bounds -165931 >= -377315 @ 2898.24
3117.31/3124.87	c #Conflicts:     336000 | #Constraints:      82848
3117.31/3124.87	c #Conflicts:     337000 | #Constraints:      83848
3117.31/3124.87	c #Conflicts:     338000 | #Constraints:      84848
3117.31/3124.87	c #Conflicts:     339000 | #Constraints:      85848
3117.31/3124.87	c #Conflicts:     340000 | #Constraints:      86848
3117.31/3124.87	c #Conflicts:     341000 | #Constraints:      87848
3117.31/3124.87	c #Conflicts:     342000 | #Constraints:      88848
3117.31/3124.87	c #Conflicts:     343000 | #Constraints:      89848
3117.31/3124.87	c #Conflicts:     344000 | #Constraints:      90848
3117.31/3124.87	c #Conflicts:     345000 | #Constraints:      91848
3117.31/3124.87	c #Conflicts:     346000 | #Constraints:      92848
3117.31/3124.87	c #Conflicts:     347000 | #Constraints:      93848
3117.31/3124.87	c #Conflicts:     348000 | #Constraints:      94848
3117.31/3124.87	c #Conflicts:     349000 | #Constraints:      95848
3117.31/3124.87	c INPROCESSING
3117.31/3124.87	c GARBAGE COLLECT
3117.31/3124.87	c #Conflicts:     350000 | #Constraints:      69011
3117.31/3124.87	c #Conflicts:     351000 | #Constraints:      70011
3117.31/3124.87	c #Conflicts:     352000 | #Constraints:      71011
3117.31/3124.87	c bounds -165931 >= -377302 @ 3104.29
3119.10/3126.65	c #Conflicts:     353000 | #Constraints:      72017
3119.10/3126.65	c #Conflicts:     354000 | #Constraints:      73017
3119.10/3126.65	c bounds -165931 >= -377289 @ 3106.01
3127.59/3135.18	c #Conflicts:     355000 | #Constraints:      74026
3127.59/3135.18	c #Conflicts:     356000 | #Constraints:      75026
3127.59/3135.18	c #Conflicts:     357000 | #Constraints:      76026
3127.59/3135.18	c #Conflicts:     358000 | #Constraints:      77026
3127.59/3135.18	c #Conflicts:     359000 | #Constraints:      78026
3127.59/3135.18	c bounds -165931 >= -377276 @ 3114.43
3366.31/3374.40	c #Conflicts:     360000 | #Constraints:      79041
3366.31/3374.40	c #Conflicts:     361000 | #Constraints:      80041
3366.31/3374.40	c #Conflicts:     362000 | #Constraints:      81041
3366.31/3374.40	c #Conflicts:     363000 | #Constraints:      82041
3366.31/3374.40	c INPROCESSING
3366.31/3374.40	c GARBAGE COLLECT
3366.31/3374.40	c #Conflicts:     364000 | #Constraints:      61939
3366.31/3374.40	c #Conflicts:     365000 | #Constraints:      62939
3366.31/3374.40	c #Conflicts:     366000 | #Constraints:      63939
3366.31/3374.40	c #Conflicts:     367000 | #Constraints:      64939
3366.31/3374.40	c #Conflicts:     368000 | #Constraints:      65939
3366.31/3374.40	c #Conflicts:     369000 | #Constraints:      66939
3366.31/3374.40	c #Conflicts:     370000 | #Constraints:      67939
3366.31/3374.40	c #Conflicts:     371000 | #Constraints:      68939
3366.31/3374.40	c #Conflicts:     372000 | #Constraints:      69939
3366.31/3374.40	c #Conflicts:     373000 | #Constraints:      70939
3366.31/3374.40	c #Conflicts:     374000 | #Constraints:      71939
3366.31/3374.40	c #Conflicts:     375000 | #Constraints:      72939
3366.31/3374.40	c bounds -165931 >= -377263 @ 3351.91

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505680-1751449523/watcher-4505680-1751449523 -o /tmp/evaluation-result-4505680-1751449523/solver-4505680-1751449523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68443 --watchdog 3760 run-opt-break.sh HOME/instance-4505680-1751449523.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=69395, runsolver pid=69392

[startup+0.100063 s]*
/proc/loadavg: 4.13 4.18 4.13 5/269 69397
/proc/meminfo: memFree=108369668/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69397] ppid=69395 vsize=72692 memory=52404 CPUtime=0.08 cores=4,6
/proc/69397/stat : 69397 (pbsuma) R 69395 69395 68432 0 -1 4194304 11105 0 0 0 7 1 0 0 20 0 1 0 60630261 74436608 13101 18446744073709551615 4210688 4653049 140727613114960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15200256 140727613118819 140727613119026 140727613119026 140727613124591 0
/proc/69397/statm: 18173 13101 992 108 0 15581 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76884 KiB
Current children cumulated memory: 55220 KiB

[startup+0.205981 s]*
/proc/loadavg: 4.13 4.18 4.13 5/269 69397
/proc/meminfo: memFree=108325504/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69397] ppid=69395 vsize=84352 memory=64076 CPUtime=0.18 cores=4,6
/proc/69397/stat : 69397 (pbsuma) R 69395 69395 68432 0 -1 4194304 22751 0 0 0 15 3 0 0 20 0 1 0 60630261 86376448 16019 18446744073709551615 4210688 4653049 140727613114960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15200256 140727613118819 140727613119026 140727613119026 140727613124591 0
/proc/69397/statm: 21088 16019 992 108 0 18496 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 88544 KiB
Current children cumulated memory: 66892 KiB

[startup+0.305742 s]*
/proc/loadavg: 4.13 4.18 4.13 5/269 69397
/proc/meminfo: memFree=108325504/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69397] ppid=69395 vsize=84352 memory=64076 CPUtime=0.28 cores=4,6
/proc/69397/stat : 69397 (pbsuma) R 69395 69395 68432 0 -1 4194304 22751 0 0 0 25 3 0 0 20 0 1 0 60630261 86376448 16019 18446744073709551615 4210688 4653049 140727613114960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15200256 140727613118819 140727613119026 140727613119026 140727613124591 0
/proc/69397/statm: 21088 16019 992 108 0 18496 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 88544 KiB
Current children cumulated memory: 66892 KiB

[startup+0.700207 s]
/proc/loadavg: 4.13 4.18 4.13 5/269 69398
/proc/meminfo: memFree=108333280/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=112388 memory=55988 CPUtime=0.2 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 10481 0 0 0 15 5 0 0 20 0 1 0 60630308 115085312 13997 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 28097 13997 2240 1147 0 15524 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116580 KiB
Current children cumulated memory: 58804 KiB

[startup+1.50021 s]
/proc/loadavg: 4.13 4.18 4.13 5/269 69398
/proc/meminfo: memFree=108308992/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=169308 memory=107512 CPUtime=1 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 19308 0 0 0 93 7 0 0 20 0 1 0 60630308 173371392 26878 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 42327 26878 2304 1147 0 29754 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 173500 KiB
Current children cumulated memory: 110328 KiB

[startup+3.10567 s]
/proc/loadavg: 4.13 4.18 4.13 5/269 69398
/proc/meminfo: memFree=108240604/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=241644 memory=177712 CPUtime=2.6 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 35186 0 0 0 246 14 0 0 20 0 1 0 60630308 247443456 44428 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 60411 44428 2368 1147 0 47838 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 245836 KiB
Current children cumulated memory: 180528 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.18 4.13 5/269 69398
/proc/meminfo: memFree=108228584/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=263800 memory=200288 CPUtime=5.78 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 37227 0 0 0 562 16 0 0 20 0 1 0 60630308 270131200 50072 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 65950 50072 2400 1147 0 53377 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 203104 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.18 4.13 5/269 69400
/proc/meminfo: memFree=108212956/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=263800 memory=200672 CPUtime=12.17 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 37336 0 0 0 1199 18 0 0 20 0 1 0 60630308 270131200 50168 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 65950 50168 2400 1147 0 53377 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 203488 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.18 4.13 5/269 69400
/proc/meminfo: memFree=108108612/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=263800 memory=202976 CPUtime=24.94 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 37921 0 0 0 2469 25 0 0 20 0 1 0 60630308 270131200 50744 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 65950 50744 2400 1147 0 53377 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 205792 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.17 4.13 5/269 69400
/proc/meminfo: memFree=107826312/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=426504 memory=336024 CPUtime=50.49 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 63558 0 0 0 4992 57 0 0 20 0 1 0 60630308 436740096 84006 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 106626 84006 2400 1147 0 94053 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 430696 KiB
Current children cumulated memory: 338840 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/268 69402
/proc/meminfo: memFree=107054760/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=568928 memory=474840 CPUtime=101.56 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 87541 0 0 0 10050 106 0 0 20 0 1 0 60630308 582582272 118710 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 142232 118710 2400 1147 0 129659 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 573120 KiB
Current children cumulated memory: 477656 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.12 5/268 69404
/proc/meminfo: memFree=102341980/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=1064452 memory=864620 CPUtime=161.42 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 155848 0 0 0 15980 162 0 0 20 0 1 0 60630308 1089998848 216155 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 266113 216155 2400 1147 0 253540 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1068644 KiB
Current children cumulated memory: 867436 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/269 69407
/proc/meminfo: memFree=100052176/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=1068012 memory=868588 CPUtime=221.29 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 156849 0 0 0 21943 186 0 0 20 0 1 0 60630308 1093644288 217147 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 267003 217147 2400 1147 0 254430 0
Current children cumulated CPU time: 221.75 s

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

/proc/meminfo: memFree=108125968/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=5017372 memory=4596264 CPUtime=3273.98 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 790793 0 0 0 326036 1362 0 0 20 0 1 0 60630308 5137788928 1149066 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1149066 2496 1147 0 1241770 0
Current children cumulated CPU time: 3274.44 s
Current children cumulated vsize: 5021564 KiB
Current children cumulated memory: 4599080 KiB

[startup+3342.3 s]
/proc/loadavg: 3.41 3.92 4.03 3/255 69698
/proc/meminfo: memFree=113675384/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=5017372 memory=4600616 CPUtime=3333.82 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 790841 0 0 0 332000 1382 0 0 20 0 1 0 60630308 5137788928 1150154 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1150154 2496 1147 0 1241770 0
Current children cumulated CPU time: 3334.28 s
Current children cumulated vsize: 5021564 KiB
Current children cumulated memory: 4603432 KiB

[startup+3402.3 s]
/proc/loadavg: 2.58 3.58 3.91 3/254 69700
/proc/meminfo: memFree=113671320/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=5017372 memory=4604712 CPUtime=3393.68 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 790878 0 0 0 337929 1439 0 0 20 0 1 0 60630308 5137788928 1151178 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151178 2496 1147 0 1241770 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 5021564 KiB
Current children cumulated memory: 4607528 KiB

[startup+3462.3 s]
/proc/loadavg: 2.21 3.29 3.79 3/254 69702
/proc/meminfo: memFree=113669404/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=5017372 memory=4607144 CPUtime=3453.56 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 790979 0 0 0 343879 1477 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 5021564 KiB
Current children cumulated memory: 4609960 KiB

[startup+3522.3 s]
/proc/loadavg: 2.18 3.08 3.68 3/254 69705
/proc/meminfo: memFree=113661616/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=5017372 memory=4607144 CPUtime=3513.43 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 790979 0 0 0 349851 1492 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 5021564 KiB
Current children cumulated memory: 4609960 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.90 3.58 3/253 69707
/proc/meminfo: memFree=113645100/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=5017372 memory=4607144 CPUtime=3573.29 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 791122 0 0 0 355826 1503 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 5021564 KiB
Current children cumulated memory: 4609960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 2.15 2.84 3.54 3/253 69707
/proc/meminfo: memFree=113645396/131249996 swapFree=33010684/33010684
[pid=69395] ppid=69392 vsize=4192 memory=2816 CPUtime=0.46 cores=4,6
/proc/69395/stat : 69395 (run-opt-break.s) S 69392 69395 68432 0 -1 4194304 238 23053 0 0 0 0 42 4 20 0 1 0 60630260 4292608 704 18446744073709551615 94218757214208 94218758108741 140725272796736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94218758347792 94218758395536 94218786902016 140725272799585 140725272799714 140725272799714 140725272805316 0
/proc/69395/statm: 1048 704 672 219 0 110 0
[pid=69398] ppid=69395 vsize=5017372 memory=4607144 CPUtime=3599.64 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69395 69395 68432 0 -1 4194304 791123 0 0 0 358451 1513 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 5021564 KiB
Current children cumulated memory: 4609960 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

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

[startup+3609.6 s]
/proc/loadavg: 2.15 2.84 3.54 3/252 69707
/proc/meminfo: memFree=113645396/131249996 swapFree=33010684/33010684
[pid=69398] ppid=69392 vsize=5017372 memory=4607144 CPUtime=3600.53 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69392 69395 68432 0 -1 4194304 791123 0 0 0 358540 1513 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current cumulated CPU time of completed processes: 0.468234 s
Current children cumulated CPU time: 3600.53 s
Current children cumulated vsize: 5017372 KiB
Current children cumulated memory: 4607144 KiB

[startup+3610.4 s]
/proc/loadavg: 2.14 2.83 3.53 3/252 69707
/proc/meminfo: memFree=113645396/131249996 swapFree=33010684/33010684
[pid=69398] ppid=69392 vsize=5017372 memory=4607144 CPUtime=3601.33 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69392 69395 68432 0 -1 4194304 791123 0 0 0 358620 1513 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current cumulated CPU time of completed processes: 0.468234 s
Current children cumulated CPU time: 3601.33 s
Current children cumulated vsize: 5017372 KiB
Current children cumulated memory: 4607144 KiB

[startup+3610.6 s]
/proc/loadavg: 2.14 2.83 3.53 3/252 69707
/proc/meminfo: memFree=113645396/131249996 swapFree=33010684/33010684
[pid=69398] ppid=69392 vsize=5017372 memory=4607144 CPUtime=3601.53 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69392 69395 68432 0 -1 4194304 791123 0 0 0 358640 1513 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current cumulated CPU time of completed processes: 0.468234 s
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 5017372 KiB
Current children cumulated memory: 4607144 KiB

[startup+3610.7 s]
/proc/loadavg: 2.14 2.83 3.53 3/252 69707
/proc/meminfo: memFree=113645396/131249996 swapFree=33010684/33010684
[pid=69398] ppid=69392 vsize=5017372 memory=4607144 CPUtime=3601.63 cores=4,6
/proc/69398/stat : 69398 (roundingsat) R 69392 69395 68432 0 -1 4194304 791123 0 0 0 358650 1513 0 0 20 0 1 0 60630308 5137788928 1151786 18446744073709551615 4227072 8923433 140736516928944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10969088 140736516938084 140736516938280 140736516938280 140736516943850 0
/proc/69398/statm: 1254343 1151786 2496 1147 0 1241770 0
Current cumulated CPU time of completed processes: 0.468234 s
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 5017372 KiB
Current children cumulated memory: 4607144 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.82
CPU time (s): 3602.23
CPU user time (s): 3586.93
CPU system time (s): 15.3033
CPU usage (%): 99.7621
Max. virtual memory (cumulated for all children) (KiB): 5021564
Max. memory (cumulated for all children) (KiB): 4609960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.93
system time used= 15.3033
maximum resident set size= 4607144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 814414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245
involuntary context switches= 2525


# summary of solver processes directly reported to runsolver:
#   pid: 69395,69398
#   total CPU time (s): 3602.23
#   total CPU user time (s): 3586.93
#   total CPU system time (s): 15.3033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37166 second user time and 15.8193 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-02 11:45:24
IDJOB=4505680
IDBENCH=156158
IDSOLVER=3359
FILE ID=nodeC024/4505680-1751449523
RUNJOBID= nodeC024-1751441985-68443
SLURM_JOB_ID= 9598407
Free space on /tmp= 431864 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505680-1751449523/watcher-4505680-1751449523 -o /tmp/evaluation-result-4505680-1751449523/solver-4505680-1751449523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68443 --watchdog 3760  run-opt-break.sh HOME/instance-4505680-1751449523.opb

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

MD5SUM BENCH= 0390bfe3f6c229f0cac833c3202307c0
RANDOM SEED=342044288

nodeC024 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.677
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.36
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.798
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.083
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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.312
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.36
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.674
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.36
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.804
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.36
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		: 3603.264
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        108407532 kB
MemAvailable:   116327544 kB
Buffers:            3280 kB
Cached:          8688224 kB
SwapCached:            0 kB
Active:         13667616 kB
Inactive:        8430008 kB
Active(anon):   13424184 kB
Inactive(anon):        0 kB
Active(file):     243432 kB
Inactive(file):  8430008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9844 kB
Writeback:             8 kB
AnonPages:      13408428 kB
Mapped:           115068 kB
Shmem:             18064 kB
KReclaimable:     171224 kB
Slab:             263008 kB
SReclaimable:     171224 kB
SUnreclaim:        91784 kB
KernelStack:        4336 kB
PageTables:        29932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   15057720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2920448 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432336 MiB
End job on nodeC024 at 2025-07-02 12:45:35