0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275789-1169227198/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.62	     nbVariables=4354  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.62	       =>  wckTime=0.298  cpuTime=0.21  mem=14M687
0.62	   
0.62	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
1.90	     nbConstraints=8940  nbSingletonDomainVariables=604  nbConvertedConstraints=5914  nbConvertConstraintsChecks=1547
1.90	     nbExtensionStructures=8  nbSharedExtensionStructures=5906  nbConflictsStructures=176
1.90	     nbSharedConflictsStructures=8764  nbSharedBinaryRepresentations=19  nbEvaluationManagers=168
1.90	     nbSharedEvaluationManagers=2858  maxDegree=33  maxArity=6
1.90	       =>  wckTime=1.579  cpuTime=1.32  mem=27M467
2.02	   
2.02	   solver LocalSearchSolver being built... 
2.06	       =>  wckTime=1.745  cpuTime=1.37  mem=19M824
2.09	
2.09	s SATISFIABLE
2.09	o 7411
2.09	c 1529
2.10	o 7417
2.10	c 1523
2.10	o 7423
2.10	c 1517
2.10	o 7429
2.10	c 1511
2.11	o 7435
2.11	c 1505
2.11	o 7441
2.11	c 1499
2.11	o 7447
2.11	c 1493
2.11	o 7452
2.11	c 1488
2.12	o 7457
2.12	c 1483
2.12	o 7462
2.12	c 1478
2.12	o 7467
2.12	c 1473
2.12	o 7472
2.12	c 1468
2.12	o 7477
2.12	c 1463
2.13	o 7482
2.13	c 1458
2.13	o 7487
2.13	c 1453
2.13	o 7492
2.13	c 1448
2.13	o 7496
2.13	c 1444
2.14	o 7500
2.14	c 1440
2.14	o 7504
2.14	c 1436
2.14	o 7508
2.14	c 1432
2.14	o 7512
2.14	c 1428
2.15	o 7516
2.15	c 1424
2.15	o 7520
2.15	c 1420
2.15	o 7524
2.15	c 1416
2.15	o 7528
2.15	c 1412
2.16	o 7532
2.16	c 1408
2.16	o 7536
2.16	c 1404
2.16	o 7540
2.16	c 1400
2.16	o 7544
2.16	c 1396
2.16	o 7548
2.16	c 1392
2.17	o 7552
2.17	c 1388
2.17	o 7556
2.17	c 1384
2.17	o 7560
2.17	c 1380
2.17	o 7564
2.17	c 1376
2.17	o 7568
2.17	c 1372
2.18	o 7572
2.18	c 1368
2.18	o 7576
2.18	c 1364
2.18	o 7580
2.18	c 1360
2.18	o 7584
2.18	c 1356
2.18	o 7588
2.18	c 1352
2.19	o 7592
2.19	c 1348
2.19	o 7596
2.19	c 1344
2.19	o 7599
2.19	c 1341
2.19	o 7602
2.19	c 1338
2.20	o 7605
2.20	c 1335
2.20	o 7608
2.20	c 1332
2.20	o 7611
2.20	c 1329
2.20	o 7614
2.20	c 1326
2.20	o 7617
2.20	c 1323
2.21	o 7620
2.21	c 1320
2.21	o 7623
2.21	c 1317
2.21	o 7626
2.21	c 1314
2.21	o 7629
2.21	c 1311
2.21	o 7632
2.21	c 1308
2.22	o 7635
2.22	c 1305
2.22	o 7638
2.22	c 1302
2.22	o 7641
2.22	c 1299
2.22	o 7644
2.22	c 1296
2.22	o 7647
2.22	c 1293
2.23	o 7650
2.23	c 1290
2.23	o 7653
2.23	c 1287
2.23	o 7656
2.23	c 1284
2.23	o 7659
2.23	c 1281
2.23	o 7662
2.23	c 1278
2.24	o 7665
2.24	c 1275
2.24	o 7668
2.24	c 1272
2.24	o 7671
2.24	c 1269
2.24	o 7674
2.24	c 1266
2.24	o 7677
2.24	c 1263
2.25	o 7680
2.25	c 1260
2.25	o 7683
2.25	c 1257
2.25	o 7686
2.25	c 1254
2.25	o 7689
2.25	c 1251
2.26	o 7692
2.26	c 1248
2.26	o 7695
2.26	c 1245
2.27	o 7698
2.27	c 1242
2.27	o 7701
2.27	c 1239
2.27	o 7704
2.27	c 1236
2.27	o 7707
2.27	c 1233
2.28	o 7710
2.28	c 1230
2.28	o 7713
2.28	c 1227
2.28	o 7716
2.28	c 1224
2.28	o 7719
2.28	c 1221
2.28	o 7722
2.29	c 1218
2.29	o 7725
2.29	c 1215
2.29	o 7728
2.29	c 1212
2.29	o 7731
2.29	c 1209
2.29	o 7734
2.29	c 1206
2.30	o 7737
2.30	c 1203
2.30	o 7740
2.30	c 1200
2.30	o 7743
2.30	c 1197
2.30	o 7746
2.30	c 1194
2.31	o 7749
2.31	c 1191
2.31	o 7752
2.31	c 1188
2.31	o 7755
2.31	c 1185
2.31	o 7758
2.31	c 1182
2.31	o 7761
2.31	c 1179
2.32	o 7764
2.32	c 1176
2.32	o 7767
2.32	c 1173
2.32	o 7770
2.32	c 1170
2.32	o 7773
2.32	c 1167
2.32	o 7776
2.32	c 1164
2.33	o 7779
2.33	c 1161
2.33	o 7782
2.33	c 1158
2.33	o 7785
2.33	c 1155
2.33	o 7788
2.33	c 1152
2.34	o 7791
2.34	c 1149
2.34	o 7794
2.34	c 1146
2.34	o 7797
2.34	c 1143
2.34	o 7800
2.34	c 1140
2.34	o 7803
2.34	c 1137
2.35	o 7806
2.35	c 1134
2.35	o 7808
2.35	c 1132
2.35	o 7810
2.35	c 1130
2.35	o 7812
2.35	c 1128
2.35	o 7814
2.36	c 1126
2.36	o 7816
2.36	c 1124
2.36	o 7818
2.36	c 1122
2.36	o 7820
2.36	c 1120
2.36	o 7822
2.36	c 1118
2.37	o 7824
2.37	c 1116
2.37	o 7826
2.37	c 1114
2.37	o 7828
2.37	c 1112
2.37	o 7830
2.37	c 1110
2.37	o 7832
2.37	c 1108
2.38	o 7834
2.38	c 1106
2.38	o 7836
2.38	c 1104
2.38	o 7838
2.38	c 1102
2.38	o 7840
2.38	c 1100
2.38	o 7842
2.38	c 1098
2.39	o 7844
2.39	c 1096
2.39	o 7846
2.39	c 1094
2.39	o 7848
2.39	c 1092
2.39	o 7850
2.39	c 1090
2.39	o 7852
2.39	c 1088
2.40	o 7854
2.40	c 1086
2.40	o 7856
2.40	c 1084
2.40	o 7858
2.40	c 1082
2.40	o 7860
2.40	c 1080
2.40	o 7862
2.40	c 1078
2.41	o 7864
2.41	c 1076
2.41	o 7866
2.41	c 1074
2.41	o 7868
2.41	c 1072
2.41	o 7870
2.41	c 1070
2.41	o 7872
2.41	c 1068
2.42	o 7874
2.42	c 1066
2.42	o 7876
2.42	c 1064
2.42	o 7878
2.42	c 1062
2.42	o 7880
2.42	c 1060
2.43	o 7882
2.43	c 1058
2.43	o 7884
2.43	c 1056
2.43	o 7886
2.43	c 1054
2.43	o 7888
2.43	c 1052
2.43	o 7890
2.43	c 1050
2.44	o 7892
2.44	c 1048
2.44	o 7894
2.44	c 1046
2.44	o 7896
2.44	c 1044
2.44	o 7898
2.44	c 1042
2.45	o 7900
2.45	c 1040
2.45	o 7902
2.45	c 1038
2.45	o 7904
2.45	c 1036
2.45	o 7906
2.45	c 1034
2.46	o 7908
2.46	c 1032
2.46	o 7910
2.46	c 1030
2.46	o 7912
2.46	c 1028
2.46	o 7914
2.46	c 1026
2.47	o 7916
2.47	c 1024
2.47	o 7918
2.47	c 1022
2.47	o 7920
2.47	c 1020
2.47	o 7922
2.47	c 1018
2.48	o 7924
2.48	c 1016
2.48	o 7926
2.48	c 1014
2.48	o 7928
2.48	c 1012
2.48	o 7930
2.49	c 1010
2.49	o 7932
2.49	c 1008
2.49	o 7934
2.49	c 1006
2.49	o 7936
2.49	c 1004
2.50	o 7938
2.50	c 1002
2.50	o 7940
2.50	c 1000
2.50	o 7942
2.50	c 998
2.51	o 7944
2.51	c 996
2.51	o 7946
2.51	c 994
2.51	o 7948
2.51	c 992
2.51	o 7950
2.51	c 990
2.52	o 7952
2.52	c 988
2.52	o 7954
2.52	c 986
2.52	o 7956
2.52	c 984
2.52	o 7958
2.52	c 982
2.53	o 7960
2.53	c 980
2.53	o 7962
2.53	c 978
2.53	o 7964
2.53	c 976
2.53	o 7966
2.53	c 974
2.54	o 7968
2.54	c 972
2.54	o 7970
2.54	c 970
2.54	o 7972
2.54	c 968
2.54	o 7974
2.54	c 966
2.55	o 7976
2.55	c 964
2.55	o 7978
2.55	c 962
2.55	o 7980
2.55	c 960
2.55	o 7982
2.55	c 958
2.56	o 7984
2.56	c 956
2.56	o 7986
2.56	c 954
2.56	o 7988
2.56	c 952
2.56	o 7990
2.56	c 950
2.57	o 7992
2.57	c 948
2.57	o 7994
2.57	c 946
2.57	o 7996
2.57	c 944
2.57	o 7998
2.57	c 942
2.58	o 8000
2.58	c 940
2.58	o 8002
2.58	c 938
2.58	o 8004
2.58	c 936
2.58	o 8006
2.58	c 934
2.59	o 8008
2.59	c 932
2.59	o 8010
2.59	c 930
2.59	o 8012
2.59	c 928
2.59	o 8014
2.59	c 926
2.60	o 8016
2.60	c 924
2.60	o 8018
2.60	c 922
2.60	o 8020
2.60	c 920
2.60	o 8022
2.60	c 918
2.61	o 8024
2.61	c 916
2.61	o 8026
2.61	c 914
2.61	o 8028
2.61	c 912
2.61	o 8030
2.61	c 910
2.61	o 8032
2.62	c 908
2.62	o 8034
2.62	c 906
2.62	o 8036
2.62	c 904
2.62	o 8038
2.62	c 902
2.62	o 8040
2.62	c 900
2.63	o 8042
2.63	c 898
2.63	o 8044
2.63	c 896
2.63	o 8046
2.63	c 894
2.63	o 8048
2.63	c 892
2.63	o 8050
2.63	c 890
2.64	o 8052
2.64	c 888
2.64	o 8054
2.64	c 886
2.64	o 8056
2.64	c 884
2.64	o 8058
2.64	c 882
2.65	o 8060
2.65	c 880
2.65	o 8062
2.65	c 878
2.65	o 8064
2.65	c 876
2.65	o 8066
2.65	c 874
2.65	o 8068
2.65	c 872
2.66	o 8070
2.66	c 870
2.66	o 8072
2.66	c 868
2.66	o 8073
2.66	c 867
2.66	o 8074
2.66	c 866
2.66	o 8075
2.66	c 865
2.67	o 8076
2.67	c 864
2.67	o 8077
2.67	c 863
2.67	o 8078
2.67	c 862
2.67	o 8079
2.67	c 861
2.68	o 8080
2.68	c 860
2.68	o 8081
2.68	c 859
2.68	o 8082
2.68	c 858
2.68	o 8083
2.68	c 857
2.69	o 8084
2.69	c 856
2.69	o 8085
2.69	c 855
2.69	o 8086
2.69	c 854
2.69	o 8087
2.69	c 853
2.69	o 8088
2.69	c 852
2.70	o 8089
2.70	c 851
2.70	o 8090
2.70	c 850
2.70	o 8091
2.70	c 849
2.70	o 8092
2.70	c 848
2.70	o 8093
2.70	c 847
2.71	o 8094
2.71	c 846
2.71	o 8095
2.71	c 845
2.71	o 8096
2.71	c 844
2.71	o 8097
2.71	c 843
2.71	o 8098
2.71	c 842
2.72	o 8099
2.72	c 841
2.72	o 8100
2.72	c 840
2.72	o 8101
2.72	c 839
2.72	o 8102
2.72	c 838
2.73	o 8103
2.73	c 837
2.73	o 8104
2.73	c 836
2.73	o 8105
2.73	c 835
2.73	o 8106
2.73	c 834
2.73	o 8107
2.73	c 833
2.74	o 8108
2.74	c 832
2.74	o 8109
2.74	c 831
2.74	o 8110
2.74	c 830
2.74	o 8111
2.74	c 829
2.74	o 8112
2.74	c 828
2.75	o 8113
2.75	c 827
2.75	o 8114
2.75	c 826
2.75	o 8115
2.75	c 825
2.75	o 8116
2.75	c 824
2.75	o 8117
2.75	c 823
2.75	o 8118
2.75	c 822
2.76	o 8119
2.76	c 821
2.76	o 8120
2.76	c 820
2.76	o 8121
2.76	c 819
2.76	o 8122
2.76	c 818
2.77	o 8123
2.77	c 817
2.77	o 8124
2.77	c 816
2.77	o 8125
2.77	c 815
2.77	o 8126
2.77	c 814
2.77	o 8127
2.77	c 813
2.78	o 8128
2.78	c 812
2.78	o 8129
2.78	c 811
2.78	o 8130
2.78	c 810
2.78	o 8131
2.78	c 809
2.78	o 8132
2.78	c 808
2.79	o 8133
2.79	c 807
2.79	o 8134
2.79	c 806
2.79	o 8135
2.79	c 805
2.80	o 8136
2.80	c 804
2.80	o 8137
2.80	c 803
2.80	o 8138
2.81	c 802
2.81	o 8139
2.81	c 801
2.82	o 8140
2.82	c 800
2.82	o 8141
2.82	c 799
2.83	o 8142
2.83	c 798
2.83	o 8143
2.83	c 797
2.84	o 8144
2.84	c 796
2.84	o 8145
2.84	c 795
2.85	o 8146
2.85	c 794
2.85	o 8147
2.85	c 793
2.86	o 8148
2.86	c 792
2.86	o 8149
2.86	c 791
2.87	o 8150
2.87	c 790
2.87	o 8151
2.87	c 789
2.88	o 8152
2.88	c 788
2.88	o 8153
2.88	c 787
2.89	o 8154
2.89	c 786
2.89	o 8155
2.89	c 785
2.90	o 8156
2.90	c 784
2.91	o 8157
2.91	c 783
2.91	o 8158
2.91	c 782
2.92	o 8159
2.92	c 781
2.92	o 8160
2.93	c 780
2.93	o 8161
2.93	c 779
2.93	o 8162
2.93	c 778
2.94	o 8163
2.94	c 777
2.94	o 8164
2.94	c 776
2.95	o 8165
2.95	c 775
2.95	o 8166
2.95	c 774
2.96	o 8167
2.96	c 773
2.96	o 8168
2.96	c 772
2.97	o 8169
2.97	c 771
2.97	o 8170
2.97	c 770
2.98	o 8171
2.98	c 769
2.98	o 8172
2.98	c 768
2.99	o 8173
2.99	c 767
2.99	o 8174
2.99	c 766
3.00	o 8175
3.00	c 765
3.00	o 8176
3.00	c 764
3.01	o 8177
3.01	c 763
3.01	o 8178
3.01	c 762
3.02	o 8179
3.02	c 761
3.02	o 8180
3.02	c 760
3.03	o 8181
3.03	c 759
3.03	o 8182
3.03	c 758
3.04	o 8183
3.04	c 757
3.04	o 8184
3.04	c 756
3.05	o 8185
3.05	c 755
3.05	o 8186
3.05	c 754
3.06	o 8187
3.06	c 753
3.06	o 8188
3.06	c 752
3.07	o 8189
3.07	c 751
3.08	o 8190
3.08	c 750
3.08	o 8191
3.08	c 749
3.09	o 8192
3.09	c 748
3.09	o 8193
3.09	c 747
3.10	o 8194
3.10	c 746
3.10	o 8195
3.10	c 745
3.11	o 8196
3.11	c 744
3.11	o 8197
3.11	c 743
3.12	o 8198
3.12	c 742
3.12	o 8199
3.12	c 741
3.12	o 8200
3.12	c 740
3.13	o 8201
3.13	c 739
3.13	o 8202
3.13	c 738
3.14	o 8203
3.14	c 737
3.14	o 8204
3.14	c 736
3.15	o 8205
3.15	c 735
3.15	o 8206
3.15	c 734
3.16	o 8207
3.16	c 733
3.16	o 8208
3.16	c 732
3.17	o 8209
3.17	c 731
3.17	o 8210
3.17	c 730
3.17	o 8211
3.17	c 729
3.18	o 8212
3.18	c 728
3.18	o 8213
3.18	c 727
3.19	o 8214
3.19	c 726
3.19	o 8215
3.19	c 725
3.20	o 8216
3.20	c 724
3.20	o 8217
3.20	c 723
3.21	o 8218
3.21	c 722
3.21	o 8219
3.21	c 721
3.22	o 8220
3.22	c 720
3.22	o 8221
3.22	c 719
3.23	o 8222
3.23	c 718
3.23	o 8223
3.23	c 717
3.23	o 8224
3.23	c 716
3.24	o 8225
3.24	c 715
3.24	o 8226
3.24	c 714
3.25	o 8227
3.25	c 713
3.25	o 8228
3.25	c 712
3.26	o 8229
3.26	c 711
3.26	o 8230
3.26	c 710
3.27	o 8231
3.27	c 709
3.27	o 8232
3.27	c 708
3.27	o 8233
3.27	c 707
3.28	o 8234
3.28	c 706
3.28	o 8235
3.28	c 705
3.29	o 8236
3.29	c 704
3.29	o 8237
3.29	c 703
3.30	o 8238
3.30	c 702
3.30	o 8239
3.30	c 701
3.31	o 8240
3.31	c 700
3.31	o 8241
3.31	c 699
3.31	o 8242
3.31	c 698
3.32	o 8243
3.32	c 697
3.32	o 8244
3.32	c 696
3.33	o 8245
3.33	c 695
3.33	o 8246
3.33	c 694
3.34	o 8247
3.34	c 693
3.34	o 8248
3.34	c 692
3.34	o 8249
3.34	c 691
3.35	o 8250
3.35	c 690
3.35	o 8251
3.35	c 689
3.36	o 8252
3.36	c 688
3.36	o 8253
3.36	c 687
3.37	o 8254
3.37	c 686
3.37	o 8255
3.37	c 685
3.37	o 8256
3.37	c 684
3.38	o 8257
3.38	c 683
3.38	o 8258
3.38	c 682
3.39	o 8259
3.39	c 681
3.39	o 8260
3.39	c 680
3.40	o 8261
3.40	c 679
3.41	o 8262
3.41	c 678
3.41	o 8263
3.41	c 677
3.41	o 8264
3.41	c 676
3.42	o 8265
3.42	c 675
3.42	o 8266
3.42	c 674
3.43	o 8267
3.43	c 673
3.43	o 8268
3.43	c 672
3.44	o 8269
3.44	c 671
3.44	o 8270
3.44	c 670
3.44	o 8271
3.44	c 669
3.45	o 8272
3.45	c 668
3.45	o 8273
3.45	c 667
3.46	o 8274
3.46	c 666
3.46	o 8275
3.46	c 665
3.46	o 8276
3.46	c 664
3.47	o 8277
3.47	c 663
3.47	o 8278
3.47	c 662
3.48	o 8279
3.48	c 661
3.48	o 8280
3.48	c 660
3.49	o 8281
3.49	c 659
3.49	o 8282
3.49	c 658
3.49	o 8283
3.49	c 657
3.50	o 8284
3.50	c 656
3.50	o 8285
3.50	c 655
3.51	o 8286
3.51	c 654
3.51	o 8287
3.51	c 653
3.51	o 8288
3.51	c 652
3.52	o 8289
3.52	c 651
3.52	o 8290
3.52	c 650
3.53	o 8291
3.53	c 649
3.53	o 8292
3.53	c 648
3.54	o 8293
3.54	c 647
3.54	o 8294
3.54	c 646
3.54	o 8295
3.54	c 645
3.55	o 8296
3.55	c 644
3.55	o 8297
3.55	c 643
3.56	o 8298
3.56	c 642
3.56	o 8299
3.56	c 641
3.56	o 8300
3.56	c 640
3.57	o 8301
3.57	c 639
3.57	o 8302
3.57	c 638
3.58	o 8303
3.58	c 637
3.58	o 8304
3.58	c 636
3.58	o 8305
3.58	c 635
3.59	o 8306
3.59	c 634
3.59	o 8307
3.59	c 633
3.60	o 8308
3.60	c 632
3.60	o 8309
3.60	c 631
3.61	o 8310
3.61	c 630
3.61	o 8311
3.61	c 629
3.62	o 8312
3.62	c 628
3.62	o 8313
3.62	c 627
3.62	o 8314
3.62	c 626
3.63	o 8315
3.63	c 625
3.63	o 8316
3.63	c 624
3.64	o 8317
3.64	c 623
3.64	o 8318
3.64	c 622
3.64	o 8319
3.64	c 621
3.65	o 8320
3.65	c 620
3.65	o 8321
3.65	c 619
3.65	o 8322
3.65	c 618
3.66	o 8323
3.66	c 617
3.66	o 8324
3.66	c 616
3.67	o 8325
3.67	c 615
3.67	o 8326
3.67	c 614
3.67	o 8327
3.67	c 613
3.68	o 8328
3.68	c 612
3.68	o 8329
3.68	c 611
3.69	o 8330
3.69	c 610
3.69	o 8331
3.69	c 609
3.69	o 8332
3.69	c 608
3.70	o 8333
3.70	c 607
3.70	o 8334
3.70	c 606
3.70	o 8335
3.70	c 605
3.71	o 8336
3.71	c 604
3.71	o 8337
3.71	c 603
3.72	o 8338
3.72	c 602
3.72	o 8339
3.72	c 601
3.72	o 8340
3.72	c 600
3.73	o 8341
3.73	c 599
3.73	o 8342
3.73	c 598
3.74	o 8343
3.74	c 597
3.74	o 8344
3.74	c 596
3.74	o 8345
3.74	c 595
3.75	o 8346
3.75	c 594
3.75	o 8347
3.75	c 593
3.75	o 8348
3.75	c 592
3.76	o 8349
3.76	c 591
3.76	o 8350
3.76	c 590
3.76	o 8351
3.76	c 589
3.77	o 8352
3.77	c 588
3.77	o 8353
3.77	c 587
3.78	o 8354
3.78	c 586
3.78	o 8355
3.78	c 585
3.78	o 8356
3.78	c 584
3.79	o 8357
3.79	c 583
3.79	o 8358
3.79	c 582
3.79	o 8359
3.79	c 581
3.80	o 8360
3.80	c 580
3.80	o 8361
3.80	c 579
3.80	o 8362
3.80	c 578
3.81	o 8363
3.81	c 577
3.81	o 8364
3.81	c 576
3.82	o 8365
3.82	c 575
3.82	o 8366
3.82	c 574
3.82	o 8367
3.82	c 573
3.83	o 8368
3.83	c 572
3.83	o 8369
3.83	c 571
3.83	o 8370
3.83	c 570
3.84	o 8371
3.84	c 569
3.84	o 8372
3.84	c 568
3.84	o 8373
3.84	c 567
3.85	o 8374
3.85	c 566
3.85	o 8375
3.85	c 565
3.86	o 8376
3.86	c 564
3.86	o 8377
3.86	c 563
3.86	o 8378
3.86	c 562
3.87	o 8379
3.87	c 561
3.87	o 8380
3.87	c 560
3.87	o 8381
3.87	c 559
3.88	o 8382
3.88	c 558
3.88	o 8383
3.88	c 557
3.88	o 8384
3.88	c 556
3.89	o 8385
3.89	c 555
3.89	o 8386
3.89	c 554
3.89	o 8387
3.89	c 553
3.90	o 8388
3.90	c 552
3.90	o 8389
3.90	c 551
3.90	o 8390
3.90	c 550
3.91	o 8391
3.91	c 549
3.91	o 8392
3.91	c 548
3.92	o 8393
3.92	c 547
3.92	o 8394
3.92	c 546
3.92	o 8395
3.92	c 545
3.93	o 8396
3.93	c 544
3.93	o 8397
3.93	c 543
3.93	o 8398
3.93	c 542
3.94	o 8399
3.94	c 541
3.94	o 8400
3.94	c 540
3.94	o 8401
3.94	c 539
3.95	o 8402
3.95	c 538
3.95	o 8403
3.95	c 537
3.95	o 8404
3.95	c 536
3.96	o 8405
3.96	c 535
3.96	o 8406
3.96	c 534
3.96	o 8407
3.96	c 533
3.97	o 8408
3.97	c 532
3.97	o 8409
3.97	c 531
3.97	o 8410
3.97	c 530
3.98	o 8411
3.98	c 529
3.98	o 8412
3.98	c 528
3.98	o 8413
3.98	c 527
3.99	o 8414
3.99	c 526
3.99	o 8415
3.99	c 525
3.99	o 8416
3.99	c 524
4.00	o 8417
4.00	c 523
4.00	o 8418
4.00	c 522
4.00	o 8419
4.00	c 521
4.01	o 8420
4.01	c 520
4.01	o 8421
4.01	c 519
4.01	o 8422
4.01	c 518
4.02	o 8423
4.02	c 517
4.02	o 8424
4.02	c 516
4.02	o 8425
4.02	c 515
4.03	o 8426
4.03	c 514
4.04	o 8427
4.04	c 513
4.04	o 8428
4.04	c 512
4.04	o 8429
4.04	c 511
4.05	o 8430
4.05	c 510
4.05	o 8431
4.05	c 509
4.05	o 8432
4.05	c 508
4.06	o 8433
4.06	c 507
4.06	o 8434
4.06	c 506
4.06	o 8435
4.06	c 505
4.07	o 8436
4.07	c 504
4.07	o 8437
4.07	c 503
4.07	o 8438
4.07	c 502
4.08	o 8439
4.08	c 501
4.08	o 8440
4.08	c 500
4.08	o 8441
4.08	c 499
4.08	o 8442
4.08	c 498
4.09	o 8443
4.09	c 497
4.09	o 8444
4.09	c 496
4.09	o 8445
4.09	c 495
4.10	o 8446
4.10	c 494
4.10	o 8447
4.10	c 493
4.10	o 8448
4.10	c 492
4.11	o 8449
4.11	c 491
4.11	o 8450
4.11	c 490
4.11	o 8451
4.11	c 489
4.12	o 8452
4.12	c 488
4.12	o 8453
4.12	c 487
4.12	o 8454
4.12	c 486
4.13	o 8455
4.13	c 485
4.13	o 8456
4.13	c 484
4.13	o 8457
4.13	c 483
4.14	o 8458
4.14	c 482
4.14	o 8459
4.14	c 481
4.14	o 8460
4.14	c 480
4.14	o 8461
4.14	c 479
4.15	o 8462
4.15	c 478
4.15	o 8463
4.15	c 477
4.15	o 8464
4.15	c 476
4.16	o 8465
4.16	c 475
4.16	o 8466
4.16	c 474
4.16	o 8467
4.16	c 473
4.17	o 8468
4.17	c 472
4.17	o 8469
4.17	c 471
4.17	o 8470
4.17	c 470
4.18	o 8471
4.18	c 469
4.18	o 8472
4.18	c 468
4.18	o 8473
4.18	c 467
4.18	o 8474
4.18	c 466
4.19	o 8475
4.19	c 465
4.19	o 8476
4.19	c 464
4.19	o 8477
4.19	c 463
4.20	o 8478
4.20	c 462
4.20	o 8479
4.20	c 461
4.20	o 8480
4.20	c 460
4.20	o 8481
4.20	c 459
4.21	o 8482
4.21	c 458
4.21	o 8483
4.21	c 457
4.21	o 8484
4.21	c 456
4.22	o 8485
4.22	c 455
4.22	o 8486
4.22	c 454
4.22	o 8487
4.22	c 453
4.23	o 8488
4.23	c 452
4.23	o 8489
4.23	c 451
4.23	o 8490
4.23	c 450
4.23	o 8491
4.23	c 449
4.24	o 8492
4.24	c 448
4.24	o 8493
4.24	c 447
4.24	o 8494
4.24	c 446
4.25	o 8495
4.25	c 445
4.25	o 8496
4.25	c 444
4.25	o 8497
4.25	c 443
4.26	o 8498
4.26	c 442
4.26	o 8499
4.26	c 441
4.26	o 8500
4.26	c 440
4.26	o 8501
4.26	c 439
4.27	o 8502
4.27	c 438
4.27	o 8503
4.27	c 437
4.27	o 8504
4.27	c 436
4.28	o 8505
4.28	c 435
4.28	o 8506
4.28	c 434
4.28	o 8507
4.28	c 433
4.28	o 8508
4.28	c 432
4.29	o 8509
4.29	c 431
4.29	o 8510
4.29	c 430
4.29	o 8511
4.29	c 429
4.29	o 8512
4.29	c 428
4.30	o 8513
4.30	c 427
4.30	o 8514
4.30	c 426
4.30	o 8515
4.30	c 425
4.31	o 8516
4.31	c 424
4.31	o 8517
4.31	c 423
4.31	o 8518
4.31	c 422
4.31	o 8519
4.31	c 421
4.32	o 8520
4.32	c 420
4.32	o 8521
4.32	c 419
4.32	o 8522
4.32	c 418
4.33	o 8523
4.33	c 417
4.33	o 8524
4.33	c 416
4.33	o 8525
4.33	c 415
4.33	o 8526
4.33	c 414
4.34	o 8527
4.34	c 413
4.34	o 8528
4.34	c 412
4.34	o 8529
4.34	c 411
4.35	o 8530
4.35	c 410
4.35	o 8531
4.35	c 409
4.35	o 8532
4.35	c 408
4.35	o 8533
4.35	c 407
4.36	o 8534
4.36	c 406
4.36	o 8535
4.36	c 405
4.36	o 8536
4.36	c 404
4.37	o 8537
4.37	c 403
4.37	o 8538
4.37	c 402
4.37	o 8539
4.37	c 401
4.37	o 8540
4.37	c 400
4.38	o 8541
4.38	c 399
4.38	o 8542
4.38	c 398
4.38	o 8543
4.38	c 397
4.39	o 8544
4.39	c 396
4.39	o 8545
4.39	c 395
4.39	o 8546
4.39	c 394
4.39	o 8547
4.39	c 393
4.40	o 8548
4.40	c 392
4.40	o 8549
4.40	c 391
4.40	o 8550
4.40	c 390
4.40	o 8551
4.40	c 389
4.41	o 8552
4.41	c 388
4.41	o 8553
4.41	c 387
4.41	o 8554
4.41	c 386
4.42	o 8555
4.42	c 385
4.42	o 8556
4.42	c 384
4.42	o 8557
4.42	c 383
4.43	o 8558
4.43	c 382
4.43	o 8559
4.43	c 381
4.43	o 8560
4.43	c 380
4.43	o 8561
4.43	c 379
4.44	o 8562
4.44	c 378
4.44	o 8563
4.44	c 377
4.44	o 8564
4.44	c 376
4.45	o 8565
4.45	c 375
4.61	o 8566
4.61	c 374
4.83	o 8567
4.83	c 373
4.84	o 8568
4.84	c 372
4.84	o 8569
4.84	c 371
4.84	o 8571
4.84	c 369
4.84	o 8573
4.84	c 367
4.85	o 8574
4.85	c 366
4.85	o 8575
4.85	c 365
4.85	o 8576
4.85	c 364
4.85	o 8577
4.85	c 363
4.86	o 8578
4.86	c 362
4.86	o 8579
4.86	c 361
4.86	o 8586
4.86	c 354
4.87	o 8587
4.87	c 353
4.87	o 8589
4.87	c 351
4.87	o 8590
4.87	c 350
4.87	o 8591
4.87	c 349
4.87	o 8592
4.87	c 348
4.88	o 8596
4.88	c 344
4.88	o 8598
4.88	c 342
4.88	o 8599
4.88	c 341
4.89	o 8600
4.89	c 340
4.89	o 8601
4.89	c 339
4.89	o 8602
4.89	c 338
4.89	o 8603
4.89	c 337
4.90	o 8604
4.90	c 336
4.90	o 8605
4.90	c 335
4.90	o 8606
4.90	c 334
4.90	o 8607
4.90	c 333
4.90	o 8608
4.90	c 332
4.91	o 8609
4.91	c 331
4.91	o 8610
4.91	c 330
4.91	o 8611
4.91	c 329
4.92	o 8612
4.92	c 328
4.92	o 8613
4.92	c 327
4.93	o 8614
4.93	c 326
4.93	o 8618
4.93	c 322
4.93	o 8619
4.93	c 321
4.93	o 8620
4.93	c 320
4.94	o 8621
4.94	c 319
4.94	o 8622
4.94	c 318
4.94	o 8626
4.94	c 314
4.94	o 8627
4.94	c 313
4.95	o 8628
4.95	c 312
4.95	o 8629
4.95	c 311
4.95	o 8633
4.95	c 307
4.96	o 8634
4.96	c 306
4.96	o 8635
4.96	c 305
4.97	o 8636
4.97	c 304
4.97	o 8637
4.97	c 303
4.97	o 8639
4.97	c 301
5.02	o 8640
5.02	c 300
5.03	o 8641
5.03	c 299
5.03	o 8642
5.03	c 298
5.03	o 8643
5.03	c 297
5.04	o 8644
5.04	c 296
5.04	o 8645
5.04	c 295
5.04	o 8646
5.04	c 294
5.05	o 8647
5.05	c 293
5.05	o 8648
5.05	c 292
5.05	o 8649
5.05	c 291
5.05	o 8650
5.05	c 290
5.05	o 8651
5.05	c 289
5.06	o 8652
5.06	c 288
5.06	o 8653
5.06	c 287
5.09	o 8655
5.09	c 285
5.10	o 8656
5.10	c 284
5.10	o 8658
5.10	c 282
5.10	o 8659
5.10	c 281
5.10	o 8660
5.10	c 280
5.10	o 8661
5.10	c 279
5.11	o 8662
5.11	c 278
5.11	o 8663
5.11	c 277
5.12	o 8664
5.12	c 276
5.12	o 8665
5.12	c 275
5.12	o 8666
5.12	c 274
5.13	o 8667
5.13	c 273
5.13	o 8669
5.13	c 271
5.13	o 8670
5.13	c 270
5.13	o 8671
5.13	c 269
5.14	o 8672
5.14	c 268
5.14	o 8673
5.14	c 267
5.15	o 8674
5.15	c 266
5.15	o 8676
5.15	c 264
5.15	o 8677
5.15	c 263
5.15	o 8678
5.15	c 262
5.16	o 8679
5.16	c 261
5.17	o 8680
5.17	c 260
5.18	o 8681
5.18	c 259
5.19	o 8682
5.19	c 258
5.20	o 8683
5.20	c 257
5.21	o 8684
5.21	c 256
5.25	o 8686
5.25	c 254
5.25	o 8687
5.25	c 253
5.26	o 8688
5.26	c 252
5.26	o 8689
5.26	c 251
5.27	o 8690
5.27	c 250
5.27	o 8691
5.27	c 249
5.27	o 8692
5.27	c 248
5.27	o 8694
5.27	c 246
5.28	o 8695
5.28	c 245
5.28	o 8696
5.28	c 244
5.28	o 8697
5.28	c 243
5.30	o 8698
5.30	c 242
5.30	o 8699
5.30	c 241
5.31	o 8700
5.31	c 240
5.31	o 8701
5.31	c 239
5.32	o 8703
5.32	c 237
5.32	o 8704
5.32	c 236
5.32	o 8705
5.32	c 235
5.33	o 8706
5.33	c 234
5.33	o 8707
5.33	c 233
5.40	o 8708
5.40	c 232
5.41	o 8709
5.41	c 231
5.41	o 8710
5.41	c 230
5.41	o 8711
5.41	c 229
5.42	o 8712
5.42	c 228
5.43	o 8713
5.43	c 227
5.43	o 8714
5.43	c 226
5.44	o 8715
5.44	c 225
5.45	o 8716
5.45	c 224
5.45	o 8718
5.45	c 222
5.45	o 8719
5.45	c 221
5.46	o 8721
5.46	c 219
5.49	o 8723
5.49	c 217
5.49	o 8724
5.49	c 216
5.49	o 8725
5.49	c 215
5.50	o 8726
5.50	c 214
5.50	o 8728
5.50	c 212
5.50	o 8729
5.50	c 211
5.53	o 8731
5.53	c 209
5.54	o 8732
5.54	c 208
5.64	o 8733
5.64	c 207
5.66	o 8735
5.66	c 205
5.67	o 8736
5.67	c 204
5.67	o 8737
5.67	c 203
5.67	o 8738
5.67	c 202
5.68	o 8739
5.68	c 201
5.69	o 8740
5.69	c 200
5.69	o 8741
5.69	c 199
5.69	o 8742
5.69	c 198
5.69	o 8743
5.69	c 197
5.71	o 8744
5.71	c 196
5.72	o 8745
5.72	c 195
5.72	o 8746
5.72	c 194
5.73	o 8747
5.73	c 193
5.74	o 8748
5.74	c 192
5.74	o 8749
5.74	c 191
5.74	o 8750
5.74	c 190
5.75	o 8751
5.75	c 189
5.76	o 8752
5.76	c 188
5.76	o 8754
5.76	c 186
5.77	o 8755
5.77	c 185
5.77	o 8756
5.77	c 184
5.77	o 8757
5.77	c 183
5.78	o 8758
5.78	c 182
5.78	o 8759
5.78	c 181
5.78	o 8760
5.79	c 180
5.79	o 8761
5.79	c 179
5.97	o 8764
5.97	c 176
5.97	o 8765
5.97	c 175
6.03	o 8766
6.03	c 174
6.04	o 8767
6.04	c 173
6.05	o 8768
6.05	c 172
6.05	o 8770
6.05	c 170
6.06	o 8771
6.06	c 169
6.06	o 8772
6.06	c 168
6.07	o 8774
6.07	c 166
6.07	o 8775
6.07	c 165
6.07	o 8776
6.07	c 164
6.08	o 8777
6.08	c 163
6.08	o 8778
6.08	c 162
6.08	o 8779
6.08	c 161
6.09	o 8780
6.09	c 160
6.10	o 8781
6.10	c 159
6.10	o 8782
6.10	c 158
6.11	o 8783
6.11	c 157
6.11	o 8784
6.11	c 156
6.12	o 8785
6.12	c 155
6.12	o 8786
6.12	c 154
6.13	o 8787
6.13	c 153
6.13	o 8788
6.13	c 152
6.14	o 8790
6.14	c 150
6.17	o 8791
6.17	c 149
6.18	o 8792
6.18	c 148
6.18	o 8793
6.18	c 147
6.32	o 8794
6.32	c 146
6.32	o 8795
6.32	c 145
6.32	o 8796
6.32	c 144
6.32	o 8797
6.32	c 143
6.33	o 8798
6.33	c 142
6.33	o 8799
6.33	c 141
6.33	o 8800
6.33	c 140
6.33	o 8801
6.33	c 139
6.35	o 8802
6.35	c 138
6.36	o 8803
6.36	c 137
6.36	o 8804
6.36	c 136
6.37	o 8805
6.37	c 135
6.38	o 8806
6.38	c 134
6.38	o 8807
6.38	c 133
6.39	o 8809
6.39	c 131
6.40	o 8810
6.40	c 130
6.54	o 8811
6.54	c 129
6.54	o 8812
6.54	c 128
6.55	o 8813
6.55	c 127
6.55	o 8814
6.55	c 126
6.55	o 8815
6.55	c 125
6.56	o 8817
6.56	c 123
6.56	o 8818
6.56	c 122
6.58	o 8819
6.58	c 121
6.59	o 8820
6.59	c 120
6.59	o 8821
6.59	c 119
6.60	o 8822
6.60	c 118
6.60	o 8823
6.60	c 117
6.62	o 8824
6.62	c 116
6.62	o 8825
6.62	c 115
6.64	o 8826
6.64	c 114
6.64	o 8827
6.64	c 113
6.69	o 8828
6.69	c 112
6.69	o 8829
6.69	c 111
6.70	o 8830
6.70	c 110
6.70	o 8831
6.70	c 109
6.70	o 8832
6.70	c 108
6.71	o 8833
6.71	c 107
6.82	o 8836
6.82	c 104
6.83	o 8837
6.83	c 103
7.07	o 8838
7.07	c 102
7.11	o 8839
7.11	c 101
7.11	o 8840
7.11	c 100
7.12	o 8841
7.12	c 99
7.12	o 8842
7.12	c 98
7.24	o 8843
7.24	c 97
7.25	o 8844
7.25	c 96
7.28	o 8845
7.28	c 95
7.42	o 8846
7.42	c 94
7.44	o 8847
7.44	c 93
7.45	o 8848
7.45	c 92
7.48	o 8849
7.48	c 91
7.48	o 8850
7.48	c 90
7.48	o 8851
7.48	c 89
7.48	o 8852
7.48	c 88
7.49	o 8853
7.49	c 87
7.50	o 8854
7.50	c 86
7.50	o 8855
7.50	c 85
7.51	o 8856
7.51	c 84
7.57	o 8857
7.57	c 83
7.58	o 8859
7.58	c 81
7.58	o 8860
7.58	c 80
7.61	o 8861
7.61	c 79
7.61	o 8862
7.61	c 78
7.62	o 8863
7.62	c 77
7.66	o 8864
7.66	c 76
7.74	o 8865
7.74	c 75
7.75	o 8866
7.75	c 74
7.75	o 8867
7.75	c 73
7.75	o 8868
7.75	c 72
7.75	o 8869
7.75	c 71
7.76	o 8870
7.76	c 70
7.78	o 8871
7.78	c 69
7.81	o 8872
7.81	c 68
7.82	o 8873
7.82	c 67
7.82	o 8874
7.82	c 66
7.83	o 8875
7.83	c 65
7.87	o 8876
7.87	c 64
7.88	o 8877
7.88	c 63
7.98	o 8878
7.98	c 62
7.99	o 8879
7.99	c 61
7.99	o 8880
7.99	c 60
8.15	o 8881
8.15	c 59
8.16	o 8882
8.16	c 58
8.16	o 8883
8.16	c 57
8.21	o 8884
8.21	c 56
8.21	o 8885
8.21	c 55
8.22	o 8886
8.22	c 54
8.23	o 8887
8.23	c 53
8.23	o 8888
8.23	c 52
8.24	o 8889
8.24	c 51
8.25	o 8890
8.25	c 50
8.27	o 8891
8.27	c 49
8.55	o 8892
8.55	c 48
8.55	o 8893
8.55	c 47
8.59	o 8894
8.59	c 46
8.63	o 8895
8.63	c 45
8.66	o 8896
8.66	c 44
8.67	o 8897
8.67	c 43
8.67	o 8898
8.67	c 42
8.68	o 8899
8.68	c 41
8.68	o 8900
8.68	c 40
8.80	o 8901
8.80	c 39
8.84	o 8902
8.84	c 38
8.87	o 8903
8.87	c 37
8.87	o 8904
8.87	c 36
9.01	   
9.01	   search
9.01	     run=0  nbConstraintChecks=7452462  nbAssignments=10000
9.01	       =>  wckTime=6.945  cpuTime=6.75  mem=20M818
9.03	o 8905
9.03	c 35
9.06	o 8906
9.06	c 34
9.06	o 8907
9.06	c 33
9.08	o 8908
9.08	c 32
9.13	o 8909
9.13	c 31
9.24	o 8910
9.24	c 30
9.24	o 8911
9.24	c 29
9.64	o 8912
9.64	c 28
9.65	o 8913
9.65	c 27
9.87	o 8914
9.87	c 26
9.91	o 8915
9.91	c 25
9.96	o 8916
9.96	c 24
9.97	o 8917
9.97	c 23
9.98	o 8918
9.98	c 22
10.03	o 8919
10.03	c 21
10.23	o 8920
10.23	c 20
10.25	o 8921
10.25	c 19
10.32	o 8922
10.32	c 18
10.37	o 8923
10.37	c 17
11.21	o 8924
11.21	c 16
11.23	o 8925
11.23	c 15
11.23	   
11.23	   search
11.23	     run=1  nbConstraintChecks=9597716  nbAssignments=20000
11.23	       =>  wckTime=9.172  cpuTime=8.95  mem=20M818
11.34	o 8926
11.34	c 14
11.35	o 8927
11.35	c 13
12.20	o 8928
12.20	c 12
12.33	o 8929
12.33	c 11
12.42	o 8930
12.42	c 10
13.10	   
13.10	   search
13.10	     run=2  nbConstraintChecks=10765089  nbAssignments=30000
13.10	       =>  wckTime=11.038  cpuTime=10.8  mem=20M818
13.23	o 8931
13.23	c 9
13.25	o 8932
13.25	c 8
13.25	o 8933
13.25	c 7
13.27	o 8934
13.27	c 6
13.28	o 8935
13.28	c 5
13.33	o 8936
13.33	c 4
14.20	o 8937
14.20	c 3
15.79	o 8938
15.79	c 2
17.85	   
17.85	   search
17.85	     run=3  nbConstraintChecks=16765075  nbAssignments=40000
17.85	       =>  wckTime=15.79  cpuTime=15.5  mem=20M818
17.87	o 8939
17.87	c 1
17.87	   
17.87	   search
17.87	     run=4  nbConstraintChecks=16775527  nbAssignments=40058
17.87	       =>  wckTime=15.806  cpuTime=15.52  mem=20M818
17.87	   
17.87	   global
17.87	     nbConstraintChecks=16775527  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
17.87	     solvingWckTime=15.8  solvingCpuTime=15.52  expiredTime=no  totalExploration=no  nbFoundSolutions=0
17.87	     globalCpuTime=16.95
17.87	       =>  wckTime=17.552  cpuTime=16.89  mem=20M818
17.87	   
17.87	   solver IterativeSystematicSolver being built... 
18.28	       =>  wckTime=17.957  cpuTime=17.19  mem=21M865
93.65	   
93.65	   preprocessing
93.65	     nbConstraintChecks=11075638  nbValidityChecks=7357390  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
93.65	     nbRemovedValues=4  detectedInconsistency=no
93.65	       =>  wckTime=75.365  cpuTime=74.63  mem=21M865
105.73	   
105.73	   search
105.73	     run=0  nbConstraintChecks=2517912  nbValidityChecks=1752430  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
105.73	     nbAssignments=840  nbFailedAssignments=1  nbBacktracks=12  nbVisitedNodes=842  nbRestartNogoods=0
105.73	       =>  wckTime=87.448  cpuTime=86.59  mem=21M865
115.01	   
115.01	   search
115.01	     run=1  nbConstraintChecks=4456314  nbValidityChecks=3136720  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
115.01	     nbAssignments=1512  nbFailedAssignments=3  nbBacktracks=29  nbVisitedNodes=1516  nbRestartNogoods=1
115.01	       =>  wckTime=96.734  cpuTime=95.76  mem=21M865
127.19	   
127.19	   search
127.19	     run=2  nbConstraintChecks=7163534  nbValidityChecks=5051401  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
127.19	     nbAssignments=2394  nbFailedAssignments=8  nbBacktracks=53  nbVisitedNodes=2403  nbRestartNogoods=3
127.19	       =>  wckTime=108.915  cpuTime=107.83  mem=21M865
137.33	   
137.33	   search
137.33	     run=3  nbConstraintChecks=9330451  nbValidityChecks=6612933  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
137.33	     nbAssignments=3120  nbFailedAssignments=13  nbBacktracks=146  nbVisitedNodes=3134  nbRestartNogoods=6
137.33	       =>  wckTime=119.053  cpuTime=117.88  mem=21M865
149.89	   
149.89	   search
149.89	     run=4  nbConstraintChecks=12195861  nbValidityChecks=8623731  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
149.89	     nbAssignments=4034  nbFailedAssignments=18  nbBacktracks=202  nbVisitedNodes=4053  nbRestartNogoods=7
149.89	       =>  wckTime=131.617  cpuTime=130.33  mem=21M865
162.98	   
162.98	   search
162.98	     run=5  nbConstraintChecks=15138007  nbValidityChecks=10679711  nbPropagations=0  nbRevisions=0
162.98	     nbUselessRevisions=0  nbAssignments=4967  nbFailedAssignments=29  nbBacktracks=297  nbVisitedNodes=4997
162.98	     nbRestartNogoods=10
162.98	       =>  wckTime=144.701  cpuTime=143.29  mem=21M865
173.35	   
173.35	   search
173.35	     run=6  nbConstraintChecks=17318856  nbValidityChecks=12237530  nbPropagations=0  nbRevisions=0
173.35	     nbUselessRevisions=0  nbAssignments=5695  nbFailedAssignments=37  nbBacktracks=411  nbVisitedNodes=5733
173.35	     nbRestartNogoods=13
173.35	       =>  wckTime=155.073  cpuTime=153.57  mem=21M865
187.26	   
187.26	   search
187.26	     run=7  nbConstraintChecks=20433901  nbValidityChecks=14427691  nbPropagations=0  nbRevisions=0
187.26	     nbUselessRevisions=0  nbAssignments=6655  nbFailedAssignments=52  nbBacktracks=590  nbVisitedNodes=6710
187.26	     nbRestartNogoods=15
187.26	       =>  wckTime=168.983  cpuTime=167.36  mem=22M867
199.61	   
199.61	   search
199.61	     run=8  nbConstraintChecks=23077973  nbValidityChecks=16346042  nbPropagations=0  nbRevisions=0
199.61	     nbUselessRevisions=0  nbAssignments=7495  nbFailedAssignments=71  nbBacktracks=1001  nbVisitedNodes=7570
199.61	     nbRestartNogoods=18
199.61	       =>  wckTime=181.336  cpuTime=179.6  mem=22M867
214.72	   
214.72	   search
214.72	     run=9  nbConstraintChecks=26506059  nbValidityChecks=18791103  nbPropagations=0  nbRevisions=0
214.72	     nbUselessRevisions=0  nbAssignments=8540  nbFailedAssignments=95  nbBacktracks=1605  nbVisitedNodes=8640
214.72	     nbRestartNogoods=20
214.72	       =>  wckTime=196.444  cpuTime=194.56  mem=22M867
230.04	   
230.04	   search
230.04	     run=10  nbConstraintChecks=30176555  nbValidityChecks=21401452  nbPropagations=0  nbRevisions=0
230.04	     nbUselessRevisions=0  nbAssignments=9618  nbFailedAssignments=115  nbBacktracks=2240  nbVisitedNodes=9738
230.04	     nbRestartNogoods=24
230.04	       =>  wckTime=211.764  cpuTime=209.73  mem=22M867
253.56	   
253.56	   search
253.56	     run=11  nbConstraintChecks=35945585  nbValidityChecks=25385953  nbPropagations=0  nbRevisions=0
253.56	     nbUselessRevisions=0  nbAssignments=11204  nbFailedAssignments=161  nbBacktracks=3109  nbVisitedNodes=11374
253.56	     nbRestartNogoods=29
253.56	       =>  wckTime=235.283  cpuTime=233.04  mem=22M867
281.77	   
281.77	   search
281.77	     run=12  nbConstraintChecks=40625952  nbValidityChecks=28601162  nbPropagations=0  nbRevisions=0
281.77	     nbUselessRevisions=0  nbAssignments=12860  nbFailedAssignments=220  nbBacktracks=4516  nbVisitedNodes=13092
281.77	     nbRestartNogoods=33
281.77	       =>  wckTime=263.488  cpuTime=260.99  mem=22M867
319.83	   
319.83	   search
319.83	     run=13  nbConstraintChecks=45889187  nbValidityChecks=32191292  nbPropagations=0  nbRevisions=0
319.83	     nbUselessRevisions=0  nbAssignments=15045  nbFailedAssignments=312  nbBacktracks=6487  nbVisitedNodes=15381
319.83	     nbRestartNogoods=35
319.83	       =>  wckTime=301.555  cpuTime=298.72  mem=22M867
381.25	   
381.25	   search
381.25	     run=14  nbConstraintChecks=54392964  nbValidityChecks=37793607  nbPropagations=0  nbRevisions=0
381.25	     nbUselessRevisions=0  nbAssignments=18301  nbFailedAssignments=476  nbBacktracks=9434  nbVisitedNodes=18815
381.25	     nbRestartNogoods=38
381.25	       =>  wckTime=362.976  cpuTime=359.57  mem=22M867
435.59	   
435.59	   search
435.59	     run=15  nbConstraintChecks=57759560  nbValidityChecks=39765617  nbPropagations=0  nbRevisions=0
435.59	     nbUselessRevisions=0  nbAssignments=20986  nbFailedAssignments=690  nbBacktracks=11906  nbVisitedNodes=21756
435.59	     nbRestartNogoods=49
435.59	       =>  wckTime=417.316  cpuTime=413.41  mem=22M867
435.60	   
435.60	   global
435.60	     nbConstraintChecks=68835198  nbValidityChecks=47123007  nbRestartNogoods=49  solvingWckTime=417.317
435.60	     solvingCpuTime=413.41  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=430.66
435.60	       =>  wckTime=435.276  cpuTime=430.6  mem=22M867
435.60	
435.60	s OPTIMUM FOUND
435.60	v 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 
435.60	   
435.60	   totalWckTime=435.359  totalCpuTime=430.66

