Trace number 2669153

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
PB/CT 0.1Wrong Opt.12192253 0.840871 0.840957

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-p0291.opb
MD5SUM5dbbb39821171ddf7cf17b36f56beeda
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10447498
Best CPU time to get the best result obtained on this benchmark0.38594
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10447498
Optimality of the best value was proved YES
Number of variables290
Total number of constraints205
Number of constraints which are clauses189
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint2
Maximum length of a constraint53
Number of terms in the objective function 288
Biggest coefficient in the objective function 80000000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 686402651
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 80000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 686402651
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 16/0 clauses 189/0 units 0
0.00/0.00	c vars 290
0.00/0.00	c objective 288 + -90390
0.00/0.06	c 0.052991 7.75781 1 446
0.00/0.06	o 110950718
0.00/0.06	c 0.054991 7.92188 1 693
0.00/0.06	o 93394798
0.00/0.06	c 0.054991 7.92188 1 791
0.00/0.06	o 93394532
0.00/0.06	c 0.055991 7.92188 1 959
0.00/0.06	o 62296028
0.00/0.06	c 0.057991 7.92188 2 1033
0.00/0.06	o 51928675
0.00/0.06	c 0.058991 7.92188 3 1153
0.00/0.06	o 51565223
0.00/0.07	c 0.058991 7.92188 5 1247
0.00/0.07	o 51564652
0.07/0.07	c 0.06099 7.92188 8 1400
0.07/0.07	o 49895686
0.07/0.07	c 0.06299 7.92188 8 1538
0.07/0.07	o 49875105
0.07/0.07	c 0.06399 7.92188 8 1647
0.07/0.07	o 49859342
0.07/0.07	c 0.065989 7.92188 8 1763
0.07/0.07	o 46039915
0.07/0.08	c 0.066989 7.92188 10 1825
0.07/0.08	o 46039651
0.07/0.08	c 0.068989 7.92188 11 1957
0.07/0.08	o 44551465
0.07/0.08	c 0.069989 7.92188 11 2024
0.07/0.08	o 44549781
0.07/0.08	c 0.071989 8.10938 11 2097
0.07/0.08	o 44548393
0.07/0.08	c 0.072988 8.10938 11 2158
0.07/0.08	o 44546529
0.07/0.08	c 0.073988 8.10938 11 2231
0.07/0.08	o 44542153
0.07/0.09	c 0.075988 8.10938 11 2301
0.07/0.09	o 44539773
0.07/0.09	c 0.077988 8.10938 11 2380
0.07/0.09	o 44537705
0.07/0.09	c 0.078987 8.10938 14 2482
0.07/0.09	o 44491725
0.07/0.09	c 0.080987 8.10938 14 2551
0.07/0.09	o 44488017
0.07/0.09	c 0.081987 8.10938 13 2611
0.07/0.09	o 44486629
0.07/0.10	c 0.083987 8.10938 13 2700
0.07/0.10	o 44393517
0.09/0.10	c 0.085986 8.10938 13 2731
0.09/0.10	o 44392433
0.09/0.10	c 0.086986 8.10938 13 2801
0.09/0.10	o 44336789
0.09/0.10	c 0.088986 8.10938 13 2843
0.09/0.10	o 44335801
0.09/0.10	c 0.090986 8.10938 13 2905
0.09/0.10	o 44328973
0.09/0.10	c 0.091986 8.10938 13 2949
0.09/0.10	o 44328929
0.09/0.11	c 0.092985 8.10938 13 2990
0.09/0.11	o 44328805
0.09/0.11	c 0.094985 8.10938 13 3035
0.09/0.11	o 44326797
0.09/0.11	c 0.094985 8.10938 13 3087
0.09/0.11	o 44323013
0.09/0.11	c 0.096985 8.10938 13 3141
0.09/0.11	o 44322597
0.09/0.11	c 0.098984 8.10938 13 3177
0.09/0.11	o 44322389
0.09/0.11	c 0.099984 8.10938 13 3220
0.09/0.11	o 44322355
0.09/0.12	c 0.101984 8.10938 13 3259
0.09/0.12	o 44320979
0.09/0.12	c 0.102984 8.10938 13 3311
0.09/0.12	o 44312627
0.09/0.12	c 0.103984 8.10938 13 3384
0.09/0.12	o 44311055
0.09/0.12	c 0.105983 8.10938 15 3520
0.09/0.12	o 41585677
0.09/0.12	c 0.106983 8.10938 16 3618
0.09/0.12	o 41570123
0.09/0.12	c 0.107983 8.10938 16 3689
0.09/0.12	o 41569561
0.09/0.13	c 0.109983 8.10938 16 3744
0.09/0.13	o 41569297
0.09/0.13	c 0.110983 8.10938 16 3828
0.09/0.13	o 41555411
0.09/0.13	c 0.110983 8.10938 16 3916
0.09/0.13	o 41553541
0.09/0.13	c 0.111982 8.10938 16 3985
0.09/0.13	o 41549727
0.09/0.13	c 0.113982 8.10938 16 4037
0.09/0.13	o 41548539
0.09/0.14	c 0.114982 8.10938 16 4104
0.09/0.14	o 41547859
0.09/0.14	c 0.116982 8.10938 16 4199
0.09/0.14	o 41463045
0.09/0.14	c 0.117982 8.10938 16 4254
0.09/0.14	o 41462931
0.09/0.14	c 0.118981 8.10938 16 4373
0.09/0.14	o 41412413
0.09/0.14	c 0.119981 8.10938 16 4433
0.09/0.14	o 41411829
0.09/0.14	c 0.121981 8.10938 16 4489
0.09/0.14	o 41409827
0.09/0.15	c 0.122981 8.10938 16 4591
0.09/0.15	o 41390491
0.09/0.15	c 0.123981 8.10938 16 4647
0.09/0.15	o 41389347
0.09/0.15	c 0.123981 8.10938 16 4718
0.09/0.15	o 41387349
0.09/0.15	c 0.12598 8.10938 21 4790
0.09/0.15	o 41387311
0.09/0.15	c 0.12698 8.10938 24 4862
0.09/0.15	o 41381187
0.09/0.15	c 0.12798 8.10938 24 4937
0.09/0.15	o 41273984
0.09/0.16	c 0.12998 8.10938 24 4992
0.09/0.16	o 41265564
0.09/0.16	c 0.131979 8.10938 24 5050
0.09/0.16	o 41232784
0.09/0.16	c 0.133979 8.10938 24 5108
0.09/0.16	o 41229976
0.09/0.16	c 0.134979 8.10938 24 5176
0.09/0.16	o 41173616
0.09/0.16	c 0.136979 8.10938 24 5241
0.09/0.16	o 41159604
0.09/0.17	c 0.138978 8.10938 24 5299
0.09/0.17	o 41152308
0.09/0.17	c 0.140978 8.10938 24 5377
0.09/0.17	o 41050760
0.09/0.17	c 0.141978 8.10938 24 5442
0.09/0.17	o 41012392
0.09/0.17	c 0.143978 8.10938 24 5498
0.09/0.17	o 41009200
0.09/0.17	c 0.144977 8.10938 24 5551
0.09/0.17	o 41007252
0.09/0.17	c 0.145977 8.10938 24 5594
0.09/0.17	o 41005652
0.09/0.18	c 0.146977 8.10938 24 5660
0.09/0.18	o 40940712
0.09/0.18	c 0.146977 8.10938 24 5712
0.09/0.18	o 40932440
0.09/0.18	c 0.147977 8.23047 24 5761
0.09/0.18	o 40930020
0.09/0.18	c 0.148977 8.23047 24 5816
0.09/0.18	o 40891836
0.09/0.18	c 0.149977 8.23047 24 5862
0.09/0.18	o 40887212
0.09/0.18	c 0.151976 8.23047 24 5910
0.09/0.18	o 40876924
0.09/0.19	c 0.153976 8.23047 24 5966
0.09/0.19	o 40835680
0.09/0.19	c 0.154976 8.23047 24 6020
0.09/0.19	o 40818296
0.09/0.19	c 0.156976 8.23047 24 6061
0.09/0.19	o 40812820
0.09/0.19	c 0.157975 8.23047 24 6111
0.09/0.19	o 40757564
0.09/0.19	c 0.159975 8.23047 24 6152
0.09/0.19	o 40755920
0.09/0.19	c 0.160975 8.23047 24 6186
0.09/0.19	o 40755912
0.19/0.20	c 0.160975 8.23047 24 6224
0.19/0.20	o 40747016
0.19/0.20	c 0.162975 8.23047 24 6257
0.19/0.20	o 40741584
0.19/0.20	c 0.163975 8.23047 24 6294
0.19/0.20	o 40737304
0.19/0.20	c 0.164974 8.23047 24 6329
0.19/0.20	o 40732064
0.19/0.20	c 0.165974 8.23047 24 6362
0.19/0.20	o 40731316
0.19/0.21	c 0.167974 8.23047 24 6397
0.19/0.21	o 40726364
0.19/0.21	c 0.168974 8.23047 24 6429
0.19/0.21	o 40707292
0.19/0.21	c 0.170974 8.23047 24 6447
0.19/0.21	o 40704652
0.19/0.21	c 0.172973 8.23047 24 6463
0.19/0.21	o 40702132
0.19/0.21	c 0.173973 8.23047 24 6476
0.19/0.21	o 40700252
0.19/0.21	c 0.176973 8.23047 26 6518
0.19/0.21	o 40685676
0.19/0.22	c 0.177972 8.23047 26 6553
0.19/0.22	o 40684476
0.19/0.22	c 0.178972 8.23047 26 6580
0.19/0.22	o 40682896
0.19/0.22	c 0.179972 8.23047 26 6620
0.19/0.22	o 40658328
0.19/0.22	c 0.180972 8.23047 26 6646
0.19/0.22	o 40649868
0.19/0.22	c 0.181972 8.23047 26 6662
0.19/0.22	o 40649216
0.19/0.22	c 0.183972 8.23047 26 6682
0.19/0.22	o 40646496
0.19/0.23	c 0.184971 8.23047 26 6703
0.19/0.23	o 40644088
0.19/0.23	c 0.185971 8.23047 26 6718
0.19/0.23	o 40641976
0.19/0.23	c 0.187971 8.23047 31 6802
0.19/0.23	o 40641425
0.19/0.23	c 0.189971 8.23047 31 6940
0.19/0.23	o 40478447
0.19/0.23	c 0.19097 8.23047 31 7081
0.19/0.23	o 39498515
0.19/0.24	c 0.19197 8.23047 31 7167
0.19/0.24	o 39498101
0.19/0.24	c 0.19297 8.23047 31 7251
0.19/0.24	o 39493193
0.19/0.24	c 0.19397 8.23047 31 7374
0.19/0.24	o 39443297
0.19/0.24	c 0.19597 8.23047 31 7500
0.19/0.24	o 39340369
0.19/0.24	c 0.19597 8.35547 30 7567
0.19/0.24	o 39339375
0.19/0.24	c 0.19697 8.35547 30 7671
0.19/0.24	o 39315575
0.19/0.24	c 0.197969 8.35547 30 7763
0.19/0.24	o 39314895
0.19/0.25	c 0.198969 8.35547 30 7895
0.19/0.25	o 38962155
0.19/0.25	c 0.199969 8.35547 30 8000
0.19/0.25	o 38942117
0.19/0.25	c 0.200969 8.35547 30 8071
0.19/0.25	o 38940959
0.19/0.25	c 0.202969 8.35547 30 8195
0.19/0.25	o 38833231
0.19/0.25	c 0.203968 8.35547 30 8304
0.19/0.25	o 38795165
0.19/0.25	c 0.203968 8.35547 30 8433
0.19/0.25	o 38526327
0.19/0.25	c 0.205968 8.35547 30 8482
0.19/0.25	o 38524675
0.19/0.26	c 0.205968 8.35547 30 8575
0.19/0.26	o 38515675
0.19/0.26	c 0.207968 8.35547 30 8656
0.19/0.26	o 38515537
0.19/0.26	c 0.207968 8.35547 30 8741
0.19/0.26	o 38513775
0.19/0.26	c 0.209968 8.35547 30 8831
0.19/0.26	o 38501845
0.19/0.26	c 0.210967 8.35547 32 8948
0.19/0.26	o 38478704
0.19/0.27	c 0.215967 8.35547 48 9110
0.19/0.27	o 35467948
0.19/0.27	c 0.216967 8.35547 47 9210
0.19/0.27	o 35467252
0.19/0.27	c 0.217966 8.35547 47 9333
0.19/0.27	o 35466388
0.19/0.27	c 0.217966 8.35547 47 9443
0.19/0.27	o 35459840
0.19/0.27	c 0.219966 8.35547 47 9553
0.19/0.27	o 35449340
0.19/0.27	c 0.220966 8.35547 47 9675
0.19/0.27	o 35445588
0.19/0.28	c 0.222966 8.35547 49 9771
0.19/0.28	o 23399190
0.19/0.28	c 0.223965 8.35547 49 9850
0.19/0.28	o 23308308
0.19/0.28	c 0.225965 8.35547 49 9915
0.19/0.28	o 23306370
0.19/0.28	c 0.226965 8.35547 49 9981
0.19/0.28	o 23305456
0.19/0.28	c 0.226965 8.35547 49 10059
0.19/0.28	o 23161834
0.19/0.28	c 0.227965 8.35547 49 10137
0.19/0.28	o 22838082
0.19/0.28	c 0.229965 8.35547 49 10185
0.19/0.28	o 22837408
0.19/0.28	c 0.230964 8.35547 49 10246
0.19/0.28	o 22821232
0.19/0.29	c 0.230964 8.35547 13 10315
0.19/0.29	o 22718470
0.19/0.29	c 0.231964 8.35547 13 10353
0.19/0.29	o 22718352
0.19/0.29	c 0.232964 8.35547 13 10405
0.19/0.29	o 22693280
0.19/0.29	c 0.234964 8.35547 13 10458
0.19/0.29	o 22690584
0.19/0.29	c 0.234964 8.35547 13 10519
0.19/0.29	o 22652002
0.19/0.29	c 0.234964 8.35547 13 10560
0.19/0.29	o 22649544
0.19/0.29	c 0.235964 8.35547 13 10609
0.19/0.29	o 22646134
0.19/0.29	c 0.235964 8.35547 13 10660
0.19/0.29	o 22643082
0.19/0.30	c 0.236963 8.35547 13 10697
0.19/0.30	o 22640442
0.29/0.30	c 0.238963 8.48047 13 10745
0.29/0.30	o 22625122
0.29/0.30	c 0.239963 8.48047 13 10784
0.29/0.30	o 22623880
0.29/0.30	c 0.239963 8.48047 13 10823
0.29/0.30	o 22621562
0.29/0.30	c 0.240963 8.48047 13 10859
0.29/0.30	o 22619950
0.29/0.30	c 0.241963 8.48047 13 10896
0.29/0.30	o 22614902
0.29/0.30	c 0.242963 8.48047 13 10938
0.29/0.30	o 22601290
0.29/0.30	c 0.243962 8.48047 13 10978
0.29/0.30	o 22600944
0.29/0.30	c 0.244962 8.48047 13 11007
0.29/0.30	o 22600080
0.29/0.31	c 0.245962 8.48047 13 11040
0.29/0.31	o 22598724
0.29/0.31	c 0.246962 8.48047 13 11066
0.29/0.31	o 22598700
0.29/0.31	c 0.247962 8.48047 13 11100
0.29/0.31	o 22598262
0.29/0.31	c 0.249962 8.48047 13 11125
0.29/0.31	o 22597380
0.29/0.31	c 0.250961 8.48047 13 11157
0.29/0.31	o 22596292
0.29/0.31	c 0.250961 8.48047 13 11187
0.29/0.31	o 22594520
0.29/0.31	c 0.251961 8.48047 13 11215
0.29/0.31	o 22593962
0.29/0.31	c 0.252961 8.48047 13 11249
0.29/0.31	o 22592312
0.29/0.31	c 0.253961 8.48047 13 11274
0.29/0.32	o 22592252
0.29/0.32	c 0.255961 8.48047 13 11308
0.29/0.32	o 22588840
0.29/0.32	c 0.25696 8.48047 13 11339
0.29/0.32	o 22587962
0.29/0.32	c 0.25796 8.48047 14 11428
0.29/0.32	o 20291246
0.29/0.32	c 0.25996 8.48047 15 11509
0.29/0.32	o 20246406
0.29/0.32	c 0.25996 8.48047 17 11590
0.29/0.32	o 20010532
0.29/0.32	c 0.26196 8.48047 17 11645
0.29/0.32	o 20004448
0.29/0.32	c 0.26296 8.48047 17 11712
0.29/0.32	o 19993378
0.29/0.33	c 0.263959 8.48047 17 11788
0.29/0.33	o 19802020
0.29/0.33	c 0.263959 8.48047 17 11851
0.29/0.33	o 19790060
0.29/0.33	c 0.264959 8.48047 17 11904
0.29/0.33	o 19788802
0.29/0.33	c 0.266959 8.48047 17 11968
0.29/0.33	o 19761366
0.29/0.33	c 0.266959 8.48047 17 12037
0.29/0.33	o 19682126
0.29/0.33	c 0.266959 8.48047 17 12078
0.29/0.33	o 19680958
0.29/0.33	c 0.267959 8.48047 17 12130
0.29/0.33	o 19670214
0.29/0.33	c 0.268959 8.48047 17 12176
0.29/0.33	o 19665192
0.29/0.34	c 0.269958 8.48047 17 12228
0.29/0.34	o 19659240
0.29/0.34	c 0.270958 8.48047 17 12273
0.29/0.34	o 19655546
0.29/0.34	c 0.271958 8.60547 17 12316
0.29/0.34	o 19655102
0.29/0.34	c 0.272958 8.60547 17 12357
0.29/0.34	o 19653404
0.29/0.34	c 0.272958 8.60547 17 12402
0.29/0.34	o 19646082
0.29/0.34	c 0.273958 8.60547 17 12456
0.29/0.34	o 19634862
0.29/0.34	c 0.274958 8.60547 17 12502
0.29/0.34	o 19634664
0.29/0.34	c 0.274958 8.60547 17 12535
0.29/0.34	o 19633852
0.29/0.34	c 0.275958 8.60547 17 12584
0.29/0.34	o 19628440
0.29/0.35	c 0.276957 8.60547 17 12642
0.29/0.35	o 19586902
0.29/0.35	c 0.277957 8.60547 17 12691
0.29/0.35	o 19568874
0.29/0.35	c 0.279957 8.60547 17 12732
0.29/0.35	o 19562944
0.29/0.35	c 0.279957 8.60547 17 12779
0.29/0.35	o 19537556
0.29/0.35	c 0.279957 8.60547 17 12810
0.29/0.35	o 19534742
0.29/0.35	c 0.280957 8.60547 17 12883
0.29/0.35	o 19322907
0.29/0.35	c 0.281957 8.60547 18 12937
0.29/0.35	o 19316067
0.29/0.35	c 0.283956 8.60547 18 12992
0.29/0.35	o 19306451
0.29/0.36	c 0.284956 8.60547 18 13050
0.29/0.36	o 19305067
0.29/0.36	c 0.284956 8.60547 18 13092
0.29/0.36	o 19299109
0.29/0.36	c 0.285956 8.60547 18 13139
0.29/0.36	o 19296039
0.29/0.36	c 0.286956 8.60547 18 13173
0.29/0.36	o 19295717
0.29/0.36	c 0.288956 8.60547 18 13224
0.29/0.36	o 19284269
0.29/0.36	c 0.289955 8.60547 18 13258
0.29/0.36	o 19283017
0.29/0.36	c 0.289955 8.60547 18 13306
0.29/0.36	o 19269379
0.29/0.36	c 0.289955 8.60547 18 13344
0.29/0.36	o 19262037
0.29/0.36	c 0.289955 8.60547 18 13374
0.29/0.36	o 19261327
0.29/0.37	c 0.290955 8.60547 18 13410
0.29/0.37	o 19260687
0.29/0.37	c 0.292955 8.60547 18 13453
0.29/0.37	o 19235947
0.29/0.37	c 0.292955 8.60547 18 13481
0.29/0.37	o 19232717
0.29/0.37	c 0.293955 8.60547 18 13518
0.29/0.37	o 19225679
0.29/0.37	c 0.294955 8.60547 18 13557
0.29/0.37	o 19210677
0.29/0.37	c 0.296954 8.60547 24 13678
0.29/0.37	o 17317918
0.29/0.37	c 0.298954 8.60547 24 13751
0.29/0.37	o 17298434
0.29/0.38	c 0.298954 8.60547 24 13812
0.29/0.38	o 17296058
0.29/0.38	c 0.298954 8.60547 24 13885
0.29/0.38	o 17234258
0.29/0.38	c 0.299954 8.60547 24 13952
0.29/0.38	o 17226190
0.29/0.38	c 0.300954 8.60547 24 14013
0.29/0.38	o 17209980
0.29/0.38	c 0.302953 8.60547 24 14065
0.29/0.38	o 17197240
0.29/0.38	c 0.303953 8.60547 24 14140
0.29/0.38	o 17157268
0.29/0.38	c 0.304953 8.60547 24 14211
0.29/0.38	o 17016018
0.29/0.38	c 0.305953 8.73047 24 14275
0.29/0.38	o 16967156
0.29/0.38	c 0.306953 8.73047 24 14323
0.29/0.38	o 16965960
0.29/0.39	c 0.308953 8.73047 24 14368
0.29/0.39	o 16965322
0.29/0.39	c 0.309952 8.73047 24 14402
0.29/0.39	o 16965230
0.29/0.39	c 0.310952 8.73047 24 14459
0.29/0.39	o 16965192
0.29/0.39	c 0.311952 8.73047 24 14503
0.29/0.39	o 16961004
0.29/0.39	c 0.312952 8.73047 24 14560
0.29/0.39	o 16946792
0.29/0.39	c 0.313952 8.73047 24 14595
0.29/0.39	o 16944840
0.29/0.39	c 0.314952 8.73047 24 14633
0.29/0.39	o 16944160
0.29/0.39	c 0.315951 8.73047 24 14687
0.29/0.39	o 16933782
0.29/0.40	c 0.316951 8.73047 24 14733
0.29/0.40	o 16920470
0.39/0.40	c 0.317951 8.73047 24 14778
0.39/0.40	o 16904932
0.39/0.40	c 0.318951 8.73047 24 14810
0.39/0.40	o 16899500
0.39/0.40	c 0.320951 8.73047 24 14837
0.39/0.40	o 16897540
0.39/0.40	c 0.321951 8.73047 24 14869
0.39/0.40	o 16887920
0.39/0.40	c 0.32295 8.73047 24 14885
0.39/0.40	o 16886140
0.39/0.40	c 0.32395 8.73047 24 14911
0.39/0.40	o 16875430
0.39/0.40	c 0.32495 8.73047 24 14929
0.39/0.40	o 16870760
0.39/0.41	c 0.32695 8.73047 26 15007
0.39/0.41	o 16704742
0.39/0.41	c 0.32695 8.73047 26 15053
0.39/0.41	o 16695340
0.39/0.41	c 0.32695 8.73047 26 15115
0.39/0.41	o 16640310
0.39/0.41	c 0.32795 8.73047 26 15160
0.39/0.41	o 16639470
0.39/0.41	c 0.328949 8.73047 26 15219
0.39/0.41	o 16631242
0.39/0.41	c 0.330949 8.73047 26 15275
0.39/0.41	o 16621310
0.39/0.41	c 0.331949 8.73047 26 15333
0.39/0.41	o 16615902
0.39/0.41	c 0.332949 8.73047 26 15383
0.39/0.41	o 16613650
0.39/0.41	c 0.332949 8.73047 26 15435
0.39/0.41	o 16585400
0.39/0.42	c 0.332949 8.73047 26 15489
0.39/0.42	o 16584256
0.39/0.42	c 0.334949 8.73047 26 15531
0.39/0.42	o 16580798
0.39/0.42	c 0.335948 8.73047 26 15574
0.39/0.42	o 16573820
0.39/0.42	c 0.335948 8.73047 26 15635
0.39/0.42	o 16533014
0.39/0.42	c 0.336948 8.73047 26 15685
0.39/0.42	o 16503990
0.39/0.42	c 0.337948 8.73047 26 15723
0.39/0.42	o 16498080
0.39/0.42	c 0.339948 8.73047 26 15749
0.39/0.42	o 16497762
0.39/0.42	c 0.340948 8.73047 26 15776
0.39/0.42	o 16494950
0.39/0.43	c 0.342947 8.73047 45 15839
0.39/0.43	o 16491498
0.39/0.43	c 0.344947 8.73047 45 15887
0.39/0.43	o 16491068
0.39/0.43	c 0.345947 8.73047 45 15955
0.39/0.43	o 16479230
0.39/0.43	c 0.345947 8.85547 45 16030
0.39/0.43	o 16468920
0.39/0.43	c 0.346947 8.85547 45 16091
0.39/0.43	o 16468312
0.39/0.43	c 0.347947 8.85547 45 16159
0.39/0.43	o 16454286
0.39/0.44	c 0.348946 8.85547 45 16200
0.39/0.44	o 16453528
0.39/0.44	c 0.348946 8.85547 45 16264
0.39/0.44	o 16446568
0.39/0.44	c 0.349946 8.85547 45 16313
0.39/0.44	o 16444840
0.39/0.44	c 0.350946 8.85547 45 16358
0.39/0.44	o 16444534
0.39/0.44	c 0.351946 8.85547 45 16408
0.39/0.44	o 16441200
0.39/0.44	c 0.352946 8.85547 45 16449
0.39/0.44	o 16441072
0.39/0.44	c 0.352946 8.85547 45 16519
0.39/0.44	o 16416366
0.39/0.44	c 0.352946 8.85547 45 16569
0.39/0.44	o 16413350
0.39/0.44	c 0.353946 8.85547 45 16631
0.39/0.44	o 16391186
0.39/0.45	c 0.353946 8.85547 45 16661
0.39/0.45	o 16390608
0.39/0.45	c 0.354946 8.85547 45 16713
0.39/0.45	o 16383168
0.39/0.45	c 0.354946 8.85547 45 16738
0.39/0.45	o 16382996
0.39/0.45	c 0.355945 8.85547 45 16775
0.39/0.45	o 16382734
0.39/0.45	c 0.356945 8.85547 45 16815
0.39/0.45	o 16381972
0.39/0.45	c 0.357945 8.85547 45 16858
0.39/0.45	o 16381580
0.39/0.45	c 0.359945 8.85547 45 16891
0.39/0.45	o 16381338
0.39/0.45	c 0.359945 8.85547 45 16919
0.39/0.45	o 16381030
0.39/0.46	c 0.359945 8.85547 45 16949
0.39/0.46	o 16379836
0.39/0.46	c 0.359945 8.85547 45 16979
0.39/0.46	o 16379326
0.39/0.46	c 0.360945 8.85547 45 17005
0.39/0.46	o 16379190
0.39/0.46	c 0.362944 8.85547 45 17030
0.39/0.46	o 16378360
0.39/0.46	c 0.363944 8.85547 45 17048
0.39/0.46	o 16378222
0.39/0.46	c 0.364944 8.85547 45 17089
0.39/0.46	o 16373938
0.39/0.46	c 0.364944 8.85547 45 17126
0.39/0.46	o 16369932
0.39/0.46	c 0.364944 8.85547 47 17232
0.39/0.46	o 16262650
0.39/0.47	c 0.364944 8.85547 48 17319
0.39/0.47	o 16232018
0.39/0.47	c 0.365944 8.85547 48 17384
0.39/0.47	o 16231982
0.39/0.47	c 0.366944 8.85547 48 17456
0.39/0.47	o 16223406
0.39/0.47	c 0.366944 8.85547 48 17521
0.39/0.47	o 16218134
0.39/0.47	c 0.367944 8.85547 48 17586
0.39/0.47	o 16213874
0.39/0.47	c 0.368943 8.98047 48 17600
0.39/0.47	o 16213138
0.39/0.47	c 0.368943 8.98047 48 17692
0.39/0.47	o 16203612
0.39/0.47	c 0.369943 8.98047 48 17768
0.39/0.47	o 16200064
0.39/0.48	c 0.370943 8.98047 48 17846
0.39/0.48	o 16198554
0.39/0.48	c 0.371943 8.98047 48 17915
0.39/0.48	o 16197556
0.39/0.48	c 0.372943 8.98047 48 18008
0.39/0.48	o 16115894
0.39/0.48	c 0.372943 8.98047 48 18080
0.39/0.48	o 16109298
0.39/0.48	c 0.372943 8.98047 48 18149
0.39/0.48	o 16108814
0.39/0.48	c 0.374943 8.98047 48 18232
0.39/0.48	o 16034494
0.39/0.48	c 0.375942 8.98047 48 18279
0.39/0.48	o 16032996
0.39/0.48	c 0.376942 8.98047 48 18339
0.39/0.48	o 16026292
0.39/0.48	c 0.376942 8.98047 48 18394
0.39/0.48	o 16024572
0.39/0.49	c 0.377942 8.98047 48 18448
0.39/0.49	o 16021584
0.39/0.49	c 0.379942 8.98047 48 18525
0.39/0.49	o 15983094
0.39/0.49	c 0.380942 8.98047 48 18573
0.39/0.49	o 15977894
0.39/0.49	c 0.381941 8.98047 48 18632
0.39/0.49	o 15965640
0.39/0.49	c 0.381941 8.98047 48 18677
0.39/0.49	o 15965176
0.39/0.49	c 0.382941 8.98047 48 18726
0.39/0.49	o 15962948
0.39/0.49	c 0.383941 8.98047 48 18769
0.39/0.49	o 15960268
0.39/0.49	c 0.384941 8.98047 48 18824
0.39/0.49	o 15950944
0.39/0.50	c 0.385941 8.98047 48 18870
0.39/0.50	o 15947972
0.49/0.50	c 0.385941 8.98047 48 18908
0.49/0.50	o 15947158
0.49/0.50	c 0.386941 8.98047 48 18941
0.49/0.50	o 15946744
0.49/0.50	c 0.38894 8.98047 48 18983
0.49/0.50	o 15942138
0.49/0.50	c 0.38994 8.98047 48 19024
0.49/0.50	o 15937826
0.49/0.50	c 0.38994 8.98047 48 19061
0.49/0.50	o 15935562
0.49/0.50	c 0.38994 8.98047 48 19094
0.49/0.50	o 15932956
0.49/0.50	c 0.39094 8.98047 48 19131
0.49/0.50	o 15929698
0.49/0.51	c 0.39294 8.98047 48 19153
0.49/0.51	o 15929338
0.49/0.51	c 0.39294 8.98047 48 19186
0.49/0.51	o 15927650
0.49/0.51	c 0.39394 8.98047 48 19222
0.49/0.51	o 15926224
0.49/0.51	c 0.394939 8.98047 48 19246
0.49/0.51	o 15926050
0.49/0.51	c 0.395939 8.98047 48 19271
0.49/0.51	o 15925680
0.49/0.51	c 0.397939 8.98047 48 19298
0.49/0.51	o 15924058
0.49/0.51	c 0.398939 8.98047 48 19317
0.49/0.51	o 15923392
0.49/0.51	c 0.399939 8.98047 48 19338
0.49/0.51	o 15921810
0.49/0.51	c 0.400939 8.98047 48 19375
0.49/0.51	o 15910486
0.49/0.52	c 0.401938 8.98047 48 19397
0.49/0.52	o 15909238
0.49/0.52	c 0.402938 9.10156 48 19406
0.49/0.52	o 15909166
0.49/0.52	c 0.404938 9.10156 48 19425
0.49/0.52	o 15908140
0.49/0.52	c 0.405938 9.10156 48 19439
0.49/0.52	o 15907370
0.49/0.52	c 0.406938 9.10156 48 19451
0.49/0.52	o 15906430
0.49/0.52	c 0.408937 9.10156 51 19532
0.49/0.52	o 15905514
0.49/0.52	c 0.409937 9.10156 51 19604
0.49/0.52	o 15904218
0.49/0.52	c 0.410937 9.10156 51 19679
0.49/0.52	o 15900504
0.49/0.53	c 0.411937 9.10156 51 19750
0.49/0.53	o 15899312
0.49/0.53	c 0.412937 9.10156 51 19840
0.49/0.53	o 15885896
0.49/0.53	c 0.414936 9.10156 51 19912
0.49/0.53	o 15884356
0.49/0.53	c 0.415936 9.10156 51 19982
0.49/0.53	o 15882420
0.49/0.53	c 0.416936 9.10156 51 20066
0.49/0.53	o 15877396
0.49/0.53	c 0.417936 9.10156 51 20130
0.49/0.53	o 15874840
0.49/0.53	c 0.418936 9.10156 51 20219
0.49/0.53	o 15807662
0.49/0.53	c 0.420936 9.10156 51 20313
0.49/0.53	o 15773108
0.49/0.54	c 0.420936 9.10156 51 20365
0.49/0.54	o 15772536
0.49/0.54	c 0.421935 9.10156 66 20475
0.49/0.54	o 15759960
0.49/0.54	c 0.422935 9.10156 66 20569
0.49/0.54	o 15751876
0.49/0.54	c 0.423935 9.10156 66 20669
0.49/0.54	o 15677580
0.49/0.54	c 0.424935 9.10156 66 20769
0.49/0.54	o 15527530
0.49/0.54	c 0.424935 9.10156 66 20861
0.49/0.54	o 15507058
0.49/0.54	c 0.425935 9.10156 66 20958
0.49/0.54	o 15247374
0.49/0.55	c 0.426935 9.10156 66 21010
0.49/0.55	o 15247182
0.49/0.55	c 0.426935 9.10156 66 21080
0.49/0.55	o 15239872
0.49/0.55	c 0.428934 9.10156 66 21146
0.49/0.55	o 15237340
0.49/0.55	c 0.428934 9.10156 66 21194
0.49/0.55	o 15230868
0.49/0.55	c 0.429934 9.10156 66 21255
0.49/0.55	o 15229284
0.49/0.55	c 0.430934 9.10156 66 21317
0.49/0.55	o 15224300
0.49/0.55	c 0.431934 9.10156 66 21394
0.49/0.55	o 15204462
0.49/0.55	c 0.433934 9.10156 66 21455
0.49/0.55	o 15204340
0.49/0.56	c 0.434933 9.10156 66 21503
0.49/0.56	o 15204184
0.49/0.56	c 0.434933 9.10156 66 21575
0.49/0.56	o 15188690
0.49/0.56	c 0.435933 9.10156 66 21637
0.49/0.56	o 15185958
0.49/0.56	c 0.436933 9.10156 66 21691
0.49/0.56	o 15184968
0.49/0.56	c 0.438933 9.10156 66 21726
0.49/0.56	o 15184420
0.49/0.56	c 0.439933 9.10156 66 21768
0.49/0.56	o 15184344
0.49/0.56	c 0.439933 9.10156 66 21827
0.49/0.56	o 15174122
0.49/0.56	c 0.440932 9.22656 66 21885
0.49/0.56	o 15173244
0.49/0.57	c 0.440932 9.22656 66 21934
0.49/0.57	o 15170608
0.49/0.57	c 0.442932 9.22656 66 21993
0.49/0.57	o 15169464
0.49/0.57	c 0.443932 9.22656 66 22061
0.49/0.57	o 15153390
0.49/0.57	c 0.444932 9.22656 66 22136
0.49/0.57	o 15149204
0.49/0.57	c 0.444932 9.22656 66 22183
0.49/0.57	o 15147742
0.49/0.57	c 0.446932 9.22656 66 22249
0.49/0.57	o 15147158
0.49/0.57	c 0.447931 9.22656 66 22324
0.49/0.57	o 15116296
0.49/0.57	c 0.448931 9.22656 66 22380
0.49/0.57	o 15116142
0.49/0.57	c 0.449931 9.22656 66 22444
0.49/0.57	o 15095312
0.49/0.58	c 0.450931 9.22656 66 22509
0.49/0.58	o 15086008
0.49/0.58	c 0.452931 9.22656 66 22539
0.49/0.58	o 15084012
0.49/0.58	c 0.452931 9.22656 66 22618
0.49/0.58	o 15069658
0.49/0.58	c 0.452931 9.22656 67 22660
0.49/0.58	o 15069454
0.49/0.58	c 0.45593 9.22656 80 22777
0.49/0.58	o 14930658
0.49/0.59	c 0.45793 9.22656 81 22898
0.49/0.59	o 13028564
0.49/0.59	c 0.45793 9.22656 82 22954
0.49/0.59	o 13028296
0.49/0.59	c 0.45993 9.22656 84 23046
0.49/0.59	o 13020998
0.49/0.59	c 0.460929 9.22656 85 23105
0.49/0.59	o 13019310
0.49/0.59	c 0.463929 9.22656 93 23172
0.49/0.59	o 13018958
0.49/0.59	c 0.464929 9.22656 81 23240
0.49/0.59	o 13018840
0.49/0.60	c 0.465929 9.22656 82 23304
0.49/0.60	o 13018420
0.59/0.60	c 0.467928 9.22656 82 23372
0.59/0.60	o 13010884
0.59/0.60	c 0.468928 9.22656 82 23422
0.59/0.60	o 13010684
0.59/0.60	c 0.469928 9.22656 82 23465
0.59/0.60	o 13010238
0.59/0.60	c 0.470928 9.22656 82 23502
0.59/0.60	o 13009764
0.59/0.60	c 0.471928 9.22656 82 23548
0.59/0.60	o 13009430
0.59/0.60	c 0.473927 9.22656 82 23628
0.59/0.60	o 12999468
0.59/0.60	c 0.473927 9.22656 82 23679
0.59/0.60	o 12998330
0.59/0.60	c 0.474927 9.22656 82 23746
0.59/0.60	o 12993144
0.59/0.61	c 0.475927 9.22656 82 23799
0.59/0.61	o 12991976
0.59/0.61	c 0.477927 9.22656 82 23853
0.59/0.61	o 12991802
0.59/0.61	c 0.477927 9.22656 82 23923
0.59/0.61	o 12987526
0.59/0.61	c 0.478927 9.22656 82 23981
0.59/0.61	o 12987494
0.59/0.61	c 0.479927 9.22656 82 24022
0.59/0.61	o 12986652
0.59/0.61	c 0.480926 9.22656 82 24084
0.59/0.61	o 12985992
0.59/0.61	c 0.482926 9.22656 82 24134
0.59/0.61	o 12985542
0.59/0.61	c 0.483926 9.22656 82 24173
0.59/0.61	o 12985266
0.59/0.62	c 0.483926 9.35156 82 24212
0.59/0.62	o 12984860
0.59/0.62	c 0.484926 9.35156 82 24276
0.59/0.62	o 12979054
0.59/0.62	c 0.485926 9.35156 82 24321
0.59/0.62	o 12976670
0.59/0.62	c 0.487925 9.35156 82 24365
0.59/0.62	o 12973940
0.59/0.62	c 0.488925 9.35156 82 24412
0.59/0.62	o 12971870
0.59/0.62	c 0.489925 9.35156 82 24452
0.59/0.62	o 12970838
0.59/0.62	c 0.490925 9.35156 82 24508
0.59/0.62	o 12970626
0.59/0.62	c 0.491925 9.35156 82 24548
0.59/0.62	o 12970044
0.59/0.63	c 0.493924 9.35156 82 24593
0.59/0.63	o 12964380
0.59/0.63	c 0.494924 9.35156 82 24626
0.59/0.63	o 12963596
0.59/0.63	c 0.495924 9.35156 82 24666
0.59/0.63	o 12961656
0.59/0.63	c 0.496924 9.35156 82 24699
0.59/0.63	o 12961482
0.59/0.63	c 0.496924 9.35156 82 24728
0.59/0.63	o 12961350
0.59/0.63	c 0.498924 9.35156 82 24778
0.59/0.63	o 12960510
0.59/0.63	c 0.499924 9.35156 82 24813
0.59/0.63	o 12959286
0.59/0.63	c 0.500923 9.35156 82 24849
0.59/0.63	o 12958648
0.59/0.63	c 0.501923 9.35156 82 24877
0.59/0.63	o 12958590
0.59/0.64	c 0.502923 9.35156 82 24914
0.59/0.64	o 12957278
0.59/0.64	c 0.504923 9.35156 82 24950
0.59/0.64	o 12956276
0.59/0.64	c 0.505923 9.35156 82 24993
0.59/0.64	o 12951732
0.59/0.64	c 0.506922 9.35156 82 25035
0.59/0.64	o 12950604
0.59/0.64	c 0.506922 9.35156 82 25057
0.59/0.64	o 12950316
0.59/0.64	c 0.507922 9.35156 82 25088
0.59/0.64	o 12950270
0.59/0.64	c 0.509922 9.35156 82 25118
0.59/0.64	o 12950004
0.59/0.64	c 0.509922 9.35156 82 25153
0.59/0.64	o 12947180
0.59/0.65	c 0.509922 9.35156 82 25188
0.59/0.65	o 12945552
0.59/0.65	c 0.510922 9.35156 82 25214
0.59/0.65	o 12944978
0.59/0.65	c 0.511922 9.35156 82 25248
0.59/0.65	o 12943162
0.59/0.65	c 0.512922 9.35156 82 25278
0.59/0.65	o 12943008
0.59/0.65	c 0.513921 9.35156 87 25384
0.59/0.65	o 12926079
0.59/0.65	c 0.514921 9.35156 91 25471
0.59/0.65	o 12924018
0.59/0.65	c 0.516921 9.35156 94 25527
0.59/0.65	o 12922158
0.59/0.66	c 0.516921 9.35156 97 25638
0.59/0.66	o 12734592
0.59/0.66	c 0.518921 9.35156 99 25721
0.59/0.66	o 12734232
0.59/0.66	c 0.51992 9.35156 102 25809
0.59/0.66	o 12725974
0.59/0.66	c 0.51992 9.35156 102 25905
0.59/0.66	o 12711358
0.59/0.66	c 0.52092 9.35156 102 25993
0.59/0.66	o 12675030
0.59/0.66	c 0.52192 9.47656 102 26085
0.59/0.66	o 12666712
0.59/0.66	c 0.52392 9.47656 102 26152
0.59/0.66	o 12661742
0.59/0.67	c 0.52392 9.47656 102 26246
0.59/0.67	o 12648892
0.59/0.67	c 0.52492 9.47656 102 26332
0.59/0.67	o 12614814
0.59/0.67	c 0.52592 9.47656 102 26383
0.59/0.67	o 12614510
0.59/0.67	c 0.526919 9.47656 102 26467
0.59/0.67	o 12610904
0.59/0.67	c 0.527919 9.47656 102 26513
0.59/0.67	o 12610720
0.59/0.67	c 0.528919 9.47656 102 26558
0.59/0.67	o 12608878
0.59/0.67	c 0.529919 9.47656 102 26617
0.59/0.67	o 12606094
0.59/0.67	c 0.530919 9.47656 102 26701
0.59/0.67	o 12581026
0.59/0.68	c 0.532918 9.47656 102 26787
0.59/0.68	o 12545576
0.59/0.68	c 0.532918 9.47656 102 26856
0.59/0.68	o 12540724
0.59/0.68	c 0.533918 9.47656 102 26929
0.59/0.68	o 12537694
0.59/0.68	c 0.534918 9.47656 102 27007
0.59/0.68	o 12489668
0.59/0.68	c 0.535918 9.47656 102 27055
0.59/0.68	o 12487528
0.59/0.68	c 0.537918 9.47656 102 27119
0.59/0.68	o 12484082
0.59/0.68	c 0.538918 9.47656 102 27184
0.59/0.68	o 12477892
0.59/0.68	c 0.539917 9.47656 102 27237
0.59/0.68	o 12473238
0.59/0.68	c 0.540917 9.47656 102 27278
0.59/0.68	o 12471112
0.59/0.69	c 0.542917 9.47656 102 27327
0.59/0.69	o 12470420
0.59/0.69	c 0.542917 9.47656 102 27356
0.59/0.69	o 12469912
0.59/0.69	c 0.543917 9.47656 102 27392
0.59/0.69	o 12469306
0.59/0.69	c 0.543917 9.47656 102 27424
0.59/0.69	o 12468702
0.59/0.69	c 0.544917 9.47656 102 27465
0.59/0.69	o 12466528
0.59/0.69	c 0.546916 9.47656 102 27494
0.59/0.69	o 12466312
0.59/0.69	c 0.546916 9.47656 102 27524
0.59/0.69	o 12465912
0.59/0.69	c 0.547916 9.47656 102 27538
0.59/0.69	o 12465306
0.59/0.70	c 0.548916 9.47656 102 27575
0.59/0.70	o 12465034
0.69/0.70	c 0.548916 9.47656 102 27618
0.69/0.70	o 12462234
0.69/0.70	c 0.550916 9.47656 102 27650
0.69/0.70	o 12461526
0.69/0.70	c 0.550916 9.47656 102 27696
0.69/0.70	o 12456288
0.69/0.70	c 0.551916 9.47656 102 27735
0.69/0.70	o 12455448
0.69/0.70	c 0.552915 9.47656 102 27782
0.69/0.70	o 12448206
0.69/0.70	c 0.553915 9.47656 102 27818
0.69/0.70	o 12446188
0.69/0.70	c 0.554915 9.47656 102 27853
0.69/0.70	o 12443408
0.69/0.71	c 0.555915 9.47656 102 27889
0.69/0.71	o 12442780
0.69/0.71	c 0.555915 9.47656 102 27920
0.69/0.71	o 12441760
0.69/0.71	c 0.556915 9.47656 102 27954
0.69/0.71	o 12441010
0.69/0.71	c 0.557915 9.47656 102 27990
0.69/0.71	o 12436606
0.69/0.71	c 0.558915 9.60156 102 28014
0.69/0.71	o 12436478
0.69/0.71	c 0.559914 9.60156 102 28031
0.69/0.71	o 12436158
0.69/0.71	c 0.559914 9.60156 102 28047
0.69/0.71	o 12435826
0.69/0.71	c 0.560914 9.60156 102 28065
0.69/0.71	o 12435250
0.69/0.72	c 0.560914 9.60156 102 28097
0.69/0.72	o 12432996
0.69/0.72	c 0.562914 9.60156 102 28120
0.69/0.72	o 12431904
0.69/0.72	c 0.562914 9.60156 102 28146
0.69/0.72	o 12430240
0.69/0.72	c 0.563914 9.60156 102 28164
0.69/0.72	o 12429418
0.69/0.72	c 0.564914 9.60156 102 28190
0.69/0.72	o 12427782
0.69/0.72	c 0.565913 9.60156 102 28213
0.69/0.72	o 12427014
0.69/0.72	c 0.567913 9.60156 102 28235
0.69/0.72	o 12425626
0.69/0.72	c 0.568913 9.60156 102 28253
0.69/0.72	o 12425334
0.69/0.72	c 0.568913 9.60156 102 28271
0.69/0.72	o 12424792
0.69/0.73	c 0.568913 9.60156 102 28289
0.69/0.73	o 12424588
0.69/0.73	c 0.568913 9.60156 102 28311
0.69/0.73	o 12424216
0.69/0.73	c 0.569913 9.60156 102 28323
0.69/0.73	o 12423818
0.69/0.73	c 0.571913 9.60156 102 28337
0.69/0.73	o 12423028
0.69/0.73	c 0.572912 9.60156 102 28359
0.69/0.73	o 12421848
0.69/0.73	c 0.573912 9.60156 102 28372
0.69/0.73	o 12421314
0.69/0.73	c 0.573912 9.60156 102 28384
0.69/0.73	o 12420446
0.69/0.73	c 0.574912 9.60156 102 28393
0.69/0.73	o 12420138
0.69/0.73	c 0.575912 9.60156 102 28402
0.69/0.74	o 12420096
0.69/0.74	c 0.577912 9.60156 102 28416
0.69/0.74	o 12419548
0.69/0.74	c 0.578911 9.60156 102 28429
0.69/0.74	o 12419342
0.69/0.74	c 0.579911 9.60156 102 28439
0.69/0.74	o 12418992
0.69/0.74	c 0.580911 9.60156 102 28449
0.69/0.74	o 12418228
0.69/0.74	c 0.583911 9.60156 117 28561
0.69/0.74	o 12258317
0.69/0.74	c 0.58591 9.60156 121 28610
0.69/0.74	o 12258119
0.69/0.75	c 0.58591 9.60156 121 28659
0.69/0.75	o 12256981
0.69/0.75	c 0.58691 9.60156 62 28711
0.69/0.75	o 12253375
0.69/0.75	c 0.58891 9.60156 62 28757
0.69/0.75	o 12250559
0.69/0.75	c 0.58891 9.60156 62 28790
0.69/0.75	o 12249829
0.69/0.75	c 0.58991 9.60156 62 28840
0.69/0.75	o 12248137
0.69/0.75	c 0.59091 9.60156 62 28866
0.69/0.75	o 12247613
0.69/0.75	c 0.59191 9.60156 62 28910
0.69/0.75	o 12244621
0.69/0.75	c 0.592909 9.60156 62 28961
0.69/0.75	o 12241737
0.69/0.76	c 0.594909 9.73047 62 28999
0.69/0.76	o 12241731
0.69/0.76	c 0.595909 9.73047 62 29026
0.69/0.76	o 12241275
0.69/0.76	c 0.596909 9.73047 62 29052
0.69/0.76	o 12241185
0.69/0.76	c 0.597909 9.73047 62 29079
0.69/0.76	o 12240861
0.69/0.76	c 0.598908 9.73047 62 29103
0.69/0.76	o 12240549
0.69/0.76	c 0.599908 9.73047 62 29137
0.69/0.76	o 12238417
0.69/0.76	c 0.600908 9.73047 62 29164
0.69/0.76	o 12238067
0.69/0.76	c 0.601908 9.73047 62 29200
0.69/0.76	o 12235221
0.69/0.76	c 0.602908 9.73047 62 29234
0.69/0.76	o 12234373
0.69/0.77	c 0.603908 9.73047 62 29278
0.69/0.77	o 12229153
0.69/0.77	c 0.603908 9.73047 62 29324
0.69/0.77	o 12217173
0.69/0.77	c 0.604908 9.73047 62 29358
0.69/0.77	o 12213533
0.69/0.77	c 0.605907 9.73047 62 29381
0.69/0.77	o 12213339
0.69/0.77	c 0.607907 9.73047 62 29402
0.69/0.77	o 12212901
0.69/0.77	c 0.608907 9.73047 62 29427
0.69/0.77	o 12211503
0.69/0.77	c 0.608907 9.73047 62 29441
0.69/0.77	o 12211103
0.69/0.77	c 0.609907 9.73047 62 29453
0.69/0.77	o 12210933
0.69/0.77	c 0.609907 9.73047 62 29466
0.69/0.77	o 12210563
0.69/0.78	c 0.609907 9.73047 62 29483
0.69/0.78	o 12209831
0.69/0.78	c 0.610907 9.73047 62 29496
0.69/0.78	o 12209425
0.69/0.78	c 0.611906 9.73047 62 29508
0.69/0.78	o 12208953
0.69/0.78	c 0.613906 9.73047 62 29522
0.69/0.78	o 12208129
0.69/0.78	c 0.614906 9.73047 62 29532
0.69/0.78	o 12207633
0.69/0.78	c 0.615906 9.73047 62 29541
0.69/0.78	o 12207365
0.69/0.78	c 0.616906 9.73047 62 29554
0.69/0.78	o 12206953
0.69/0.78	c 0.617906 9.73047 62 29580
0.69/0.78	o 12206003
0.69/0.78	c 0.618905 9.73047 62 29594
0.69/0.78	o 12205103
0.69/0.79	c 0.619905 9.73047 62 29621
0.69/0.79	o 12204597
0.69/0.79	c 0.620905 9.73047 62 29636
0.69/0.79	o 12204283
0.69/0.79	c 0.622905 9.73047 62 29652
0.69/0.79	o 12204027
0.69/0.79	c 0.623905 9.73047 62 29678
0.69/0.79	o 12203757
0.69/0.79	c 0.623905 9.73047 62 29693
0.69/0.79	o 12202943
0.69/0.79	c 0.624905 9.73047 62 29706
0.69/0.79	o 12202865
0.69/0.79	c 0.625904 9.73047 62 29715
0.69/0.79	o 12202123
0.69/0.79	c 0.626904 9.73047 62 29726
0.69/0.79	o 12201545
0.69/0.79	c 0.626904 9.73047 62 29749
0.69/0.79	o 12200385
0.69/0.80	c 0.627904 9.73047 62 29768
0.69/0.80	o 12197601
0.79/0.80	c 0.628904 9.73047 62 29776
0.79/0.80	o 12197273
0.79/0.80	c 0.630904 9.73047 62 29788
0.79/0.80	o 12196901
0.79/0.80	c 0.631903 9.73047 62 29802
0.79/0.80	o 12194989
0.79/0.80	c 0.632903 9.85547 62 29808
0.79/0.80	o 12194803
0.79/0.80	c 0.633903 9.85547 62 29820
0.79/0.80	o 12194491
0.79/0.80	c 0.634903 9.85547 62 29825
0.79/0.80	o 12194453
0.79/0.80	c 0.635903 9.85547 62 29835
0.79/0.80	o 12194313
0.79/0.80	c 0.636903 9.85547 62 29842
0.79/0.80	o 12193963
0.79/0.81	c 0.637903 9.85547 62 29852
0.79/0.81	o 12193367
0.79/0.81	c 0.638902 9.85547 62 29859
0.79/0.81	o 12192603
0.79/0.81	c 0.640902 9.85547 62 29863
0.79/0.81	o 12192253
0.79/0.81	c 0.641902 9.85547 62 29866
0.79/0.81	s OPTIMUM FOUND
0.79/0.81	v -x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290

