Trace number 3709240

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0.6-R5325 (opt)SAT (TO)16 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1790.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5  --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...167164/instance-3709240-1338167164.opb
0.00/0.00	c Solving...
0.00/0.00	o 1365
0.00/0.01	o 1364
0.00/0.01	o 1362
0.00/0.02	o 1360
0.00/0.02	o 1359
0.00/0.02	o 1358
0.00/0.03	o 1356
0.00/0.05	o 1354
0.00/0.05	o 1353
0.00/0.06	o 1351
0.00/0.07	o 1350
0.00/0.07	o 1348
0.00/0.08	o 1347
0.00/0.08	o 1345
0.00/0.10	o 1343
0.00/0.13	o 1341
0.00/0.14	o 1339
0.00/0.14	o 1338
0.00/0.15	o 1337
0.00/0.16	o 1335
0.00/0.17	o 1334
0.00/0.18	o 1333
0.00/0.19	o 1332
0.00/0.19	o 1331
0.00/0.20	o 1330
0.00/0.21	o 1329
0.00/0.21	o 1328
0.00/0.22	o 1326
0.00/0.24	o 1325
0.00/0.28	o 1324
0.00/0.35	o 1323
0.00/0.36	o 1322
0.00/0.41	o 1320
0.00/0.41	o 1319
0.00/0.42	o 1317
0.00/0.43	o 1316
0.00/0.47	o 1314
0.00/0.48	o 1312
0.00/0.48	o 1311
0.00/0.49	o 1310
0.00/0.50	o 1309
0.00/0.50	o 1308
0.00/0.51	o 1307
0.00/0.53	o 1306
0.00/0.53	o 1305
0.00/0.54	o 1303
0.00/0.55	o 1302
0.00/0.56	o 1300
0.00/0.56	o 1299
0.00/0.58	o 1298
0.00/0.60	o 1297
0.00/0.63	o 1295
0.00/0.71	o 1293
0.00/0.84	o 1292
0.00/0.89	o 1291
0.00/0.89	o 1290
0.00/0.90	o 1289
0.00/0.91	o 1288
0.00/0.91	o 1287
0.00/0.92	o 1286
0.00/0.93	o 1285
0.00/0.96	o 1283
0.00/0.98	o 1282
0.00/0.99	o 1280
0.00/1.01	o 1279
0.00/1.01	o 1278
0.00/1.02	o 1277
0.00/1.02	o 1276
0.00/1.04	o 1274
0.00/1.05	o 1272
0.00/1.06	o 1271
0.00/1.06	o 1270
0.00/1.07	o 1268
0.00/1.08	o 1266
0.00/1.10	o 1264
1.10/1.12	o 1263
1.10/1.18	o 1261
1.10/1.19	o 1259
1.10/1.20	o 1258
1.20/1.21	o 1256
1.20/1.22	o 1255
1.20/1.26	o 1253
1.20/1.27	o 1252
1.20/1.28	o 1250
1.29/1.31	o 1249
1.29/1.32	o 1248
1.29/1.32	o 1246
1.29/1.33	o 1245
1.29/1.34	o 1244
1.29/1.34	o 1242
1.29/1.35	o 1241
1.29/1.37	o 1239
1.29/1.39	o 1238
1.39/1.40	o 1236
1.39/1.42	o 1235
1.39/1.45	o 1233
1.49/1.52	o 1231
1.59/1.65	o 1230
1.89/1.99	o 1229
1.99/2.01	o 1228
1.99/2.04	o 1227
1.99/2.04	o 1225
1.99/2.05	o 1224
1.99/2.06	o 1223
1.99/2.06	o 1222
1.99/2.07	o 1221
1.99/2.09	o 1219
2.09/2.10	o 1218
2.09/2.10	o 1216
2.09/2.11	o 1215
2.09/2.11	o 1214
2.09/2.13	o 1212
2.09/2.13	o 1210
2.09/2.15	o 1209
2.09/2.19	o 1208
2.19/2.25	o 1207
2.19/2.27	o 1205
2.29/2.31	o 1203
2.29/2.31	o 1201
2.29/2.34	o 1200
2.29/2.35	o 1199
2.29/2.38	o 1197
2.29/2.39	o 1196
2.39/2.40	o 1195
2.39/2.41	o 1193
2.39/2.41	o 1192
2.39/2.42	o 1190
2.39/2.42	o 1189
2.39/2.44	o 1188
2.39/2.45	o 1187
2.39/2.46	o 1185
2.39/2.46	o 1184
2.39/2.47	o 1183
2.39/2.48	o 1181
2.39/2.49	o 1179
2.49/2.53	o 1177
2.59/2.61	o 1175
2.69/2.77	o 1173
2.69/2.78	o 1171
2.79/2.82	o 1170
2.79/2.83	o 1168
2.79/2.86	o 1166
2.89/2.90	o 1164
2.89/2.91	o 1162
2.89/2.92	o 1160
2.89/2.92	o 1158
2.89/2.94	o 1156
2.89/2.96	o 1155
2.99/3.06	o 1153
3.09/3.14	o 1152
3.09/3.15	o 1150
3.09/3.16	o 1148
3.09/3.17	o 1147
3.09/3.18	o 1146
3.09/3.19	o 1145
3.19/3.20	o 1143
3.19/3.21	o 1141
3.19/3.22	o 1139
3.19/3.22	o 1138
3.19/3.23	o 1136
3.19/3.24	o 1135
3.19/3.27	o 1134
3.29/3.33	o 1133
3.29/3.35	o 1131
3.29/3.35	o 1129
3.29/3.40	o 1128
3.39/3.43	o 1126
3.49/3.51	o 1125
3.59/3.67	o 1124
3.89/3.99	o 1123
4.59/4.63	o 1122
4.59/4.64	o 1121
4.59/4.64	o 1119
4.59/4.66	o 1117
4.59/4.67	o 1116
4.69/4.75	o 1114
4.69/4.78	o 1112
4.69/4.79	o 1110
4.79/4.80	o 1108
4.79/4.87	o 1107
4.79/4.87	o 1105
4.89/4.93	o 1104
4.89/4.94	o 1102
4.89/4.95	o 1101
4.89/4.95	o 1100
4.89/4.96	o 1098
4.89/4.97	o 1096
4.99/5.00	o 1095
4.99/5.01	o 1094
4.99/5.02	o 1092
4.99/5.02	o 1090
4.99/5.03	o 1088
4.99/5.07	o 1087
5.09/5.11	o 1086
5.09/5.12	o 1085
5.09/5.12	o 1084
5.09/5.13	o 1082
5.09/5.14	o 1081
5.09/5.17	o 1080
5.09/5.17	o 1079
5.09/5.19	o 1077
5.19/5.21	o 1076
5.19/5.25	o 1075
5.29/5.33	o 1074
5.39/5.49	o 1072
5.49/5.50	o 1070
5.49/5.51	o 1068
5.49/5.53	o 1067
5.49/5.56	o 1066
5.49/5.57	o 1064
5.49/5.58	o 1063
5.49/5.59	o 1061
5.49/5.60	o 1060
5.59/5.65	o 1058
5.59/5.66	o 1056
5.59/5.66	o 1055
5.59/5.67	o 1053
5.59/5.69	o 1051
5.69/5.70	o 1050
5.69/5.71	o 1048
5.69/5.73	o 1047
5.69/5.74	o 1045
5.69/5.78	o 1044
5.79/5.86	o 1042
5.79/5.87	o 1040
5.79/5.88	o 1039
5.89/5.90	o 1038
5.89/5.91	o 1037
5.89/5.93	o 1035
5.89/5.94	o 1033
5.89/5.97	o 1032
5.99/6.01	o 1030
5.99/6.01	o 1028
5.99/6.02	o 1026
5.99/6.03	o 1024
5.99/6.05	o 1022
5.99/6.06	o 1021
5.99/6.09	o 1020
6.09/6.10	o 1018
6.09/6.12	o 1016
6.09/6.15	o 1014
6.19/6.22	o 1012
6.29/6.38	o 1010
6.69/6.71	o 1008
6.69/6.71	o 1007
6.69/6.72	o 1005
6.69/6.73	o 1004
6.69/6.74	o 1002
6.79/6.80	o 1000
6.79/6.82	o 998
6.79/6.85	o 997
6.79/6.85	o 995
6.79/6.86	o 993
6.79/6.87	o 992
6.79/6.88	o 991
6.79/6.89	o 990
6.89/6.91	o 989
6.89/6.93	o 988
6.89/6.94	o 987
6.89/6.98	o 985
6.99/7.07	o 984
6.99/7.08	o 982
6.99/7.09	o 981
7.09/7.10	o 980
7.09/7.11	o 978
7.09/7.14	o 976
7.09/7.14	o 975
7.09/7.15	o 974
7.09/7.16	o 972
7.09/7.17	o 970
7.09/7.18	o 968
7.09/7.20	o 967
7.19/7.25	o 965
7.19/7.27	o 964
7.19/7.28	o 962
7.29/7.30	o 960
7.29/7.30	o 959
7.29/7.31	o 957
7.29/7.32	o 955
7.29/7.34	o 953
7.29/7.37	o 952
7.39/7.45	o 950
7.49/7.53	o 948
7.59/7.69	o 946
7.69/7.71	o 944
7.69/7.74	o 943
7.69/7.76	o 942
7.69/7.78	o 941
7.79/7.81	o 940
7.79/7.81	o 938
7.79/7.82	o 937
7.79/7.83	o 936
7.79/7.84	o 934
7.79/7.84	o 933
7.79/7.88	o 931
7.79/7.89	o 929
7.89/7.91	o 928
7.89/7.96	o 927
7.99/8.04	o 926
7.99/8.05	o 925
7.99/8.07	o 924
7.99/8.08	o 923
8.09/8.10	o 922
8.09/8.12	o 920
8.09/8.16	o 919
8.19/8.20	o 918
8.19/8.25	o 917
8.19/8.27	o 916
8.19/8.28	o 915
8.29/8.30	o 914
8.29/8.31	o 913
8.29/8.36	o 912
8.49/8.59	o 910
8.79/8.90	o 909
9.59/9.62	o 908
10.69/10.70	o 907
10.69/10.71	o 905
10.69/10.75	o 903
10.69/10.76	o 902
10.79/10.81	o 901
10.79/10.84	o 900
10.79/10.87	o 898
10.79/10.87	o 896
10.88/10.91	o 894
10.88/10.93	o 892
10.88/10.96	o 891
10.99/11.04	o 890
10.99/11.04	o 889
10.99/11.09	o 887
11.09/11.12	o 886
11.09/11.17	o 885
11.09/11.18	o 884
11.18/11.21	o 882
11.18/11.23	o 881
11.18/11.24	o 880
11.18/11.27	o 878
11.28/11.32	o 877
11.48/11.54	o 876
11.58/11.60	o 875
11.58/11.61	o 874
11.58/11.62	o 873
11.68/11.73	o 871
11.68/11.73	o 870
11.78/11.80	o 868
11.78/11.87	o 866
11.88/11.94	o 865
11.98/12.03	o 864
11.98/12.04	o 863
11.98/12.06	o 862
12.09/12.11	o 861
12.09/12.15	o 859
12.19/12.23	o 858
12.58/12.69	o 856
12.68/12.70	o 854
12.68/12.72	o 852
12.68/12.73	o 850
12.68/12.79	o 848
12.78/12.82	o 846
12.88/12.91	o 845
12.88/12.92	o 843
12.88/12.93	o 841
12.88/12.93	o 840
12.88/12.95	o 839
13.08/13.19	o 838
13.19/13.24	o 837
13.19/13.25	o 835
13.29/13.32	o 834
13.58/13.64	o 833
13.58/13.66	o 831
13.58/13.66	o 829
13.58/13.67	o 827
13.58/13.69	o 826
13.68/13.75	o 824
13.78/13.81	o 823
13.78/13.82	o 822
13.78/13.84	o 821
13.78/13.88	o 819
14.08/14.12	o 817
14.08/14.13	o 815
14.08/14.15	o 813
14.18/14.22	o 812
14.18/14.25	o 811
14.29/14.33	o 810
14.48/14.52	o 808
14.78/14.83	o 806
15.68/15.71	o 804
15.68/15.72	o 803
15.78/15.86	o 801
15.78/15.86	o 800
15.88/15.91	o 799
15.98/16.02	o 798
15.98/16.07	o 797
15.98/16.08	o 795
16.08/16.11	o 794
16.08/16.17	o 793
16.28/16.39	o 791
16.38/16.40	o 790
16.38/16.43	o 788
16.38/16.47	o 786
16.49/16.59	o 784
16.59/16.61	o 783
16.68/16.74	o 782
16.68/16.75	o 780
16.68/16.76	o 778
16.68/16.78	o 777
16.68/16.79	o 775
16.88/16.92	o 774
16.88/16.93	o 773
16.88/16.94	o 771
16.88/16.97	o 769
17.08/17.10	o 768
17.18/17.27	o 767
17.59/17.62	o 766
17.59/17.65	o 765
17.69/17.70	o 764
17.69/17.72	o 762
17.69/17.73	o 760
17.69/17.75	o 758
17.69/17.76	o 756
17.78/17.81	o 754
17.78/17.84	o 752
17.88/17.93	o 750
17.88/17.94	o 749
17.88/17.95	o 747
17.88/17.99	o 746
17.98/18.01	o 745
17.98/18.08	o 743
17.98/18.08	o 742
17.98/18.10	o 741
18.08/18.13	o 740
18.08/18.19	o 739
18.38/18.44	o 738
18.48/18.53	o 737
18.48/18.55	o 735
18.48/18.59	o 734
18.58/18.69	o 732
18.79/18.86	o 731
18.88/18.95	o 729
18.88/18.96	o 728
18.88/18.98	o 726
18.88/18.98	o 725
18.88/19.00	o 723
18.98/19.04	o 722
19.08/19.10	o 721
19.08/19.17	o 720
19.28/19.37	o 718
19.68/19.71	o 717
20.38/20.40	o 715
21.88/21.98	o 714
24.68/24.72	o 713
24.68/24.74	o 712
24.68/24.78	o 711
24.88/24.90	o 709
24.88/24.95	o 707
24.88/24.96	o 706
24.88/24.97	o 705
24.98/25.06	o 704
24.98/25.07	o 703
25.08/25.17	o 702
25.39/25.42	o 700
25.39/25.43	o 699
25.39/25.44	o 697
25.48/25.53	o 696
25.48/25.57	o 695
25.48/25.58	o 693
25.58/25.61	o 691
25.58/25.62	o 690
25.58/25.63	o 689
25.58/25.69	o 687
25.68/25.77	o 685
25.68/25.78	o 683
25.68/25.79	o 681
25.78/25.80	o 680
25.78/25.85	o 678
25.78/25.86	o 677
25.78/25.88	o 676
25.88/25.92	o 674
25.88/25.95	o 673
25.88/25.96	o 671
25.88/25.98	o 669
25.98/26.03	o 668
25.98/26.05	o 667
26.08/26.15	o 665
26.18/26.28	o 663
26.68/26.70	o 662
26.68/26.75	o 660
26.68/26.76	o 658
26.88/26.95	o 657
26.98/27.05	o 655
26.98/27.09	o 653
26.98/27.09	o 651
27.08/27.11	o 650
27.08/27.17	o 649
27.08/27.18	o 647
27.18/27.28	o 645
27.38/27.47	o 644
27.68/27.73	o 642
27.78/27.80	o 641
27.78/27.85	o 640
27.78/27.88	o 639
28.08/28.11	o 637
28.08/28.14	o 636
28.08/28.16	o 635
28.18/28.25	o 634
28.28/28.36	o 632
28.58/28.62	o 630
28.88/28.93	o 629
29.58/29.68	o 627
29.58/29.69	o 626
29.78/29.81	o 625
29.78/29.82	o 623
29.78/29.85	o 621
29.88/29.90	o 620
29.88/29.98	o 618
29.88/29.99	o 616
29.98/30.00	o 614
29.98/30.01	o 613
29.98/30.02	o 611
29.98/30.07	o 610
29.98/30.09	o 609
30.08/30.14	o 608
30.08/30.16	o 606
30.18/30.20	o 605
30.18/30.24	o 604
30.28/30.31	o 603
30.28/30.39	o 602
30.48/30.56	o 601
30.48/30.58	o 599
30.58/30.64	o 597
30.68/30.71	o 595
30.68/30.73	o 594
30.68/30.75	o 593
30.68/30.78	o 592
30.68/30.79	o 591
30.78/30.80	o 590
30.78/30.88	o 588
30.88/30.99	o 587
30.98/31.02	o 586
31.08/31.11	o 584
31.18/31.26	o 583
31.38/31.49	o 581
32.18/32.29	o 580
32.28/32.31	o 579
32.28/32.37	o 578
32.28/32.38	o 577
32.38/32.40	o 575
32.38/32.45	o 574
32.58/32.61	o 572
32.78/32.80	o 571
32.78/32.81	o 570
32.78/32.81	o 568
32.78/32.82	o 566
32.78/32.84	o 565
32.78/32.85	o 563
32.78/32.86	o 562
32.88/32.96	o 560
32.98/33.05	o 559
33.08/33.16	o 558
33.18/33.21	o 557
33.38/33.40	o 556
34.08/34.11	o 554
35.98/36.03	o 552
35.98/36.06	o 551
36.08/36.11	o 549
36.08/36.15	o 548
36.18/36.20	o 546
36.18/36.25	o 544
36.28/36.39	o 543
36.38/36.41	o 542
36.38/36.48	o 541
36.48/36.52	o 539
36.48/36.53	o 537
36.88/36.91	o 535
36.88/36.93	o 534
36.88/36.98	o 532
36.98/37.05	o 530
37.18/37.24	o 528
37.28/37.30	o 527
37.28/37.36	o 525
37.28/37.38	o 524
37.58/37.63	o 522
37.98/38.10	o 520
38.28/38.31	o 518
38.38/38.44	o 517
38.38/38.48	o 515
38.48/38.52	o 513
38.48/38.56	o 512
38.48/38.60	o 510
38.78/38.83	o 509
38.78/38.87	o 508
38.98/39.02	o 507
38.98/39.03	o 505
38.98/39.06	o 504
39.08/39.19	o 503
39.18/39.22	o 502
39.18/39.23	o 500
39.18/39.25	o 498
39.18/39.26	o 497
39.18/39.27	o 496
39.28/39.31	o 495
39.28/39.38	o 494
39.38/39.42	o 493
39.38/39.49	o 492
39.77/39.85	o 490
40.17/40.23	o 488
40.87/40.99	o 487
41.07/41.16	o 486
41.27/41.35	o 485
41.37/41.42	o 483
41.47/41.50	o 482
41.47/41.59	o 480
41.57/41.67	o 478
41.67/41.76	o 477
41.88/41.96	o 475
41.97/42.04	o 474
41.97/42.06	o 473
42.07/42.16	o 472
42.17/42.23	o 471
42.17/42.27	o 470
42.37/42.41	o 468
42.37/42.45	o 466
42.77/42.83	o 464
42.98/43.02	o 462
43.67/43.73	o 460
43.67/43.73	o 458
43.67/43.78	o 457
43.77/43.81	o 456
43.87/43.90	o 455
43.87/44.00	o 453
44.17/44.24	o 451
44.27/44.31	o 450
44.27/44.35	o 448
44.37/44.42	o 446
44.57/44.60	o 445
44.57/44.66	o 444
44.67/44.76	o 442
44.77/44.83	o 441
45.37/45.41	o 440
45.77/45.82	o 438
46.37/46.44	o 436
47.77/47.90	o 435
50.77/50.82	o 433
56.67/56.75	o 431
56.87/56.97	o 430
56.97/57.06	o 429
57.28/57.33	o 427
57.37/57.41	o 426
57.47/57.54	o 425
57.77/57.83	o 424
57.77/57.84	o 423
57.77/57.88	o 422
57.87/57.95	o 420
57.97/58.02	o 418
57.97/58.07	o 417
58.07/58.14	o 415
58.17/58.28	o 414
58.17/58.29	o 413
58.28/58.33	o 411
58.38/58.43	o 410
58.38/58.45	o 408
58.38/58.49	o 406
58.47/58.53	o 405
58.57/58.62	o 403
58.77/58.81	o 401
59.07/59.17	o 399
59.27/59.33	o 398
59.27/59.37	o 397
59.48/59.53	o 396
59.48/59.57	o 394
59.57/59.60	o 393
59.57/59.61	o 391
59.57/59.62	o 389
59.57/59.69	o 388
59.67/59.71	o 386
59.67/59.72	o 385
59.67/59.75	o 383
59.67/59.76	o 381
59.67/59.77	o 379
59.77/59.85	o 377
59.87/59.98	o 375
60.07/60.14	o 374
60.07/60.16	o 372
60.07/60.16	o 371
60.07/60.17	o 369
60.07/60.19	o 368
60.17/60.29	o 367
60.27/60.32	o 365
60.27/60.34	o 363
60.27/60.37	o 362
60.37/60.42	o 361
60.48/60.52	o 360
60.58/60.63	o 359
60.58/60.68	o 358
60.77/60.83	o 356
60.97/61.04	o 354
61.17/61.25	o 352
61.87/61.90	o 351
62.47/62.55	o 349
62.47/62.57	o 347
62.57/62.60	o 345
62.68/62.74	o 344
62.68/62.78	o 342
62.78/62.84	o 340
62.87/62.92	o 338
62.97/63.01	o 336
63.07/63.15	o 335
63.07/63.19	o 334
63.17/63.25	o 333
63.37/63.40	o 332
63.47/63.59	o 331
63.57/63.64	o 330
63.67/63.72	o 328
64.07/64.15	o 327
64.17/64.20	o 326
64.27/64.38	o 325
64.77/64.82	o 324
65.47/65.50	o 322
65.57/65.67	o 320
65.67/65.71	o 318
65.67/65.79	o 316
65.77/65.87	o 314
65.87/65.94	o 313
66.07/66.10	o 311
66.27/66.35	o 309
66.37/66.44	o 308
66.37/66.46	o 307
66.57/66.68	o 306
66.57/66.69	o 305
66.67/66.71	o 304
66.67/66.73	o 302
66.67/66.77	o 300
67.07/67.12	o 299
67.67/67.72	o 298
69.67/69.79	o 296
69.77/69.84	o 294
69.87/69.94	o 292
70.07/70.13	o 291
70.17/70.21	o 290
70.17/70.23	o 288
70.37/70.46	o 287
70.47/70.56	o 286
70.77/70.84	o 284
70.97/71.02	o 282
70.97/71.07	o 281
71.17/71.24	o 279
71.27/71.32	o 278
71.47/71.56	o 276
72.17/72.24	o 275
72.17/72.26	o 274
72.17/72.29	o 272
72.27/72.38	o 271
72.47/72.50	o 269
72.47/72.53	o 268
72.67/72.72	o 266
72.67/72.75	o 264
72.97/73.09	o 262
73.07/73.13	o 261
73.07/73.19	o 260
73.17/73.25	o 259
73.27/73.37	o 258
73.47/73.54	o 257
73.57/73.69	o 256
74.07/74.11	o 254
74.77/74.87	o 253
75.57/75.69	o 251
75.67/75.71	o 250
75.67/75.72	o 248
75.67/75.79	o 246
75.77/75.89	o 244
76.07/76.11	o 242
76.07/76.13	o 241
76.07/76.17	o 239
76.07/76.18	o 238
76.77/76.88	o 236
76.97/77.01	o 235
77.07/77.14	o 234
77.17/77.22	o 233
77.17/77.27	o 231
78.67/78.74	o 229
78.87/78.93	o 228
78.87/78.97	o 226
79.07/79.15	o 224
79.07/79.18	o 222
79.37/79.40	o 220
79.57/79.65	o 218
79.97/80.00	o 217
80.27/80.36	o 216
80.97/81.07	o 215
82.47/82.52	o 213
85.27/85.39	o 211
85.37/85.48	o 210
85.47/85.54	o 209
85.66/85.73	o 208
85.66/85.76	o 206
86.16/86.27	o 204
86.36/86.42	o 203
86.46/86.50	o 202
86.66/86.70	o 201
87.46/87.52	o 200
87.56/87.60	o 199
87.76/87.81	o 198
88.16/88.26	o 196
88.26/88.33	o 195
88.56/88.69	o 193
88.66/88.77	o 191
88.76/88.80	o 190
88.86/88.90	o 189
89.86/89.95	o 188
90.66/90.72	o 187
90.66/90.74	o 186
90.66/90.75	o 185
90.66/90.77	o 183
90.96/91.08	o 181
91.06/91.19	o 180
91.16/91.30	o 179
91.27/91.34	o 178
92.86/92.98	o 177
92.86/92.99	o 176
92.96/93.00	o 174
92.96/93.07	o 173
92.96/93.08	o 172
93.06/93.11	o 171
93.76/93.83	o 169
94.06/94.14	o 167
94.06/94.16	o 166
94.16/94.24	o 165
94.76/94.81	o 164
95.06/95.15	o 163
96.26/96.39	o 162
97.66/97.72	o 161
97.66/97.76	o 160
97.76/97.84	o 158
97.87/97.92	o 156
97.97/98.06	o 155
98.06/98.18	o 154
98.16/98.26	o 152
98.36/98.45	o 150
98.66/98.78	o 149
98.86/98.95	o 148
98.97/99.02	o 147
98.97/99.10	o 145
101.36/101.45	o 144
101.46/101.51	o 143
101.66/101.78	o 141
102.06/102.11	o 140
103.26/103.33	o 139
103.47/103.53	o 137
103.86/103.91	o 136
104.36/104.41	o 134
105.96/106.01	o 132
108.06/108.15	o 130
110.16/110.23	o 128
116.46/116.59	o 127
121.86/121.98	o 125
133.36/133.45	o 124
133.46/133.54	o 122
133.46/133.57	o 121
133.56/133.65	o 120
133.56/133.67	o 118
133.66/133.72	o 116
133.86/133.95	o 114
134.16/134.26	o 112
135.86/135.98	o 110
135.96/136.04	o 109
136.16/136.21	o 108
136.26/136.36	o 107
136.36/136.41	o 105
136.56/136.66	o 104
137.06/137.17	o 102
137.16/137.26	o 100
137.46/137.54	o 99
139.16/139.28	o 97
139.56/139.65	o 96
139.56/139.67	o 95
139.66/139.74	o 94
140.06/140.13	o 93
140.36/140.41	o 91
141.16/141.21	o 90
143.96/144.00	o 89
146.56/146.67	o 87
146.66/146.73	o 85
147.16/147.21	o 84
147.66/147.74	o 83
147.66/147.76	o 81
147.76/147.86	o 80
148.06/148.19	o 78
148.16/148.26	o 76
149.06/149.11	o 75
151.06/151.19	o 74
151.86/151.93	o 73
152.15/152.29	o 71
153.65/153.75	o 70
162.55/162.66	o 69
163.55/163.69	o 67
167.75/167.86	o 65
168.55/168.69	o 63
169.75/169.82	o 61
169.95/170.06	o 59
170.46/170.51	o 57
173.06/173.19	o 55
180.47/180.56	o 54
181.47/181.59	o 53
182.16/182.21	o 52
182.26/182.37	o 51
191.56/191.67	o 49
199.36/199.41	o 48
199.46/199.56	o 46
199.46/199.56	o 44
199.46/199.57	o 42
199.46/199.59	o 40
225.95/226.02	o 39
240.35/240.41	o 38
250.75/250.83	o 37
331.33/331.41	o 35
347.33/347.43	o 33
509.51/509.65	o 32
520.40/520.51	o 30
529.50/529.62	o 29
542.80/542.95	o 28
651.58/651.73	o 26
662.88/663.05	o 25
866.45/866.69	o 23
903.24/903.45	o 22
903.34/903.59	o 20
1096.22/1096.42	o 19
1512.05/1512.38	o 18
1524.25/1524.53	o 16
1800.01/1800.30	
1800.01/1800.30	*** INTERRUPTED! ***
1800.01/1800.30	c Answer: 927
1800.01/1800.30	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
1800.01/1800.30	v x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32
1800.01/1800.30	v x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1800.01/1800.30	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62
1800.01/1800.30	v -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77
1800.01/1800.30	v -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
1800.01/1800.30	v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.01/1800.30	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 x117 -x118
1800.01/1800.30	v -x119 x120 -x121 -x122 -x123 x124 x125 x126 -x127 x128 -x129 x130 -x131
1800.01/1800.30	v -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 x140 -x141 x142 -x143 x144
1800.01/1800.30	v x145 -x146 -x147 x148 x149 x150 x151 -x152 -x153 -x154 x155 x156 x157 -x158
1800.01/1800.30	v x159 -x160 x161 x162 -x163 x164 x165 -x166 x167 x168 x169 -x170 x171 -x172
1800.01/1800.30	v 
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	
1800.01/1800.30	c INTERRUPTED   : 1
1800.01/1800.30	c Models        : 1+    
1800.01/1800.30	c   Enumerated  : 927
1800.01/1800.30	c   Optimum     : unknown
1800.01/1800.30	c Optimization  : 16
1800.01/1800.30	c Time          : 1800.303s (Solving: 1800.30s 1st Model: 0.00s Unsat: 0.00s)
1800.01/1800.30	c CPU Time      : 1800.020s