1 unsatisfied constraints, 8939 satisfied constraints

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node7/watcher-275789-1169227198 -o ROOT/results/node7/solver-275789-1169227198 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275789-1169227198/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.92 1.98 1.99 2/93 12357
/proc/meminfo: memFree=1086760/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=18540 CPUtime=0
/proc/12356/stat : 12356 (runsolver) R 12354 12356 11477 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271115257 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12356/statm: 4635 279 244 17 0 2626 0

[startup+0.10304 s]
/proc/loadavg: 1.92 1.98 1.99 2/93 12357
/proc/meminfo: memFree=1086760/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=914852 CPUtime=0.08
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 2942 0 1 0 7 1 0 0 19 0 8 0 271115257 936808448 2688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10857713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228713 2688 1412 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.511081 s]
/proc/loadavg: 1.92 1.98 1.99 2/93 12357
/proc/meminfo: memFree=1086760/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915332 CPUtime=0.47
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 6459 0 1 0 45 2 0 0 18 0 8 0 271115257 937299968 6198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153987660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228833 6198 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33417 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 12364
/proc/meminfo: memFree=1029872/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915644 CPUtime=1.29
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 17770 0 1 0 110 19 0 0 24 0 8 0 271115257 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228911 17507 2183 14 0 215381 0
[pid=12356/tid=12358] ppid=12354 vsize=915644 CPUtime=0.05
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 1137 0 0 0 5 0 0 0 16 0 8 0 271115261 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915644 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915644 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915644 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915644 CPUtime=0.18
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 422 0 0 0 18 0 0 0 16 0 8 0 271115265 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915644 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915644 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937619456 17507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915644

