Trace number 41549

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, and are wall clock time (not CPU 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
PBS 4.1L? (TO) 1800.45 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4666
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb ......
0.09	c done parsing opb.
0.09	o 69309
0.10	o 63766
0.10	o 52951
0.11	o 52924
0.12	o 51285
0.13	o 47895
0.13	o 44456
0.14	o 39363
0.15	o 39360
0.15	o 39096
0.16	o 38033
0.17	o 37412
0.18	o 37098
0.18	o 35973
0.19	o 35661
0.21	o 35660
0.21	o 27420
0.22	o 26201
0.23	o 15509
0.23	o 15297
0.24	o 14530
0.24	o 14277
0.25	o 14108
0.25	o 14107
0.26	o 14106
0.27	o 14105
0.27	o 14104
0.28	o 14102
0.29	o 14101
0.30	o 10092
0.30	o 10071
0.31	o 8833
0.31	o 8753
0.32	o 8749
0.32	o 8747
0.33	o 8745
0.33	o 8705
0.34	o 8676
0.34	o 8627
0.35	o 8603
0.35	o 8343
0.36	o 8342
0.36	o 8341
0.37	o 8337
0.37	o 8241
0.38	o 8240
0.38	o 8204
0.39	o 8203
0.40	o 8202
21.67	o 8201
21.68	o 8200
21.70	o 8199
21.71	o 8198
21.71	o 8197
21.72	o 8196
21.72	o 8195
21.73	o 8194
21.73	o 8193
21.73	o 8192
21.74	o 8191
21.74	o 8190
21.75	o 8189
21.75	o 8188
21.75	o 8187
21.76	o 8186
21.76	o 8185
21.76	o 8184
21.92	o 8183
21.93	o 8182
21.93	o 8181
21.94	o 8180
21.94	o 8179
21.95	o 8178
21.95	o 8177
21.96	o 8176
21.96	o 8175
21.96	o 8174
21.97	o 8173
21.97	o 8172
21.98	o 8171
21.98	o 8170
21.98	o 8169
21.99	o 8168
21.99	o 8167
21.99	o 8166
22.00	o 8165
22.00	o 8164
22.01	o 8163
22.01	o 8162
22.01	o 8161
22.01	o 8160
22.02	o 8159
22.02	o 8158
22.03	o 8157
22.03	o 8156
22.03	o 8155
22.03	o 8154
22.04	o 8153
22.04	o 8152
22.04	o 8151
22.05	o 8150
22.05	o 8149
22.05	o 8148
22.06	o 8147
22.06	o 8146
22.06	o 8145
22.07	o 8144
22.07	o 8143
22.07	o 8142
22.08	o 8141
25.99	o 8140
26.00	o 8139
26.01	o 8138
26.01	o 8137
26.01	o 8136
26.02	o 8135
26.02	o 8134
26.03	o 8133
26.03	o 8132
26.04	o 8131
26.04	o 8130
26.04	o 8129
26.05	o 8128
26.05	o 8127
26.05	o 8126
26.06	o 8125
26.06	o 8124
26.07	o 8123
26.07	o 8122
26.07	o 8121
26.08	o 8120
26.08	o 8119
26.08	o 8118
26.09	o 8117
26.09	o 8116
26.09	o 8115
26.10	o 8114
26.10	o 8113
26.10	o 8112
26.11	o 8111
26.11	o 8110
26.11	o 8109
26.12	o 8108
26.12	o 8107
26.12	o 8106
26.13	o 8105
26.13	o 8104
26.13	o 8103
26.14	o 8102
26.14	o 8101
26.14	o 8100
26.15	o 8099
26.15	o 8098
26.15	o 8097
26.15	o 8096
26.16	o 8095
26.16	o 8094
26.16	o 8093
26.17	o 8092
26.17	o 8091
26.18	o 8090
44.56	o 8089
44.57	o 8088
44.57	o 8087
44.58	o 8086
44.59	o 8085
44.59	o 8084
44.60	o 8083
44.60	o 8082
44.61	o 8081
44.61	o 8080
44.62	o 8079
44.62	o 8078
44.63	o 8077
44.63	o 8076
44.64	o 8075
44.64	o 8074
44.64	o 8073
44.65	o 8072
44.65	o 8071
44.66	o 8070
44.66	o 8069
44.67	o 8068
44.67	o 8067
44.67	o 8066
44.68	o 8065
44.68	o 8064
44.69	o 8063
44.69	o 8062
44.70	o 8061
44.70	o 8060
44.70	o 8059
44.71	o 8058
44.71	o 8057
44.72	o 8056
44.73	o 8055
44.73	o 8054
44.84	o 8053
44.84	o 8052
44.85	o 8051
44.85	o 8050
44.86	o 8049
44.86	o 8048
44.87	o 8047
44.91	o 8046
55.45	o 8045
55.46	o 8044
55.47	o 8043
73.26	o 8042
73.27	o 8041
73.27	o 8040
73.27	o 8039
73.28	o 8038
73.28	o 8037
73.29	o 8036
73.29	o 8035
73.29	o 8034
73.29	o 8033
73.30	o 8032
73.30	o 8031
73.30	o 8030
73.31	o 8029
73.31	o 8028
73.31	o 8027
73.32	o 8026
73.32	o 8025
73.32	o 8024
73.33	o 8023
73.33	o 8022
73.34	o 8021
73.34	o 8020
73.34	o 8019
73.35	o 8018
73.35	o 8017
73.35	o 8016
73.36	o 8015
73.36	o 8014
73.36	o 8013
73.37	o 8012
73.37	o 8011
73.37	o 8010
73.38	o 8009
73.38	o 8008
73.38	o 8007
73.39	o 8006
73.39	o 8005
73.39	o 8004
73.40	o 8003
73.40	o 8002
73.40	o 8001
73.41	o 8000
73.41	o 7999
73.41	o 7998
73.42	o 7997
73.42	o 7996
73.42	o 7995
73.43	o 7994
73.43	o 7993
73.43	o 7992
73.44	o 7991
73.44	o 7990
73.44	o 7989
73.45	o 7988
73.45	o 7987
73.46	o 7986
73.46	o 7985
73.46	o 7984
73.47	o 7983
73.47	o 7982
73.47	o 7981
73.47	o 7980
73.48	o 7979
73.48	o 7978
73.49	o 7977
73.49	o 7976
73.49	o 7975
73.49	o 7974
73.50	o 7973
73.50	o 7972
73.51	o 7971
73.51	o 7970
73.51	o 7969
73.51	o 7968
73.52	o 7967
73.52	o 7966
73.52	o 7965
73.53	o 7964
73.53	o 7963
73.53	o 7962
73.54	o 7961
73.54	o 7960
73.54	o 7959
73.55	o 7958
73.55	o 7957
73.56	o 7956
73.56	o 7955
73.56	o 7954
73.56	o 7953
73.57	o 7952
73.57	o 7951
73.57	o 7950
73.58	o 7949
73.58	o 7948
73.58	o 7947
73.59	o 7946
73.59	o 7945
73.59	o 7944
73.60	o 7943
73.60	o 7942
73.60	o 7941
73.61	o 7940
73.61	o 7939
73.61	o 7938
73.62	o 7937
73.62	o 7936
73.62	o 7935
73.63	o 7934
73.63	o 7933
73.63	o 7932
73.64	o 7931
73.64	o 7930
73.64	o 7929
73.65	o 7928
73.65	o 7927
73.66	o 7926
73.66	o 7925
73.66	o 7924
73.66	o 7923
73.67	o 7922
73.67	o 7921
73.68	o 7920
73.68	o 7919
73.68	o 7918
73.69	o 7917
73.69	o 7916
73.69	o 7915
73.69	o 7914
73.70	o 7913
73.70	o 7912
73.71	o 7911
73.71	o 7910
73.71	o 7909
73.71	o 7908
73.72	o 7907
73.72	o 7906
73.72	o 7905
73.73	o 7904
73.73	o 7903
73.73	o 7902
73.74	o 7901
73.74	o 7900
73.74	o 7899
73.75	o 7898
73.75	o 7897
73.93	o 7896
170.33	o 7895
173.27	o 7894
173.28	o 7893
173.28	o 7892
173.28	o 7891
173.29	o 7890
173.29	o 7889
173.30	o 7888
173.30	o 7887
173.30	o 7886
173.31	o 7885
173.31	o 7884
173.32	o 7883
173.32	o 7882
173.33	o 7881
173.33	o 7880
173.34	o 7879
173.34	o 7878
173.35	o 7877
173.35	o 7876
173.36	o 7875
173.36	o 7874
173.36	o 7873
173.37	o 7872
173.37	o 7871
173.38	o 7870
173.38	o 7869
173.38	o 7868
173.39	o 7867
173.39	o 7866
173.40	o 7865
173.40	o 7864
173.41	o 7863
173.41	o 7862
173.41	o 7861
173.42	o 7860
173.42	o 7859
173.43	o 7858
173.43	o 7857
173.43	o 7856
173.44	o 7855
173.44	o 7854
173.45	o 7853
173.45	o 7852
173.45	o 7851
173.46	o 7850
173.46	o 7849
173.47	o 7848
173.47	o 7847
173.48	o 7846
173.48	o 7845
173.48	o 7844
173.49	o 7843
173.49	o 7842
173.50	o 7841
173.50	o 7840
173.51	o 7839
173.51	o 7838
173.51	o 7837
173.52	o 7836
173.52	o 7835
173.53	o 7834
173.53	o 7833
173.54	o 7832
173.54	o 7831
173.54	o 7830
173.55	o 7829
173.55	o 7828
173.56	o 7827
173.56	o 7826
173.56	o 7825
173.57	o 7824
173.57	o 7823
173.57	o 7822
173.58	o 7821
173.58	o 7820
173.59	o 7819
173.59	o 7818
173.60	o 7817
173.60	o 7816
173.60	o 7815
173.61	o 7814
173.61	o 7813
173.62	o 7812
173.62	o 7811
173.62	o 7810
173.63	o 7809
173.63	o 7808
173.63	o 7807
173.64	o 7806
173.64	o 7805
173.65	o 7804
173.65	o 7803
173.66	o 7802
173.66	o 7801
173.66	o 7800
173.67	o 7799
173.67	o 7798
173.67	o 7797
173.68	o 7796
173.68	o 7795
173.69	o 7794
173.69	o 7793
173.69	o 7792
173.70	o 7791
173.70	o 7790
173.70	o 7789
173.71	o 7788
173.71	o 7787
173.72	o 7786
173.72	o 7785
173.72	o 7784
173.73	o 7783
173.73	o 7782
173.73	o 7781
173.74	o 7780
173.74	o 7779
173.75	o 7778
173.75	o 7777
173.75	o 7776
173.76	o 7775
173.76	o 7774
173.77	o 7773
173.77	o 7772
173.77	o 7771
173.78	o 7770
173.78	o 7769
173.78	o 7768
173.79	o 7767
173.79	o 7766
173.80	o 7765
173.80	o 7764
173.80	o 7763
173.81	o 7762
173.81	o 7761
173.81	o 7760
173.82	o 7759
173.82	o 7758
173.83	o 7757
173.83	o 7756
173.83	o 7755
173.84	o 7754
173.84	o 7753
173.84	o 7752
173.85	o 7751
173.85	o 7750
173.85	o 7749
173.86	o 7748
173.86	o 7747
173.87	o 7746
173.87	o 7745
173.87	o 7744
173.88	o 7743
173.88	o 7742
173.88	o 7741
173.89	o 7740
173.89	o 7739
173.90	o 7738
173.90	o 7737
173.90	o 7736
173.91	o 7735
173.91	o 7734
173.92	o 7733
173.92	o 7732
173.93	o 7731
173.93	o 7730
173.94	o 7729
173.94	o 7728
173.94	o 7727
173.95	o 7726
173.95	o 7725
173.96	o 7724
173.96	o 7723
173.96	o 7722
173.97	o 7721
173.97	o 7720
173.98	o 7719
173.98	o 7718
173.98	o 7717
173.99	o 7716
173.99	o 7715
173.99	o 7714
174.00	o 7713
174.00	o 7712
174.01	o 7711
174.01	o 7710
174.01	o 7709
174.02	o 7708
174.02	o 7707
174.03	o 7706
174.03	o 7705
176.13	o 7704
176.14	o 7703
176.14	o 7702
176.15	o 7701
176.15	o 7700
176.15	o 7699
176.16	o 7698
176.16	o 7697
176.17	o 7696
176.17	o 7695
176.17	o 7694
176.18	o 7693
176.18	o 7692
176.18	o 7691
176.19	o 7690
176.19	o 7689
176.19	o 7688
176.20	o 7687
176.20	o 7686
176.20	o 7685
176.21	o 7684
176.21	o 7683
176.22	o 7682
176.22	o 7681
176.22	o 7680
176.23	o 7679
176.23	o 7678
176.23	o 7677
176.24	o 7676
176.24	o 7675
176.24	o 7674
176.25	o 7673
176.25	o 7672
176.25	o 7671
176.26	o 7670
176.26	o 7669
176.26	o 7668
176.27	o 7667
176.27	o 7666
176.28	o 7665
176.28	o 7664
176.28	o 7663
176.33	o 7662
203.82	o 7661
203.82	o 7660
203.82	o 7659
203.83	o 7658
203.83	o 7657
203.84	o 7656
203.85	o 7655
203.85	o 7654
203.86	o 7653
203.86	o 7652
203.86	o 7651
203.87	o 7650
203.87	o 7649
203.87	o 7648
203.88	o 7647
203.88	o 7646
203.88	o 7645
203.89	o 7644
203.89	o 7643
203.89	o 7642
203.90	o 7641
203.90	o 7640
203.91	o 7639
203.91	o 7638
203.91	o 7637
203.92	o 7636
203.92	o 7635
203.92	o 7634
203.93	o 7633
203.93	o 7632
203.93	o 7631
203.94	o 7630
203.94	o 7629
203.95	o 7628
203.95	o 7627
203.95	o 7626
203.96	o 7625
203.96	o 7624
203.96	o 7623
203.97	o 7622
203.98	o 7621
203.98	o 7620
203.98	o 7619
203.99	o 7618
203.99	o 7617
203.99	o 7616
204.00	o 7615
204.00	o 7614
204.01	o 7613
204.01	o 7612
204.01	o 7611
204.02	o 7610
204.02	o 7609
204.02	o 7608
204.03	o 7607
204.03	o 7606
204.03	o 7605
204.04	o 7604
204.04	o 7603
204.04	o 7602
204.05	o 7601
204.05	o 7600
204.05	o 7599
204.06	o 7598
204.06	o 7597
204.07	o 7596
204.07	o 7595
204.07	o 7594
204.08	o 7593
204.08	o 7592
204.08	o 7591
204.09	o 7590
204.09	o 7589
204.09	o 7588
204.10	o 7587
204.10	o 7586
204.10	o 7585
204.11	o 7584
204.11	o 7583
204.12	o 7582
204.12	o 7581
204.12	o 7580
204.13	o 7579
204.13	o 7578
204.13	o 7577
204.14	o 7576
204.14	o 7575
204.15	o 7574
204.15	o 7573
204.15	o 7572
204.16	o 7571
204.16	o 7570
204.17	o 7569
204.17	o 7568
204.17	o 7567
204.18	o 7566
204.18	o 7565
204.18	o 7564
204.19	o 7563
204.19	o 7562
204.19	o 7561
204.20	o 7560
204.20	o 7559
204.20	o 7558
204.21	o 7557
204.21	o 7556
204.22	o 7555
204.22	o 7554
204.22	o 7553
204.23	o 7552
204.23	o 7551
204.24	o 7550
204.24	o 7549
204.25	o 7548
204.44	o 7547
204.44	o 7546
204.44	o 7545
204.45	o 7544
204.45	o 7543
204.46	o 7542
204.46	o 7541
204.46	o 7540
204.47	o 7539
204.47	o 7538
204.47	o 7537
204.48	o 7536
204.48	o 7535
204.49	o 7534
204.49	o 7533
204.50	o 7532
204.50	o 7531
204.50	o 7530
204.51	o 7529
204.51	o 7528
204.51	o 7527
204.52	o 7526
204.52	o 7525
204.52	o 7524
204.53	o 7523
204.53	o 7522
204.53	o 7521
204.54	o 7520
204.54	o 7519
204.55	o 7518
204.55	o 7517
204.57	o 7516
204.57	o 7515
204.58	o 7514
204.58	o 7513
204.58	o 7512
204.59	o 7511
204.59	o 7510
204.60	o 7509
204.60	o 7508
204.61	o 7507
204.61	o 7506
204.61	o 7505
204.61	o 7504
204.62	o 7503
204.62	o 7502
204.63	o 7501
204.63	o 7500
204.63	o 7499
204.64	o 7498
204.64	o 7497
204.64	o 7496
204.65	o 7495
204.65	o 7494
204.65	o 7493
204.66	o 7492
204.66	o 7491
204.66	o 7490
204.67	o 7489
204.67	o 7488
204.67	o 7487
204.68	o 7486
204.68	o 7485
204.68	o 7484
204.68	o 7483
204.69	o 7482
204.69	o 7481
204.69	o 7480
204.70	o 7479
204.70	o 7478
204.70	o 7477
204.71	o 7476
204.71	o 7475
204.71	o 7474
204.72	o 7473
204.72	o 7472
204.72	o 7471
204.73	o 7470
204.73	o 7469
205.03	o 7468
205.05	o 7467
205.05	o 7466
205.06	o 7465
205.06	o 7464
205.07	o 7463
205.07	o 7462
205.08	o 7461
205.08	o 7460
205.08	o 7459
205.09	o 7458
205.09	o 7457
205.10	o 7456
205.10	o 7455
205.11	o 7454
205.11	o 7453
205.12	o 7452
205.12	o 7451
205.13	o 7450
205.13	o 7449
205.13	o 7448
205.14	o 7447
205.14	o 7446
205.15	o 7445
205.17	o 7444
205.67	o 7443
205.67	o 7442
205.68	o 7441
205.68	o 7440
205.68	o 7439
205.69	o 7438
205.69	o 7437
205.70	o 7436
205.70	o 7435
205.70	o 7434
205.71	o 7433
205.71	o 7432
205.72	o 7431
205.72	o 7430
205.72	o 7429
205.73	o 7428
205.73	o 7427
205.74	o 7426
205.74	o 7425
205.75	o 7424
205.75	o 7423
205.75	o 7422
205.76	o 7421
205.76	o 7420
205.77	o 7419
205.77	o 7418
205.77	o 7417
205.78	o 7416
205.78	o 7415
205.79	o 7414
205.79	o 7413
205.79	o 7412
205.80	o 7411
205.80	o 7410
205.80	o 7409
205.81	o 7408
205.81	o 7407
205.82	o 7406
205.82	o 7405
205.82	o 7404
205.83	o 7403
205.83	o 7402
205.84	o 7401
205.84	o 7400
205.84	o 7399
205.85	o 7398
205.85	o 7397
205.86	o 7396
205.86	o 7395
205.86	o 7394
205.87	o 7393
205.87	o 7392
205.87	o 7391
205.88	o 7390
205.88	o 7389
205.89	o 7388
205.89	o 7387
205.89	o 7386
205.90	o 7385
205.90	o 7384
205.90	o 7383
205.91	o 7382
205.91	o 7381
205.92	o 7380
205.92	o 7379
205.93	o 7378
205.93	o 7377
205.94	o 7376
205.94	o 7375
205.95	o 7374
205.95	o 7373
205.96	o 7372
205.96	o 7371
205.97	o 7370
205.97	o 7369
206.09	o 7368
206.10	o 7367
206.10	o 7366
206.10	o 7365
206.11	o 7364
206.11	o 7363
206.11	o 7362
206.12	o 7361
206.12	o 7360
206.12	o 7359
206.13	o 7358
206.13	o 7357
206.13	o 7356
206.14	o 7355
206.14	o 7354
206.14	o 7353
206.14	o 7352
206.15	o 7351
206.15	o 7350
206.15	o 7349
206.16	o 7348
206.16	o 7347
206.16	o 7346
206.17	o 7345
206.17	o 7344
206.17	o 7343
206.18	o 7342
206.18	o 7341
206.18	o 7340
206.19	o 7339
206.19	o 7338
206.19	o 7337
206.20	o 7336
206.20	o 7335
206.20	o 7334
206.20	o 7333
206.21	o 7332
206.21	o 7331
206.21	o 7330
206.22	o 7329
206.22	o 7328
206.22	o 7327
206.23	o 7326
206.23	o 7325
206.23	o 7324
206.24	o 7323
206.24	o 7322
206.24	o 7321
206.25	o 7320
206.25	o 7319
206.25	o 7318
206.25	o 7317
206.26	o 7316
206.26	o 7315
206.26	o 7314
206.27	o 7313
206.27	o 7312
206.27	o 7311
206.28	o 7310
206.28	o 7309
206.28	o 7308
206.29	o 7307
206.29	o 7306
206.29	o 7305
206.30	o 7304
206.30	o 7303
206.30	o 7302
206.31	o 7301
206.31	o 7300
206.31	o 7299
206.31	o 7298
206.32	o 7297
206.32	o 7296
206.32	o 7295
206.33	o 7294
206.33	o 7293
206.33	o 7292
206.34	o 7291
206.34	o 7290
206.34	o 7289
206.35	o 7288
206.35	o 7287
206.35	o 7286
206.35	o 7285
206.36	o 7284
206.36	o 7283
206.36	o 7282
206.37	o 7281
206.37	o 7280
206.37	o 7279
206.38	o 7278
206.38	o 7277
206.38	o 7276
206.39	o 7275
206.39	o 7274
206.39	o 7273
206.40	o 7272
206.40	o 7271
206.40	o 7270
206.40	o 7269
206.41	o 7268
206.41	o 7267
206.41	o 7266
206.42	o 7265
206.42	o 7264
206.42	o 7263
206.43	o 7262
206.43	o 7261
206.43	o 7260
206.44	o 7259
206.44	o 7258
206.44	o 7257
206.45	o 7256
206.45	o 7255
206.45	o 7254
206.45	o 7253
206.46	o 7252
206.46	o 7251
206.46	o 7250
206.47	o 7249
206.47	o 7248
206.47	o 7247
206.48	o 7246
206.48	o 7245
206.48	o 7244
206.49	o 7243
206.49	o 7242
206.49	o 7241
206.50	o 7240
206.50	o 7239
206.50	o 7238
206.50	o 7237
206.51	o 7236
206.51	o 7235
206.51	o 7234
206.52	o 7233
206.52	o 7232
206.52	o 7231
206.53	o 7230
206.53	o 7229
206.53	o 7228
206.54	o 7227
206.54	o 7226
206.54	o 7225
206.55	o 7224
206.55	o 7223
206.55	o 7222
206.55	o 7221
206.56	o 7220
206.56	o 7219
206.56	o 7218
206.57	o 7217
206.57	o 7216
206.57	o 7215
206.58	o 7214
206.58	o 7213
206.58	o 7212
206.59	o 7211
206.59	o 7210
206.59	o 7209
206.60	o 7208
206.60	o 7207
206.60	o 7206
206.60	o 7205
206.61	o 7204
206.61	o 7203
206.61	o 7202
206.62	o 7201
206.62	o 7200
206.62	o 7199
206.63	o 7198
206.63	o 7197
206.63	o 7196
206.64	o 7195
206.64	o 7194
206.64	o 7193
206.65	o 7192
206.65	o 7191
206.65	o 7190
206.65	o 7189
206.66	o 7188
206.66	o 7187
206.66	o 7186
206.67	o 7185
206.67	o 7184
206.67	o 7183
206.68	o 7182
206.68	o 7181
206.68	o 7180
206.69	o 7179
206.69	o 7178
206.70	o 7177
206.70	o 7176
206.70	o 7175
206.71	o 7174
206.71	o 7173
206.71	o 7172
206.72	o 7171
206.72	o 7170
206.72	o 7169
206.73	o 7168
206.73	o 7167
206.73	o 7166
206.74	o 7165
206.74	o 7164
206.74	o 7163
206.75	o 7162
206.75	o 7161
206.76	o 7160
206.76	o 7159
206.76	o 7158
206.77	o 7157
206.77	o 7156
206.78	o 7155
206.78	o 7154
206.78	o 7153
206.79	o 7152
206.80	o 7151
214.02	o 7150
214.02	o 7149
214.03	o 7148
214.03	o 7147
214.04	o 7146
214.04	o 7145
214.04	o 7144
214.05	o 7143
214.05	o 7142
214.05	o 7141
214.06	o 7140
214.06	o 7139
214.07	o 7138
214.07	o 7137
214.08	o 7136
214.09	o 7135
214.09	o 7134
214.09	o 7133
214.10	o 7132
214.10	o 7131
214.11	o 7130
214.11	o 7129
214.11	o 7128
214.12	o 7127
214.12	o 7126
214.13	o 7125
214.13	o 7124
214.13	o 7123
214.14	o 7122
214.14	o 7121
214.15	o 7120
214.15	o 7119
214.15	o 7118
214.16	o 7117
214.16	o 7116
214.17	o 7115
214.17	o 7114
214.17	o 7113
214.18	o 7112
214.18	o 7111
214.19	o 7110
214.19	o 7109
214.19	o 7108
214.20	o 7107
214.20	o 7106
214.21	o 7105
214.21	o 7104
214.21	o 7103
214.22	o 7102
214.22	o 7101
214.22	o 7100
214.23	o 7099
214.23	o 7098
214.24	o 7097
214.24	o 7096
214.24	o 7095
214.25	o 7094
214.25	o 7093
214.26	o 7092
214.26	o 7091
214.26	o 7090
214.27	o 7089
214.27	o 7088
214.27	o 7087
214.28	o 7086
214.28	o 7085
214.29	o 7084
214.29	o 7083
214.29	o 7082
214.30	o 7081
214.30	o 7080
214.31	o 7079
214.31	o 7078
214.31	o 7077
214.32	o 7076
214.32	o 7075
214.32	o 7074
214.33	o 7073
214.34	o 7072
214.34	o 7071
214.34	o 7070
214.35	o 7069
214.35	o 7068
214.36	o 7067
214.36	o 7066
214.36	o 7065
214.37	o 7064
214.37	o 7063
214.37	o 7062
214.38	o 7061
214.38	o 7060
214.39	o 7059
214.39	o 7058
214.40	o 7057
214.40	o 7056
214.40	o 7055
214.41	o 7054
214.41	o 7053
214.41	o 7052
214.42	o 7051
214.42	o 7050
214.43	o 7049
214.43	o 7048
214.43	o 7047
214.44	o 7046
214.44	o 7045
214.45	o 7044
214.46	o 7043
214.46	o 7042
214.46	o 7041
214.47	o 7040
214.47	o 7039
214.47	o 7038
214.48	o 7037
214.48	o 7036
214.48	o 7035
214.49	o 7034
214.49	o 7033
214.49	o 7032
214.49	o 7031
214.50	o 7030
214.50	o 7029
214.50	o 7028
214.51	o 7027
214.51	o 7026
214.51	o 7025
214.52	o 7024
214.52	o 7023
214.52	o 7022
214.53	o 7021
214.53	o 7020
214.53	o 7019
214.54	o 7018
214.54	o 7017
214.54	o 7016
214.55	o 7015
214.55	o 7014
214.55	o 7013
214.56	o 7012
214.56	o 7011
214.56	o 7010
214.57	o 7009
214.57	o 7008
214.57	o 7007
214.58	o 7006
214.58	o 7005
214.58	o 7004
214.59	o 7003
214.59	o 7002
214.59	o 7001
214.60	o 7000
214.60	o 6999
214.60	o 6998
214.61	o 6997
214.61	o 6996
214.61	o 6995
214.62	o 6994
214.62	o 6993
214.62	o 6992
214.62	o 6991
214.63	o 6990
214.63	o 6989
214.63	o 6988
214.64	o 6987
214.64	o 6986
214.64	o 6985
214.65	o 6984
214.65	o 6983
214.65	o 6982
214.66	o 6981
214.66	o 6980
214.66	o 6979
214.67	o 6978
214.67	o 6977
214.67	o 6976
214.68	o 6975
214.68	o 6974
214.69	o 6973
214.69	o 6972
214.69	o 6971
214.70	o 6970
214.70	o 6969
214.70	o 6968
214.71	o 6967
214.71	o 6966
214.71	o 6965
214.71	o 6964
214.72	o 6963
214.72	o 6962
214.72	o 6961
214.73	o 6960
214.73	o 6959
214.73	o 6958
214.74	o 6957
214.74	o 6956
214.74	o 6955
214.75	o 6954
214.75	o 6953
214.75	o 6952
214.76	o 6951
214.76	o 6950
214.76	o 6949
214.77	o 6948
214.77	o 6947
214.77	o 6946
214.78	o 6945
214.78	o 6944
214.78	o 6943
214.79	o 6942
214.79	o 6941
214.79	o 6940
214.80	o 6939
214.80	o 6938
214.80	o 6937
214.81	o 6936
214.81	o 6935
214.82	o 6934
214.82	o 6933
214.82	o 6932
214.83	o 6931
214.83	o 6930
214.83	o 6929
214.84	o 6928
214.84	o 6927
214.84	o 6926
214.85	o 6925
214.85	o 6924
214.85	o 6923
214.86	o 6922
214.86	o 6921
214.86	o 6920
214.87	o 6919
214.87	o 6918
214.87	o 6917
214.88	o 6916
214.88	o 6915
214.88	o 6914
214.89	o 6913
214.89	o 6912
214.89	o 6911
214.90	o 6910
214.90	o 6909
214.90	o 6908
214.91	o 6907
214.91	o 6906
214.91	o 6905
214.92	o 6904
214.92	o 6903
214.92	o 6902
214.93	o 6901
214.93	o 6900
214.94	o 6899
214.94	o 6898
214.94	o 6897
214.95	o 6896
214.95	o 6895
214.95	o 6894
214.96	o 6893
214.96	o 6892
214.97	o 6891
214.97	o 6890
214.97	o 6889
214.98	o 6888
214.98	o 6887
214.99	o 6886
214.99	o 6885
215.00	o 6884
215.00	o 6883
215.00	o 6882
215.01	o 6881
215.01	o 6880
215.02	o 6879
215.02	o 6878
215.02	o 6877
215.03	o 6876
215.03	o 6875
215.04	o 6874
215.04	o 6873
215.04	o 6872
215.05	o 6871
215.05	o 6870
215.05	o 6869
215.05	o 6868
215.06	o 6867
215.06	o 6866
215.06	o 6865
215.07	o 6864
215.07	o 6863
215.07	o 6862
215.08	o 6861
215.08	o 6860
215.08	o 6859
215.09	o 6858
215.09	o 6857
215.09	o 6856
215.10	o 6855
215.10	o 6854
215.10	o 6853
215.11	o 6852
215.11	o 6851
215.13	o 6850
259.66	o 6849
259.66	o 6848
259.66	o 6847
259.67	o 6846
259.67	o 6845
259.67	o 6844
259.68	o 6843
259.68	o 6842
259.69	o 6841
259.69	o 6840
259.69	o 6839
259.70	o 6838
259.70	o 6837
259.70	o 6836
259.71	o 6835
259.71	o 6834
259.71	o 6833
259.72	o 6832
259.72	o 6831
259.72	o 6830
259.73	o 6829
259.73	o 6828
259.73	o 6827
259.74	o 6826
259.74	o 6825
259.74	o 6824
259.75	o 6823
259.75	o 6822
259.75	o 6821
259.76	o 6820
259.76	o 6819
259.77	o 6818
259.77	o 6817
259.77	o 6816
259.78	o 6815
259.78	o 6814
259.79	o 6813
259.79	o 6812
259.79	o 6811
259.80	o 6810
259.80	o 6809
259.80	o 6808
259.81	o 6807
259.81	o 6806
259.81	o 6805
259.82	o 6804
259.82	o 6803
259.82	o 6802
259.83	o 6801
259.83	o 6800
259.83	o 6799
259.84	o 6798
259.84	o 6797
259.84	o 6796
259.85	o 6795
259.85	o 6794
259.85	o 6793
259.86	o 6792
259.86	o 6791
259.86	o 6790
259.87	o 6789
259.87	o 6788
259.87	o 6787
259.88	o 6786
259.88	o 6785
259.88	o 6784
259.89	o 6783
259.89	o 6782
259.89	o 6781
259.90	o 6780
259.90	o 6779
259.90	o 6778
259.91	o 6777
259.91	o 6776
259.91	o 6775
259.92	o 6774
259.92	o 6773
259.92	o 6772
259.93	o 6771
259.93	o 6770
259.93	o 6769
259.94	o 6768
259.94	o 6767
259.94	o 6766
259.95	o 6765
259.95	o 6764
259.95	o 6763
259.96	o 6762
259.96	o 6761
259.96	o 6760
259.97	o 6759
259.97	o 6758
259.97	o 6757
259.98	o 6756
259.98	o 6755
259.98	o 6754
259.99	o 6753
259.99	o 6752
259.99	o 6751
260.00	o 6750
260.00	o 6749
260.00	o 6748
260.01	o 6747
260.01	o 6746
260.01	o 6745
260.02	o 6744
260.02	o 6743
260.02	o 6742
260.03	o 6741
260.03	o 6740
260.03	o 6739
260.04	o 6738
260.04	o 6737
260.04	o 6736
260.05	o 6735
260.05	o 6734
260.05	o 6733
260.06	o 6732
260.06	o 6731
260.06	o 6730
260.07	o 6729
260.07	o 6728
260.07	o 6727
260.07	o 6726
260.08	o 6725
260.08	o 6724
260.08	o 6723
260.09	o 6722
260.09	o 6721
260.09	o 6720
260.10	o 6719
260.10	o 6718
260.10	o 6717
260.11	o 6716
260.11	o 6715
260.11	o 6714
260.12	o 6713
260.12	o 6712
260.12	o 6711
260.13	o 6710
260.13	o 6709
260.13	o 6708
260.14	o 6707
260.14	o 6706
260.14	o 6705
260.15	o 6704
260.15	o 6703
260.15	o 6702
260.16	o 6701
260.16	o 6700
260.16	o 6699
260.17	o 6698
260.17	o 6697
260.17	o 6696
260.18	o 6695
260.18	o 6694
260.18	o 6693
260.19	o 6692
260.19	o 6691
260.19	o 6690
260.19	o 6689
260.20	o 6688
260.20	o 6687
260.20	o 6686
260.21	o 6685
260.21	o 6684
260.21	o 6683
260.22	o 6682
260.22	o 6681
260.22	o 6680
260.23	o 6679
260.23	o 6678
260.23	o 6677
260.24	o 6676
260.24	o 6675
260.24	o 6674
260.25	o 6673
260.25	o 6672
260.25	o 6671
260.26	o 6670
260.26	o 6669
260.26	o 6668
260.27	o 6667
260.27	o 6666
260.27	o 6665
260.28	o 6664
260.28	o 6663
260.28	o 6662
260.29	o 6661
260.29	o 6660
260.29	o 6659
260.30	o 6658
260.30	o 6657
260.30	o 6656
260.31	o 6655
260.31	o 6654
260.31	o 6653
260.31	o 6652
260.32	o 6651
260.32	o 6650
260.32	o 6649
260.33	o 6648
260.33	o 6647
260.33	o 6646
260.34	o 6645
260.34	o 6644
260.34	o 6643
260.35	o 6642
260.35	o 6641
260.35	o 6640
260.36	o 6639
260.36	o 6638
260.36	o 6637
260.37	o 6636
260.37	o 6635
260.37	o 6634
260.38	o 6633
260.38	o 6632
260.38	o 6631
260.39	o 6630
260.39	o 6629
260.39	o 6628
260.40	o 6627
260.40	o 6626
260.40	o 6625
260.41	o 6624
260.41	o 6623
260.41	o 6622
260.42	o 6621
260.42	o 6620
260.42	o 6619
260.42	o 6618
260.43	o 6617
260.43	o 6616
260.43	o 6615
260.44	o 6614
260.44	o 6613
260.44	o 6612
260.45	o 6611
260.45	o 6610
260.45	o 6609
260.46	o 6608
260.46	o 6607
260.46	o 6606
260.47	o 6605
260.47	o 6604
260.47	o 6603
260.48	o 6602
260.48	o 6601
260.48	o 6600
260.49	o 6599
260.49	o 6598
260.49	o 6597
260.50	o 6596
260.50	o 6595
260.50	o 6594
260.51	o 6593
260.51	o 6592
260.51	o 6591
260.52	o 6590
260.52	o 6589
260.52	o 6588
260.53	o 6587
260.53	o 6586
260.53	o 6585
260.54	o 6584
260.54	o 6583
260.54	o 6582
260.55	o 6581
260.55	o 6580
260.55	o 6579
260.56	o 6578
260.56	o 6577
260.56	o 6576
260.57	o 6575
260.57	o 6574
260.57	o 6573
260.57	o 6572
260.58	o 6571
260.58	o 6570
260.58	o 6569
260.59	o 6568
260.59	o 6567
260.59	o 6566
260.60	o 6565
260.60	o 6564
260.60	o 6563
260.61	o 6562
260.61	o 6561
260.61	o 6560
260.62	o 6559
260.62	o 6558
260.62	o 6557
260.63	o 6556
260.63	o 6555
260.63	o 6554
260.64	o 6553
260.64	o 6552
260.64	o 6551
260.65	o 6550
260.65	o 6549
260.65	o 6548
260.65	o 6547
260.66	o 6546
260.66	o 6545
260.66	o 6544
260.67	o 6543
260.67	o 6542
260.68	o 6541
260.68	o 6540
260.68	o 6539
260.68	o 6538
260.69	o 6537
260.69	o 6536
260.69	o 6535
260.70	o 6534
260.70	o 6533
260.70	o 6532
260.71	o 6531
260.71	o 6530
260.71	o 6529
260.72	o 6528
260.72	o 6527
260.72	o 6526
260.73	o 6525
260.73	o 6524
260.73	o 6523
260.74	o 6522
260.74	o 6521
260.74	o 6520
260.75	o 6519
260.75	o 6518
260.75	o 6517
260.76	o 6516
260.76	o 6515
260.76	o 6514
260.77	o 6513
260.77	o 6512
260.78	o 6511
260.78	o 6510
260.78	o 6509
260.78	o 6508
260.79	o 6507
260.79	o 6506
260.79	o 6505
260.80	o 6504
260.80	o 6503
260.80	o 6502
260.81	o 6501
260.81	o 6500
260.81	o 6499
260.82	o 6498
260.82	o 6497
260.82	o 6496
260.83	o 6495
260.83	o 6494
260.83	o 6493
260.84	o 6492
260.84	o 6491
260.84	o 6490
260.84	o 6489
260.85	o 6488
260.85	o 6487
260.85	o 6486
260.86	o 6485
260.86	o 6484
260.86	o 6483
260.87	o 6482
260.87	o 6481
260.87	o 6480
260.88	o 6479
260.88	o 6478
260.88	o 6477
260.89	o 6476
260.89	o 6475
260.89	o 6474
260.90	o 6473
260.90	o 6472
260.90	o 6471
260.90	o 6470
260.91	o 6469
260.91	o 6468
260.92	o 6467
260.92	o 6466
260.92	o 6465
260.93	o 6464
260.93	o 6463
260.93	o 6462
260.93	o 6461
260.94	o 6460
260.95	o 6459
306.67	o 6458
306.67	o 6457
306.68	o 6456
306.68	o 6455
306.68	o 6454
306.69	o 6453
306.69	o 6452
306.70	o 6451
306.70	o 6450
306.70	o 6449
306.71	o 6448
306.71	o 6447
306.71	o 6446
306.72	o 6445
306.72	o 6444
306.72	o 6443
306.73	o 6442
306.73	o 6441
306.74	o 6440
306.74	o 6439
306.74	o 6438
306.75	o 6437
306.75	o 6436
306.75	o 6435
306.76	o 6434
306.76	o 6433
306.76	o 6432
306.77	o 6431
306.77	o 6430
306.77	o 6429
306.78	o 6428
306.78	o 6427
306.78	o 6426
306.79	o 6425
306.79	o 6424
306.79	o 6423
306.80	o 6422
306.80	o 6421
306.80	o 6420
306.81	o 6419
306.81	o 6418
306.81	o 6417
306.82	o 6416
306.82	o 6415
306.82	o 6414
306.83	o 6413
306.83	o 6412
306.83	o 6411
306.84	o 6410
306.84	o 6409
306.84	o 6408
306.85	o 6407
306.85	o 6406
306.86	o 6405
306.86	o 6404
306.86	o 6403
306.87	o 6402
306.87	o 6401
306.87	o 6400
306.88	o 6399
306.88	o 6398
306.88	o 6397
306.89	o 6396
306.89	o 6395
306.89	o 6394
306.90	o 6393
306.90	o 6392
306.91	o 6391
306.91	o 6390
306.91	o 6389
306.92	o 6388
306.92	o 6387
306.92	o 6386
306.93	o 6385
306.93	o 6384
306.93	o 6383
306.94	o 6382
306.94	o 6381
306.94	o 6380
306.95	o 6379
306.95	o 6378
306.95	o 6377
306.96	o 6376
306.96	o 6375
306.96	o 6374
306.97	o 6373
306.97	o 6372
306.97	o 6371
306.98	o 6370
306.98	o 6369
306.98	o 6368
306.99	o 6367
306.99	o 6366
306.99	o 6365
307.00	o 6364
307.00	o 6363
307.00	o 6362
307.01	o 6361
307.01	o 6360
307.01	o 6359
307.02	o 6358
307.02	o 6357
307.02	o 6356
307.03	o 6355
307.03	o 6354
307.03	o 6353
307.04	o 6352
307.04	o 6351
307.04	o 6350
307.05	o 6349
307.05	o 6348
307.05	o 6347
307.06	o 6346
307.06	o 6345
307.06	o 6344
307.07	o 6343
307.07	o 6342
307.07	o 6341
307.08	o 6340
307.08	o 6339
307.08	o 6338
307.09	o 6337
307.09	o 6336
307.09	o 6335
307.10	o 6334
307.10	o 6333
307.10	o 6332
307.11	o 6331
307.11	o 6330
307.11	o 6329
307.12	o 6328
307.12	o 6327
307.12	o 6326
307.13	o 6325
307.13	o 6324
307.13	o 6323
307.14	o 6322
307.14	o 6321
307.14	o 6320
307.15	o 6319
307.15	o 6318
307.16	o 6317
307.16	o 6316
307.16	o 6315
307.17	o 6314
307.17	o 6313
307.17	o 6312
307.18	o 6311
307.18	o 6310
307.18	o 6309
307.19	o 6308
307.19	o 6307
307.19	o 6306
307.20	o 6305
307.20	o 6304
307.20	o 6303
307.21	o 6302
307.21	o 6301
307.21	o 6300
307.22	o 6299
307.22	o 6298
307.22	o 6297
307.23	o 6296
307.23	o 6295
307.23	o 6294
307.24	o 6293
307.24	o 6292
307.25	o 6291
307.25	o 6290
307.25	o 6289
307.26	o 6288
307.26	o 6287
307.26	o 6286
307.27	o 6285
307.27	o 6284
307.27	o 6283
307.28	o 6282
307.28	o 6281
307.28	o 6280
307.29	o 6279
307.29	o 6278
307.29	o 6277
307.29	o 6276
307.30	o 6275
307.30	o 6274
307.30	o 6273
307.31	o 6272
307.31	o 6271
307.31	o 6270
307.32	o 6269
307.32	o 6268
307.33	o 6267
307.33	o 6266
307.34	o 6265
307.34	o 6264
307.35	o 6263
307.35	o 6262
307.35	o 6261
307.36	o 6260
307.36	o 6259
307.36	o 6258
307.37	o 6257
307.37	o 6256
307.37	o 6255
307.38	o 6254
307.38	o 6253
307.38	o 6252
307.39	o 6251
307.39	o 6250
307.39	o 6249
307.40	o 6248
307.40	o 6247
307.40	o 6246
307.41	o 6245
307.41	o 6244
307.41	o 6243
307.42	o 6242
307.42	o 6241
307.42	o 6240
307.43	o 6239
307.43	o 6238
307.43	o 6237
307.44	o 6236
307.44	o 6235
307.44	o 6234
307.45	o 6233
307.45	o 6232
307.45	o 6231
307.46	o 6230
307.46	o 6229
307.47	o 6228
307.47	o 6227
307.47	o 6226
307.48	o 6225
307.48	o 6224
307.48	o 6223
307.49	o 6222
307.49	o 6221
307.49	o 6220
307.50	o 6219
307.50	o 6218
307.50	o 6217
307.51	o 6216
307.51	o 6215
307.51	o 6214
307.51	o 6213
307.52	o 6212
307.52	o 6211
307.52	o 6210
307.53	o 6209
307.53	o 6208
307.53	o 6207
307.54	o 6206
307.54	o 6205
307.54	o 6204
307.55	o 6203
307.55	o 6202
307.55	o 6201
307.56	o 6200
307.56	o 6199
307.56	o 6198
307.57	o 6197
307.57	o 6196
307.57	o 6195
307.58	o 6194
307.58	o 6193
307.58	o 6192
307.59	o 6191
307.59	o 6190
307.59	o 6189
307.60	o 6188
307.60	o 6187
307.60	o 6186
307.61	o 6185
307.61	o 6184
307.61	o 6183
307.62	o 6182
307.62	o 6181
307.62	o 6180
307.63	o 6179
307.63	o 6178
307.63	o 6177
307.64	o 6176
307.64	o 6175
307.64	o 6174
307.64	o 6173
307.65	o 6172
307.65	o 6171
307.65	o 6170
307.66	o 6169
307.66	o 6168
307.66	o 6167
307.67	o 6166
307.67	o 6165
307.69	o 6164
311.35	o 6163
327.13	o 6162
330.39	o 6161
330.39	o 6160
330.41	o 6159
344.39	o 6158
347.02	o 6157
350.33	o 6156
363.36	o 6155
364.54	o 6154
364.56	o 6153
364.93	o 6152
490.43	o 6151
617.24	o 6150
683.58	o 6149
683.58	o 6148
683.59	o 6147
683.59	o 6146
683.59	o 6145
683.59	o 6144
683.60	o 6143
683.60	o 6142
683.60	o 6141
683.61	o 6140
683.61	o 6139
683.61	o 6138
683.62	o 6137
683.62	o 6136
683.62	o 6135
683.62	o 6134
683.63	o 6133
683.63	o 6132
683.63	o 6131
683.64	o 6130
683.64	o 6129
683.64	o 6128
683.64	o 6127
683.65	o 6126
683.65	o 6125
683.66	o 6124
683.66	o 6123
683.66	o 6122
683.67	o 6121
683.67	o 6120
683.67	o 6119
683.67	o 6118
683.68	o 6117
683.68	o 6116
683.68	o 6115
683.69	o 6114
683.69	o 6113
683.69	o 6112
683.70	o 6111
683.70	o 6110
683.70	o 6109
683.72	o 6108
683.72	o 6107
683.72	o 6106
683.73	o 6105
683.73	o 6104
683.73	o 6103
683.74	o 6102
683.74	o 6101
683.74	o 6100
683.75	o 6099
683.75	o 6098
683.75	o 6097
683.75	o 6096
683.76	o 6095
683.76	o 6094
683.76	o 6093
683.77	o 6092
683.77	o 6091
683.78	o 6090
683.78	o 6089
683.79	o 6088
683.79	o 6087
683.80	o 6086
683.80	o 6085
683.80	o 6084
683.81	o 6083
683.81	o 6082
683.81	o 6081
683.82	o 6080
683.82	o 6079
683.83	o 6078
683.83	o 6077
683.83	o 6076
683.84	o 6075
683.84	o 6074
683.85	o 6073
683.85	o 6072
683.85	o 6071
683.86	o 6070
683.86	o 6069
683.86	o 6068
683.87	o 6067
683.87	o 6066
683.87	o 6065
683.87	o 6064
683.88	o 6063
683.88	o 6062
683.88	o 6061
683.89	o 6060
683.89	o 6059
683.89	o 6058
683.89	o 6057
683.90	o 6056
683.90	o 6055
683.90	o 6054
683.91	o 6053
683.91	o 6052
683.91	o 6051
683.92	o 6050
683.92	o 6049
683.92	o 6048
683.92	o 6047
683.93	o 6046
683.93	o 6045
683.93	o 6044
683.94	o 6043
683.94	o 6042
683.94	o 6041
683.95	o 6040
683.95	o 6039
683.95	o 6038
683.95	o 6037
683.96	o 6036
683.96	o 6035
683.96	o 6034
683.97	o 6033
683.97	o 6032
683.97	o 6031
683.98	o 6030
683.98	o 6029
683.98	o 6028
683.98	o 6027
683.99	o 6026
683.99	o 6025
683.99	o 6024
684.00	o 6023
684.00	o 6022
684.00	o 6021
684.00	o 6020
684.01	o 6019
684.01	o 6018
684.01	o 6017
684.02	o 6016
684.02	o 6015
684.02	o 6014
684.03	o 6013
684.03	o 6012
684.03	o 6011
684.03	o 6010
684.04	o 6009
684.04	o 6008
684.04	o 6007
684.05	o 6006
684.05	o 6005
684.05	o 6004
684.06	o 6003
684.06	o 6002
684.06	o 6001
684.06	o 6000
684.07	o 5999
684.07	o 5998
684.07	o 5997
684.08	o 5996
684.08	o 5995
684.08	o 5994
684.08	o 5993
684.09	o 5992
684.09	o 5991
684.09	o 5990
684.10	o 5989
684.10	o 5988
684.10	o 5987
684.11	o 5986
684.11	o 5985
684.11	o 5984
684.11	o 5983
684.12	o 5982
684.12	o 5981
684.12	o 5980
684.13	o 5979
684.13	o 5978
684.13	o 5977
684.14	o 5976
684.14	o 5975
684.14	o 5974
684.14	o 5973
684.15	o 5972
684.15	o 5971
684.15	o 5970
684.16	o 5969
684.16	o 5968
684.16	o 5967
684.16	o 5966
684.17	o 5965
684.17	o 5964
684.18	o 5963
684.18	o 5962
684.18	o 5961
684.19	o 5960
684.19	o 5959
684.19	o 5958
684.20	o 5957
684.20	o 5956
684.20	o 5955
684.20	o 5954
684.21	o 5953
684.21	o 5952
684.22	o 5951
911.91	o 5950
911.96	o 5949
1059.19	o 5948
1086.21	o 5947
1443.88	o 5946
1481.05	o 5945
1561.20	o 5944
1621.83	o 5943
1647.20	o 5942
1652.24	o 5941
1723.66	o 5940
1727.48	o 5939
1736.82	o 5938

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node74/watcher-41549-1149370349 -o ROOT/results/node74/solver-41549-1149370349 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb 971120772 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 12888
/proc/meminfo: memFree=1593776/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=1660 CPUtime=0
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 145 0 0 0 0 0 0 0 18 0 1 0 202699228 1699840 129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 415 131 91 232 0 180 0

[startup+10.0032 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 12888
/proc/meminfo: memFree=1588920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=6448 CPUtime=9.99
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 1384 0 0 0 991 8 0 0 25 0 1 0 202699228 6602752 1360 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 1612 1360 108 232 0 1377 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6448

[startup+20.0102 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1585080/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=10740 CPUtime=19.99
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 2333 0 0 0 1990 9 0 0 25 0 1 0 202699228 10997760 2309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 2685 2309 108 232 0 2450 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 10740

[startup+30.0171 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1580280/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=19896 CPUtime=30
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 3586 0 0 0 2986 14 0 0 25 0 1 0 202699228 20373504 3513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 4974 3513 108 232 0 4739 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 19896

[startup+40.0231 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1577848/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=20160 CPUtime=40
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4189 0 0 0 3984 16 0 0 25 0 1 0 202699228 20643840 4116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5040 4116 108 232 0 4805 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 20160

[startup+50.03 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1577592/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=20292 CPUtime=50
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4249 0 0 0 4982 18 0 0 25 0 1 0 202699228 20779008 4176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5073 4176 108 232 0 4838 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 20292

[startup+60.036 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1577400/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=20560 CPUtime=60.01
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4292 0 0 0 5982 19 0 0 25 0 1 0 202699228 21053440 4219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5140 4219 108 232 0 4905 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 20560

[startup+70.043 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1577400/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=20560 CPUtime=70.01
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4308 0 0 0 6982 19 0 0 25 0 1 0 202699228 21053440 4235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5140 4235 108 232 0 4905 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 20560

[startup+80.0489 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1575224/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21116 CPUtime=80.01
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4848 0 0 0 7977 24 0 0 25 0 1 0 202699228 21622784 4775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5279 4775 108 232 0 5044 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 21116

[startup+90.0549 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1575224/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21116 CPUtime=90.01
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4852 0 0 0 8977 24 0 0 25 0 1 0 202699228 21622784 4779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5279 4779 108 232 0 5044 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 21116

[startup+100.061 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1575224/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21116 CPUtime=100.01
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4854 0 0 0 9977 24 0 0 25 0 1 0 202699228 21622784 4781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5279 4781 108 232 0 5044 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 21116

[startup+110.067 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12888
/proc/meminfo: memFree=1575032/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21252 CPUtime=110.01
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4898 0 0 0 10977 24 0 0 25 0 1 0 202699228 21762048 4825 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5313 4825 108 232 0 5078 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 21252

[startup+120.073 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12888
/proc/meminfo: memFree=1574968/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21252 CPUtime=120.02
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4906 0 0 0 11977 25 0 0 25 0 1 0 202699228 21762048 4833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5313 4833 108 232 0 5078 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 21252

[startup+130.079 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12888
/proc/meminfo: memFree=1574840/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21404 CPUtime=130.02
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4939 0 0 0 12977 25 0 0 25 0 1 0 202699228 21917696 4866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5351 4866 108 232 0 5116 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 21404

[startup+140.085 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12888
/proc/meminfo: memFree=1574776/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21404 CPUtime=140.03
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4951 0 0 0 13977 26 0 0 25 0 1 0 202699228 21917696 4878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5351 4878 108 232 0 5116 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 21404

[startup+150.091 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12888
/proc/meminfo: memFree=1574776/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21404 CPUtime=150.03
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4956 0 0 0 14977 26 0 0 25 0 1 0 202699228 21917696 4883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5351 4883 108 232 0 5116 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 21404

[startup+160.097 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12888
/proc/meminfo: memFree=1574776/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21404 CPUtime=160.03
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 4960 0 0 0 15977 26 0 0 25 0 1 0 202699228 21917696 4887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5351 4887 108 232 0 5116 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 21404

[startup+170.103 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12888
/proc/meminfo: memFree=1574520/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=21920 CPUtime=170.03
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5083 0 0 0 16976 27 0 0 25 0 1 0 202699228 22446080 4913 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5480 4913 108 232 0 5245 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 21920

[startup+180.109 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12890
/proc/meminfo: memFree=1573112/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=22052 CPUtime=180.03
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5460 0 0 0 17965 38 0 0 25 0 1 0 202699228 22581248 5290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5513 5290 108 232 0 5278 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 22052

[startup+190.115 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12890
/proc/meminfo: memFree=1572984/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=22180 CPUtime=190.03
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5493 0 0 0 18965 38 0 0 25 0 1 0 202699228 22712320 5323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5545 5323 108 232 0 5310 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 22180

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12890
/proc/meminfo: memFree=1572984/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=22180 CPUtime=200.04
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 5495 0 0 0 19965 39 0 0 25 0 1 0 202699228 22712320 5325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 5545 5325 108 232 0 5310 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 22180

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12890
/proc/meminfo: memFree=1572792/2055920 swapFree=4182284/4192956

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

/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11891 0 0 0 177956 178 0 0 25 0 1 0 202699228 46723072 11143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11143 108 232 0 11172 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 45628

[startup+1783.09 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1782.34
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178056 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11144 108 232 0 11172 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (Kb) 45628

[startup+1784.09 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1783.35
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178157 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11144 108 232 0 11172 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 45628

[startup+1785.1 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1784.35
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178257 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11144 108 232 0 11172 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (Kb) 45628

[startup+1786.1 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1785.35
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11892 0 0 0 178357 178 0 0 25 0 1 0 202699228 46723072 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11144 108 232 0 11172 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (Kb) 45628

[startup+1787.11 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1786.36
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178458 178 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11145 108 232 0 11172 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (Kb) 45628

[startup+1788.11 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1787.36
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178558 178 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11145 108 232 0 11172 0
Current children cumulated CPU time (s) 1787.36
Current children cumulated vsize (Kb) 45628

[startup+1789.12 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1788.37
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178659 178 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11145 108 232 0 11172 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 45628

[startup+1790.12 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1789.38
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11893 0 0 0 178759 179 0 0 25 0 1 0 202699228 46723072 11145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11145 108 232 0 11172 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 45628

[startup+1791.13 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1790.39
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 178860 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11146 108 232 0 11172 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 45628

[startup+1792.13 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1791.39
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 178960 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11146 108 232 0 11172 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 45628

[startup+1793.14 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1792.39
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 179060 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11146 108 232 0 11172 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 45628

[startup+1794.14 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1793.4
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 179161 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11146 108 232 0 11172 0
Current children cumulated CPU time (s) 1793.4
Current children cumulated vsize (Kb) 45628

[startup+1795.15 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1794.4
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11894 0 0 0 179261 179 0 0 25 0 1 0 202699228 46723072 11146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11146 108 232 0 11172 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 45628

[startup+1796.15 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1795.41
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11895 0 0 0 179362 179 0 0 25 0 1 0 202699228 46723072 11147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11147 108 232 0 11172 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (Kb) 45628

[startup+1797.16 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1796.41
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11895 0 0 0 179462 179 0 0 25 0 1 0 202699228 46723072 11147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11147 108 232 0 11172 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 45628

[startup+1798.16 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1797.42
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11895 0 0 0 179563 179 0 0 25 0 1 0 202699228 46723072 11147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11147 108 232 0 11172 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (Kb) 45628

[startup+1799.17 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1798.42
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11896 0 0 0 179663 179 0 0 25 0 1 0 202699228 46723072 11148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550813 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11148 108 232 0 11172 0
Current children cumulated CPU time (s) 1798.42
Current children cumulated vsize (Kb) 45628

[startup+1800.17 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1799.43
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11897 0 0 0 179764 179 0 0 25 0 1 0 202699228 46723072 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11149 108 232 0 11172 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 45628

[startup+1801.18 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1800.43
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11897 0 0 0 179864 179 0 0 25 0 1 0 202699228 46723072 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11149 108 232 0 11172 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 45628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 13086
/proc/meminfo: memFree=1548920/2055920 swapFree=4182284/4192956
[pid=12888] ppid=12886 vsize=45628 CPUtime=1800.43
/proc/12888/stat : 12888 (PBS4L) R 12886 12888 12842 0 -1 4194304 11897 0 0 0 179864 179 0 0 25 0 1 0 202699228 46723072 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12888/statm: 11407 11149 108 232 0 11172 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 45628

Sending SIGTERM to -12888
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.45
CPU user time (s): 1798.65
CPU system time (s): 1.79973
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (Kb): 45628
The end

Launcher Data (download as text)

Begin job on node74 on Sat Jun  3 21:32:29 UTC 2006


FILE ID= 41549-1149370349

PBS_JOBID= 312160

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb 971120772
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-41549-1149370349 -o ROOT/results/node74/solver-41549-1149370349 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node74/41549-1149370349/instance-41549-1149370349.opb 971120772

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  54b9b4de78a7992fd69d0caeed32daef

RANDOM SEED= 971120772


/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.274
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.274
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1594112 kB
Buffers:         16284 kB
Cached:         382992 kB
SwapCached:       2332 kB
Active:          44352 kB
Inactive:       363604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1594112 kB
SwapTotal:     4192956 kB
SwapFree:      4182284 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15872 kB
Slab:            39896 kB
Committed_AS:   343744 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node74 on Sat Jun  3 22:02:30 UTC 2006