Verifier Data 

OK	16

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709240-1338167164/watcher-3709240-1338167164 -o /tmp/evaluation-result-3709240-1338167164/solver-3709240-1338167164 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709240-1338167164.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24121
/proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0

[startup+0.102044 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24121
/proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.200214 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24121
/proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300206 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24121
/proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700179 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24121
/proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 24123
/proc/meminfo: memFree=30473048/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=4280 CPUtime=1.49 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 811 0 0 0 149 0 0 0 20 0 1 0 282840823 4382720 764 33554432000 4194304 6212839 140735467495920 140735467494216 4683100 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 1070 764 232 493 0 575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13432

[startup+3.10022 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 24123
/proc/meminfo: memFree=30471916/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=5088 CPUtime=3.09 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 994 0 0 0 309 0 0 0 20 0 1 0 282840823 5210112 947 33554432000 4194304 6212839 140735467495920 140735467494328 4744656 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 1272 947 232 493 0 777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14240

[startup+6.30022 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 24123
/proc/meminfo: memFree=30470428/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=6316 CPUtime=6.29 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 1292 0 0 0 629 0 0 0 20 0 1 0 282840823 6467584 1245 33554432000 4194304 6212839 140735467495920 140735467494328 5485376 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 1579 1245 232 493 0 1084 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15468

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 24123
/proc/meminfo: memFree=30468520/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=7252 CPUtime=12.68 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 1593 0 0 0 1268 0 0 0 20 0 1 0 282840823 7426048 1501 33554432000 4194304 6212839 140735467495920 140735467494216 4685476 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 1813 1501 232 493 0 1318 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16404

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 24123
/proc/meminfo: memFree=30467224/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=8716 CPUtime=25.48 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 1959 0 0 0 2548 0 0 0 20 0 1 0 282840823 8925184 1854 33554432000 4194304 6212839 140735467495920 140735467494328 4681495 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 2179 1854 232 493 0 1684 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17868

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 24123
/proc/meminfo: memFree=30465240/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=11088 CPUtime=51.07 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 2565 0 0 0 5107 0 0 0 20 0 1 0 282840823 11354112 2405 33554432000 4194304 6212839 140735467495920 140735467494072 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 2772 2405 232 493 0 2277 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20240

[startup+102.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/180 24202
/proc/meminfo: memFree=30428576/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=12904 CPUtime=102.27 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 2995 0 0 0 10227 0 0 0 20 0 1 0 282840823 13213696 2889 33554432000 4194304 6212839 140735467495920 140735467494328 4744876 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 3226 2889 232 493 0 2731 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22056

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 24202
/proc/meminfo: memFree=30423728/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=13952 CPUtime=162.25 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3232 0 0 0 16225 0 0 0 20 0 1 0 282840823 14286848 3126 33554432000 4194304 6212839 140735467495920 140735467494328 4333806 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 3488 3126 233 493 0 2993 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23104

[startup+222.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 24202
/proc/meminfo: memFree=30421804/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=15584 CPUtime=222.26 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3554 0 0 0 22225 1 0 0 20 0 1 0 282840823 15958016 3496 33554432000 4194304 6212839 140735467495920 140735467494072 4743275 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 3896 3496 233 493 0 3401 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 24736

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 24205
/proc/meminfo: memFree=30418692/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=16764 CPUtime=282.24 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3786 0 0 0 28223 1 0 0 20 0 1 0 282840823 17166336 3805 33554432000 4194304 6212839 140735467495920 140735467494072 5485364 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4191 3805 233 493 0 3696 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 25916

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 24206
/proc/meminfo: memFree=30417212/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=17776 CPUtime=342.23 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3974 0 0 0 34222 1 0 0 20 0 1 0 282840823 18202624 3993 33554432000 4194304 6212839 140735467495920 140735467494072 4743309 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4444 3993 233 493 0 3949 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26928

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 24206
/proc/meminfo: memFree=30415908/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1062.12 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4396 0 0 0 106211 1 0 0 20 0 1 0 282840823 20275200 4537 33554432000 4194304 6212839 140735467495920 140735467494328 4743299 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4537 233 493 0 4455 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 28952

[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 24413
/proc/meminfo: memFree=30407724/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1122.11 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4414 0 0 0 112210 1 0 0 20 0 1 0 282840823 20275200 4555 33554432000 4194304 6212839 140735467495920 140735467494328 4744784 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4555 233 493 0 4455 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 28952

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 24413
/proc/meminfo: memFree=30407724/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1182.1 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4417 0 0 0 118209 1 0 0 20 0 1 0 282840823 20275200 4558 33554432000 4194304 6212839 140735467495920 140735467494328 4683066 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4558 233 493 0 4455 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 28952

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 24414
/proc/meminfo: memFree=30405800/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1242.09 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4421 0 0 0 124208 1 0 0 20 0 1 0 282840823 20275200 4562 33554432000 4194304 6212839 140735467495920 140735467494328 4682224 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4562 233 493 0 4455 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 28952

[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 24414
/proc/meminfo: memFree=30405552/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1302.08 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4426 0 0 0 130207 1 0 0 20 0 1 0 282840823 20275200 4567 33554432000 4194304 6212839 140735467495920 140735467494328 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4567 233 493 0 4455 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 28952

[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/179 24414
/proc/meminfo: memFree=30405800/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1362.07 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4428 0 0 0 136206 1 0 0 20 0 1 0 282840823 20275200 4569 33554432000 4194304 6212839 140735467495920 140735467494328 4685264 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4569 233 493 0 4455 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 28952

[startup+1422.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 24414
/proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1422.07 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4432 0 0 0 142206 1 0 0 20 0 1 0 282840823 20275200 4573 33554432000 4194304 6212839 140735467495920 140735467494328 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4573 233 493 0 4455 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 28952

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/180 24417
/proc/meminfo: memFree=30405296/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1482.06 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4434 0 0 0 148205 1 0 0 20 0 1 0 282840823 20275200 4575 33554432000 4194304 6212839 140735467495920 140735467494328 4303945 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4575 233 493 0 4455 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 28952

[startup+1542.31 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 24418
/proc/meminfo: memFree=30405552/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1542.05 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 154204 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4685827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4576 233 493 0 4455 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 28952

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 24418
/proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1602.04 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 160203 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4744503 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4576 233 493 0 4455 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 28952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 24418
/proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1662.03 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 166202 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4576 233 493 0 4455 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 28952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24418
/proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1722.02 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 172201 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4744724 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4576 233 493 0 4455 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 28952

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24418
/proc/meminfo: memFree=30404124/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1782.01 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 178200 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4744822 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4576 233 493 0 4455 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 28952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24418
/proc/meminfo: memFree=30404000/32873844 swapFree=7388/7388
[pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24121/statm: 2288 273 232 213 0 73 0
[pid=24122] ppid=24121 vsize=19800 CPUtime=1800.01 cores=1,3,5,7
/proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 180000 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4739393 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24122/statm: 4950 4576 233 493 0 4455 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 28952

Sending SIGTERM to process tree (bottom up)

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

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.01
CPU system time (s): 0.013997
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 28952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.013997
maximum resident set size= 18336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 1855

runsolver used 2.78558 second user time and 7.41187 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-28 03:06:04
IDJOB=3709240
IDBENCH=2932
IDSOLVER=2288
FILE ID=node147/3709240-1338167164
RUNJOBID= node147-1338158144-23273
PBS_JOBID= 14624536
Free space on /tmp= 71672 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709240-1338167164/watcher-3709240-1338167164 -o /tmp/evaluation-result-3709240-1338167164/solver-3709240-1338167164 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709240-1338167164.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55
RANDOM SEED=1876459580

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30475180 kB
Buffers:          348932 kB
Cached:          1207720 kB
SwapCached:         5068 kB
Active:           607780 kB
Inactive:         971636 kB
Active(anon):      17476 kB
Inactive(anon):     7584 kB
Active(file):     590304 kB
Inactive(file):   964052 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              2340 kB
Writeback:             0 kB
AnonPages:         34192 kB
Mapped:            10752 kB
Shmem:                 0 kB
Slab:             679384 kB
SReclaimable:     120744 kB
SUnreclaim:       558640 kB
KernelStack:        1504 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     141380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node147 at 2012-05-28 03:36:05