[startup+2.98734 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 12364
/proc/meminfo: memFree=1010224/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=2.9
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 21834 0 1 0 240 50 0 0 25 0 8 0 271115257 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 21551 2504 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.16
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 4817 0 0 0 15 1 0 0 17 0 8 0 271115261 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.24
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 454 0 0 0 23 1 0 0 15 0 8 0 271115265 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 21551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915740

[startup+6.27169 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 12364
/proc/meminfo: memFree=1010032/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=6.11
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 21843 0 1 0 541 70 0 0 25 0 8 0 271115257 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 21558 2504 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.16
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 4817 0 0 0 15 1 0 0 16 0 8 0 271115261 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.26
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 461 0 0 0 25 1 0 0 15 0 8 0 271115265 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 21558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915740

[startup+12.7644 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 12364
/proc/meminfo: memFree=1009968/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=12.53
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 21850 0 1 0 1074 179 0 0 25 0 8 0 271115257 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073471031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 21565 2504 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.16
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 4817 0 0 0 15 1 0 0 16 0 8 0 271115261 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.27
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 468 0 0 0 26 1 0 0 17 0 8 0 271115265 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 21565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915740

[startup+25.6157 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 12364
/proc/meminfo: memFree=1006768/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=25.26
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22727 0 1 0 2295 231 0 0 25 0 8 0 271115257 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074239992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22438 2552 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5540 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.37
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 529 0 0 0 36 1 0 0 15 0 8 0 271115265 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915740

[startup+51.2494 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 12364
/proc/meminfo: memFree=1006832/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=50.66
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22742 0 1 0 4835 231 0 0 25 0 8 0 271115257 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22447 2552 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5540 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.39
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 542 0 0 0 38 1 0 0 15 0 8 0 271115265 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915740

[startup+102.508 s]
/proc/loadavg: 2.10 2.02 2.01 3/100 12366
/proc/meminfo: memFree=1006832/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=101.46
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22752 0 1 0 9914 232 0 0 25 0 8 0 271115257 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22456 2554 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5540 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.4
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 546 0 0 0 39 1 0 0 16 0 8 0 271115265 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915740

[startup+162.516 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 12366
/proc/meminfo: memFree=1006832/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=160.91
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22778 0 1 0 15859 232 0 0 25 0 8 0 271115257 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074267632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22475 2557 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5541 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.43
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 563 0 0 0 41 2 0 0 15 0 8 0 271115265 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 915740

[startup+222.529 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 12366
/proc/meminfo: memFree=1006768/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=220.39
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22781 0 1 0 21806 233 0 0 25 0 8 0 271115257 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074370593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22478 2557 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5541 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.44
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 566 0 0 0 42 2 0 0 15 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 915740

[startup+282.54 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12366
/proc/meminfo: memFree=1006768/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=279.84
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22782 0 1 0 27751 233 0 0 25 0 8 0 271115257 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073893072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22478 2557 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5541 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.44
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 566 0 0 0 42 2 0 0 15 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (KiB) 915740

[startup+342.552 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12366
/proc/meminfo: memFree=1006832/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=339.31
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22782 0 1 0 33697 234 0 0 25 0 8 0 271115257 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074238193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22478 2557 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5541 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.44
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 566 0 0 0 42 2 0 0 15 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.31
Current children cumulated vsize (KiB) 915740

[startup+402.563 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 12366
/proc/meminfo: memFree=1006768/2055920 swapFree=4192812/4192956
[pid=12356] ppid=12354 vsize=915740 CPUtime=398.78
/proc/12356/stat : 12356 (java) R 12354 12356 11477 0 -1 0 22783 0 1 0 39644 234 0 0 25 0 8 0 271115257 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074221705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12356/statm: 228935 22479 2557 14 0 215405 0
[pid=12356/tid=12358] ppid=12354 vsize=915740 CPUtime=0.18
/proc/12356/task/12358/stat : 12358 (java) S 12354 12356 11477 0 -1 64 5541 0 0 0 17 1 0 0 16 0 8 0 271115261 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12359] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12359/stat : 12359 (java) S 12354 12356 11477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12360] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12360/stat : 12360 (java) S 12354 12356 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271115262 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12361] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12361/stat : 12361 (java) S 12354 12356 11477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271115265 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12362] ppid=12354 vsize=915740 CPUtime=0.45
/proc/12356/task/12362/stat : 12362 (java) S 12354 12356 11477 0 -1 64 567 0 0 0 43 2 0 0 16 0 8 0 271115265 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12363] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12363/stat : 12363 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271115265 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12356/tid=12364] ppid=12354 vsize=915740 CPUtime=0
/proc/12356/task/12364/stat : 12364 (java) S 12354 12356 11477 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271115265 937717760 22479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.78
Current children cumulated vsize (KiB) 915740

Child status: 0
Real time (s): 435.668
CPU time (s): 431.536
CPU user time (s): 429.176
CPU system time (s): 2.36064
CPU usage (%): 99.0517
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 429.176
system time used= 2.36064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22798
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10824
involuntary context switches= 32594

runsolver used 0.630904 s user time and 1.39279 s system time

The end

Begin job on node7 on Fri Jan 19 17:19:58 UTC 2007


IDJOB= 275789
IDBENCH= 4801
IDSOLVER= 68
FILE ID= node7/275789-1169227198

PBS_JOBID= 3588943

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-1355-638.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275789-1169227198/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-275789-1169227198 -o ROOT/results/node7/solver-275789-1169227198 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275789-1169227198/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d4173c08d23547badf1bca6a01d815fe

RANDOM SEED= 580233759

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.220
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.220
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:       1087240 kB
Buffers:         51704 kB
Cached:         502360 kB
SwapCached:          0 kB
Active:         460548 kB
Inactive:       426104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1087240 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2988 kB
Writeback:           0 kB
Mapped:         361592 kB
Slab:            66140 kB
Committed_AS:  8596316 kB
PageTables:       2940 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB



End job on node7 on Fri Jan 19 17:27:14 UTC 2007