Verifier Data 

OK	12192253

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669153-1276435944/watcher-2669153-1276435944 -o /tmp/evaluation-result-2669153-1276435944/solver-2669153-1276435944 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669153-1276435944.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 23833
/proc/meminfo: memFree=1820944/2059040 swapFree=4134520/4192956
[pid=23833] ppid=23831 vsize=3252 CPUtime=0
/proc/23833/stat : 23833 (pbct) R 23831 23833 22114 0 -1 4202496 492 0 0 0 0 0 0 0 24 0 1 0 19180841 3330048 414 1992294400 134512640 136485738 4288647456 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23833/statm: 813 415 194 482 0 329 0

[startup+0.0729669 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 23833
/proc/meminfo: memFree=1820944/2059040 swapFree=4134520/4192956
[pid=23833] ppid=23831 vsize=8108 CPUtime=0.07
/proc/23833/stat : 23833 (pbct) R 23831 23833 22114 0 -1 4202496 1747 0 0 0 6 1 0 0 24 0 1 0 19180841 8302592 1662 1992294400 134512640 136485738 4288647456 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23833/statm: 2027 1662 243 482 0 1543 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8108

[startup+0.102003 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 23833
/proc/meminfo: memFree=1820944/2059040 swapFree=4134520/4192956
[pid=23833] ppid=23831 vsize=8300 CPUtime=0.09
/proc/23833/stat : 23833 (pbct) R 23831 23833 22114 0 -1 4202496 1772 0 0 0 8 1 0 0 24 0 1 0 19180841 8499200 1671 1992294400 134512640 136485738 4288647456 18446744073709551615 135045060 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23833/statm: 2075 1671 243 482 0 1591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8300

[startup+0.300992 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 23833
/proc/meminfo: memFree=1820944/2059040 swapFree=4134520/4192956
[pid=23833] ppid=23831 vsize=8680 CPUtime=0.29
/proc/23833/stat : 23833 (pbct) R 23831 23833 22114 0 -1 4202496 1996 0 0 0 23 6 0 0 24 0 1 0 19180841 8888320 1774 1992294400 134512640 136485738 4288647456 18446744073709551615 136086046 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23833/statm: 2170 1774 243 482 0 1686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8680

[startup+0.701032 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 23833
/proc/meminfo: memFree=1820944/2059040 swapFree=4134520/4192956
[pid=23833] ppid=23831 vsize=9700 CPUtime=0.69
/proc/23833/stat : 23833 (pbct) R 23831 23833 22114 0 -1 4202496 2612 0 0 0 54 15 0 0 25 0 1 0 19180841 9932800 2069 1992294400 134512640 136485738 4288647456 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23833/statm: 2425 2069 243 482 0 1941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9700

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

[startup+0.801042 s]
/proc/loadavg: 0.99 0.97 0.98 3/106 23833
/proc/meminfo: memFree=1820944/2059040 swapFree=4134520/4192956
[pid=23833] ppid=23831 vsize=9960 CPUtime=0.79
/proc/23833/stat : 23833 (pbct) R 23831 23833 22114 0 -1 4202496 2773 0 0 0 62 17 0 0 25 0 1 0 19180841 10199040 2146 1992294400 134512640 136485738 4288647456 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23833/statm: 2490 2146 243 482 0 2006 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 9960

Child status: 0
Real time (s): 0.840957
CPU time (s): 0.840871
CPU user time (s): 0.667898
CPU system time (s): 0.172973
CPU usage (%): 99.9898
Max. virtual memory (cumulated for all children) (KiB): 9960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.667898
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2

runsolver used 0.011998 second user time and 0.028995 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-13 15:32:24
IDJOB=2669153
IDBENCH=1519
IDSOLVER=1170
FILE ID=node017/2669153-1276435944
PBS_JOBID= 11173309
Free space on /tmp= 62368 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669153-1276435944/watcher-2669153-1276435944 -o /tmp/evaluation-result-2669153-1276435944/solver-2669153-1276435944 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2669153-1276435944.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5dbbb39821171ddf7cf17b36f56beeda
RANDOM SEED=253652568

node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821472 kB
Buffers:         35604 kB
Cached:         124520 kB
SwapCached:      11708 kB
Active:          96748 kB
Inactive:        77308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821472 kB
SwapTotal:     4192956 kB
SwapFree:      4134520 kB
Dirty:            1868 kB
Writeback:           0 kB
AnonPages:       12316 kB
Mapped:           9232 kB
Slab:            41744 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62368 MiB
End job on node017 at 2010-06-13 15:32:25