Trace number 3709241

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)39 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1792.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
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 ...165870/instance-3709241-1338165870.opb
0.00/0.00	c Solving...
0.00/0.00	o 1092
0.00/0.01	o 1091
0.00/0.02	o 1090
0.00/0.03	o 1088
0.00/0.05	o 1086
0.00/0.08	o 1085
0.00/0.09	o 1083
0.00/0.10	o 1082
0.00/0.15	o 1081
0.00/0.16	o 1079
0.00/0.16	o 1078
0.00/0.19	o 1076
0.00/0.21	o 1075
0.00/0.21	o 1073
0.00/0.22	o 1072
0.00/0.25	o 1071
0.00/0.27	o 1070
0.00/0.32	o 1069
0.00/0.38	o 1068
0.00/0.40	o 1067
0.00/0.41	o 1065
0.00/0.43	o 1064
0.00/0.46	o 1062
0.00/0.46	o 1060
0.00/0.47	o 1058
0.00/0.48	o 1056
0.00/0.54	o 1054
0.00/0.56	o 1052
0.00/0.56	o 1050
0.00/0.63	o 1049
0.00/0.66	o 1048
0.00/0.72	o 1046
0.00/0.79	o 1045
0.00/1.01	o 1043
0.00/1.03	o 1042
0.00/1.04	o 1040
0.00/1.05	o 1038
0.00/1.10	o 1036
1.10/1.12	o 1034
1.10/1.13	o 1033
1.10/1.18	o 1032
1.20/1.24	o 1031
1.29/1.30	o 1030
1.29/1.34	o 1029
1.29/1.36	o 1027
1.29/1.36	o 1025
1.29/1.38	o 1023
1.29/1.39	o 1022
1.39/1.42	o 1020
1.39/1.49	o 1019
1.49/1.51	o 1017
1.49/1.52	o 1016
1.49/1.54	o 1015
1.49/1.56	o 1014
1.49/1.58	o 1013
1.59/1.69	o 1012
1.79/1.89	o 1011
2.09/2.17	o 1010
2.20/2.28	o 1009
2.30/2.34	o 1007
2.30/2.39	o 1005
2.39/2.45	o 1004
2.49/2.50	o 1003
2.49/2.56	o 1002
2.49/2.58	o 1000
2.59/2.64	o 998
2.59/2.69	o 997
2.69/2.72	o 996
2.99/3.01	o 994
3.09/3.12	o 993
3.09/3.13	o 992
3.09/3.18	o 991
3.19/3.21	o 989
3.19/3.28	o 988
3.30/3.39	o 986
3.40/3.41	o 985
3.59/3.65	o 983
3.59/3.69	o 982
3.69/3.77	o 980
3.89/3.92	o 979
4.19/4.29	o 977
5.09/5.17	o 975
5.19/5.21	o 973
5.39/5.41	o 972
5.39/5.43	o 971
5.39/5.46	o 970
5.50/5.53	o 969
5.50/5.55	o 968
5.50/5.56	o 966
5.50/5.59	o 965
5.50/5.60	o 964
5.60/5.60	o 962
5.60/5.61	o 961
5.60/5.66	o 960
5.60/5.69	o 958
5.69/5.79	o 956
5.89/5.95	o 954
5.89/5.97	o 953
5.99/6.02	o 951
5.99/6.03	o 950
6.09/6.10	o 948
6.19/6.20	o 947
6.29/6.30	o 946
6.39/6.46	o 944
6.49/6.50	o 942
6.49/6.58	o 940
6.60/6.68	o 939
6.70/6.73	o 938
6.89/6.91	o 937
7.19/7.27	o 935
7.49/7.59	o 933
7.59/7.67	o 932
7.59/7.69	o 930
7.70/7.71	o 928
7.80/7.81	o 927
7.80/7.82	o 926
7.80/7.83	o 924
7.80/7.88	o 923
7.89/7.98	o 921
7.99/8.08	o 919
8.09/8.10	o 917
8.09/8.12	o 916
8.09/8.17	o 914
8.09/8.19	o 912
8.19/8.24	o 910
8.29/8.34	o 908
8.29/8.35	o 906
8.29/8.36	o 904
8.29/8.38	o 902
8.39/8.40	o 900
8.39/8.45	o 899
8.59/8.62	o 897
8.80/8.89	o 895
8.90/8.99	o 893
9.19/9.25	o 892
9.19/9.28	o 890
9.29/9.36	o 889
9.29/9.38	o 888
9.39/9.41	o 887
9.39/9.45	o 886
9.39/9.48	o 885
9.49/9.53	o 883
9.69/9.70	o 882
9.79/9.85	o 880
10.19/10.28	o 878
11.00/11.06	o 876
12.49/12.55	o 875
12.59/12.69	o 874
12.69/12.73	o 872
12.79/12.88	o 870
12.89/12.96	o 869
12.99/13.00	o 868
12.99/13.05	o 866
13.20/13.22	o 864
13.20/13.25	o 862
13.20/13.30	o 861
13.30/13.38	o 860
13.49/13.55	o 858
13.59/13.62	o 857
13.59/13.62	o 855
13.59/13.64	o 854
13.59/13.66	o 852
13.79/13.80	o 851
13.79/13.83	o 850
13.79/13.87	o 848
13.99/14.02	o 847
13.99/14.05	o 846
13.99/14.07	o 845
14.09/14.13	o 844
14.19/14.23	o 843
14.19/14.26	o 841
14.29/14.34	o 840
14.79/14.87	o 838
14.99/15.06	o 837
14.99/15.08	o 835
15.19/15.29	o 834
15.29/15.30	o 832
15.29/15.37	o 830
15.39/15.45	o 829
15.39/15.46	o 828
15.39/15.49	o 827
15.49/15.51	o 826
15.49/15.53	o 825
15.79/15.83	o 823
15.89/15.90	o 821
16.29/16.32	o 819
16.39/16.50	o 817
16.49/16.56	o 816
16.59/16.66	o 815
16.79/16.82	o 813
17.19/17.23	o 812
18.09/18.12	o 811
18.09/18.16	o 809
18.19/18.22	o 807
18.19/18.25	o 805
18.19/18.27	o 803
18.19/18.28	o 802
18.39/18.49	o 801
18.49/18.50	o 799
18.49/18.56	o 797
18.49/18.59	o 795
18.59/18.66	o 794
18.69/18.75	o 793
18.79/18.80	o 792
18.89/18.93	o 791
19.29/19.31	o 790
19.69/19.73	o 789
20.39/20.48	o 787
20.49/20.54	o 786
20.49/20.55	o 784
20.49/20.56	o 782
20.49/20.58	o 780
20.59/20.61	o 778
20.69/20.73	o 776
20.89/20.91	o 774
20.99/21.04	o 772
20.99/21.05	o 770
21.19/21.20	o 768
21.39/21.45	o 767
21.39/21.46	o 766
21.59/21.63	o 764
21.59/21.69	o 762
21.79/21.88	o 761
21.89/21.92	o 759
21.99/22.05	o 757
22.29/22.33	o 756
22.59/22.67	o 755
24.69/24.78	o 754
27.49/27.57	o 753
27.59/27.61	o 752
27.98/28.04	o 751
28.08/28.17	o 750
28.18/28.24	o 748
28.28/28.31	o 747
28.69/28.79	o 746
28.78/28.83	o 744
28.88/28.97	o 742
28.98/29.00	o 741
28.98/29.06	o 739
29.08/29.14	o 737
29.18/29.23	o 736
29.28/29.35	o 734
29.79/29.87	o 732
30.08/30.11	o 731
30.28/30.37	o 729
30.28/30.39	o 727
30.68/30.80	o 725
30.79/30.82	o 723
30.89/30.95	o 721
30.98/31.06	o 719
31.08/31.18	o 718
31.48/31.53	o 716
31.78/31.87	o 714
32.78/32.81	o 712
32.88/32.91	o 710
33.18/33.20	o 708
33.28/33.33	o 707
33.28/33.36	o 705
33.88/33.95	o 703
34.28/34.31	o 701
35.19/35.29	o 700
35.48/35.51	o 699
37.49/37.54	o 697
39.38/39.44	o 696
39.48/39.58	o 694
39.59/39.65	o 693
39.69/39.77	o 692
40.28/40.31	o 691
40.38/40.41	o 690
40.48/40.53	o 688
40.69/40.76	o 686
40.79/40.85	o 685
40.88/40.91	o 684
41.58/41.65	o 682
41.79/41.87	o 680
41.89/41.99	o 678
41.98/42.09	o 677
42.68/42.71	o 675
42.68/42.79	o 674
42.78/42.86	o 672
43.08/43.13	o 670
43.08/43.18	o 669
43.18/43.28	o 668
43.48/43.59	o 667
44.78/44.82	o 665
44.88/44.93	o 664
44.98/45.01	o 663
44.98/45.03	o 661
45.09/45.17	o 659
45.28/45.31	o 657
45.68/45.77	o 655
45.88/45.93	o 654
45.98/46.09	o 652
46.38/46.42	o 650
47.29/47.34	o 649
47.68/47.75	o 648
47.98/48.05	o 647
48.39/48.45	o 645
48.39/48.46	o 643
49.18/49.21	o 642
51.38/51.47	o 640
54.78/54.86	o 638
57.58/57.61	o 636
63.58/63.61	o 635
63.88/63.93	o 634
64.08/64.13	o 632
64.68/64.72	o 631
64.78/64.87	o 629
64.88/64.92	o 627
64.88/64.96	o 625
64.98/65.06	o 624
65.08/65.16	o 623
66.28/66.36	o 622
66.28/66.36	o 621
66.48/66.54	o 619
66.58/66.65	o 618
66.88/66.98	o 617
66.98/67.02	o 615
67.08/67.10	o 614
67.28/67.32	o 612
67.28/67.37	o 610
67.48/67.55	o 609
67.78/67.83	o 607
67.98/68.03	o 605
69.08/69.17	o 604
69.28/69.39	o 602
69.38/69.49	o 600
69.48/69.55	o 599
70.18/70.23	o 598
70.38/70.42	o 596
70.58/70.60	o 594
70.58/70.64	o 593
70.78/70.82	o 591
71.08/71.15	o 589
71.68/71.72	o 588
71.68/71.74	o 587
71.68/71.75	o 585
71.68/71.78	o 583
71.88/71.96	o 581
71.98/72.05	o 579
72.18/72.26	o 578
72.78/72.84	o 576
72.98/73.05	o 574
73.28/73.30	o 572
73.88/73.93	o 570
75.28/75.34	o 569
77.48/77.50	o 567
77.78/77.82	o 566
77.88/77.94	o 564
77.88/77.97	o 563
77.98/78.01	o 561
78.18/78.22	o 559
78.18/78.26	o 557
78.28/78.31	o 555
78.58/78.67	o 554
79.28/79.34	o 552
79.28/79.39	o 550
79.37/79.45	o 548
82.77/82.86	o 546
82.87/82.92	o 544
82.87/82.93	o 543
83.07/83.18	o 541
83.47/83.50	o 539
83.68/83.74	o 538
83.97/84.05	o 536
84.17/84.22	o 535
84.47/84.54	o 533
85.07/85.18	o 531
85.17/85.24	o 529
85.67/85.76	o 527
86.37/86.45	o 526
87.07/87.17	o 525
87.98/88.06	o 523
88.77/88.89	o 521
90.28/90.35	o 520
93.77/93.84	o 518
93.97/94.08	o 516
94.07/94.14	o 514
94.27/94.30	o 512
94.37/94.43	o 510
94.77/94.82	o 508
94.77/94.86	o 507
95.07/95.10	o 506
95.17/95.27	o 505
95.27/95.31	o 504
95.57/95.65	o 502
95.97/96.06	o 501
96.07/96.11	o 500
96.17/96.26	o 498
96.17/96.29	o 497
96.67/96.70	o 496
96.67/96.75	o 494
96.88/96.93	o 492
97.07/97.18	o 491
97.17/97.21	o 489
97.17/97.27	o 487
97.27/97.35	o 486
97.27/97.37	o 484
97.98/98.01	o 483
99.17/99.20	o 481
100.27/100.34	o 479
100.57/100.64	o 477
100.67/100.70	o 476
100.67/100.75	o 475
100.67/100.79	o 473
100.87/100.92	o 472
102.77/102.82	o 470
102.87/102.90	o 468
103.07/103.17	o 467
103.27/103.30	o 465
103.38/103.43	o 464
103.87/103.90	o 462
103.97/104.07	o 461
104.07/104.19	o 459
104.48/104.56	o 458
104.87/104.97	o 456
105.27/105.34	o 454
106.07/106.14	o 453
108.17/108.23	o 451
108.17/108.28	o 449
108.67/108.79	o 447
108.77/108.80	o 446
108.77/108.85	o 444
108.87/108.95	o 442
110.77/110.86	o 441
110.97/111.01	o 440
111.67/111.74	o 439
112.07/112.14	o 438
113.97/114.02	o 436
114.07/114.16	o 435
114.67/114.76	o 433
114.87/114.93	o 431
115.17/115.29	o 429
116.07/116.12	o 428
117.27/117.30	o 426
117.47/117.59	o 424
117.57/117.68	o 423
119.07/119.15	o 422
123.17/123.28	o 420
126.67/126.75	o 418
133.07/133.14	o 417
144.96/145.08	o 416
145.06/145.16	o 414
145.17/145.23	o 412
145.17/145.27	o 411
145.46/145.52	o 410
146.16/146.27	o 408
146.27/146.36	o 407
146.56/146.67	o 405
146.66/146.78	o 403
146.96/147.08	o 401
147.47/147.55	o 399
147.47/147.59	o 397
147.76/147.82	o 395
147.76/147.87	o 394
147.86/147.94	o 393
148.16/148.20	o 392
148.16/148.25	o 391
148.66/148.78	o 390
148.76/148.85	o 388
148.96/149.00	o 387
148.96/149.02	o 386
149.26/149.31	o 385
150.86/150.94	o 384
151.06/151.15	o 383
151.36/151.44	o 381
151.46/151.54	o 379
151.66/151.77	o 378
151.77/151.86	o 376
151.96/152.03	o 374
152.16/152.28	o 372
152.26/152.38	o 371
152.26/152.39	o 370
152.46/152.59	o 368
153.36/153.43	o 367
153.86/153.93	o 365
154.16/154.27	o 363
154.26/154.36	o 361
154.36/154.42	o 360
154.66/154.71	o 359
154.76/154.82	o 358
157.26/157.39	o 357
162.86/162.99	o 355
163.66/163.78	o 354
164.86/164.96	o 353
166.56/166.62	o 352
166.66/166.74	o 351
167.46/167.57	o 349
167.66/167.76	o 348
168.66/168.74	o 346
169.16/169.20	o 345
169.56/169.61	o 343
171.46/171.53	o 341
173.76/173.81	o 340
177.46/177.53	o 338
177.76/177.87	o 337
177.76/177.89	o 335
178.36/178.41	o 333
180.06/180.16	o 332
181.56/181.69	o 331
181.76/181.89	o 330
182.66/182.73	o 329
183.56/183.62	o 328
183.66/183.74	o 326
183.96/184.04	o 324
184.06/184.12	o 322
184.65/184.77	o 321
185.15/185.27	o 320
185.65/185.70	o 319
186.35/186.48	o 318
186.45/186.50	o 317
186.45/186.52	o 315
186.85/186.93	o 314
188.95/189.03	o 313
192.65/192.72	o 311
192.75/192.82	o 310
193.35/193.42	o 309
193.56/193.68	o 308
194.45/194.53	o 306
194.55/194.66	o 305
194.66/194.79	o 303
194.95/195.00	o 301
195.55/195.68	o 299
196.25/196.32	o 298
200.85/200.90	o 296
201.45/201.57	o 294
201.55/201.69	o 292
202.15/202.23	o 291
216.25/216.33	o 290
218.15/218.29	o 288
218.35/218.41	o 286
218.55/218.60	o 284
221.15/221.21	o 283
222.95/223.03	o 281
227.45/227.50	o 279
229.45/229.58	o 278
230.05/230.16	o 277
230.75/230.84	o 275
231.05/231.12	o 273
236.15/236.27	o 272
236.65/236.70	o 271
237.55/237.63	o 269
239.64/239.73	o 267
239.94/240.04	o 266
240.14/240.24	o 264
240.44/240.55	o 263
246.74/246.80	o 261
246.94/247.08	o 259
246.94/247.09	o 257
247.14/247.24	o 255
247.24/247.37	o 254
247.34/247.45	o 252
247.45/247.58	o 250
247.64/247.73	o 249
247.74/247.87	o 248
248.55/248.69	o 246
248.94/249.05	o 244
249.04/249.10	o 242
249.24/249.30	o 240
249.54/249.70	o 239
249.65/249.74	o 238
250.14/250.28	o 237
250.54/250.60	o 236
251.04/251.15	o 234
251.74/251.83	o 232
252.84/252.95	o 230
264.24/264.34	o 229
264.94/265.06	o 227
265.44/265.51	o 226
265.64/265.76	o 224
268.04/268.11	o 222
268.74/268.83	o 221
269.55/269.62	o 219
270.14/270.29	o 217
270.65/270.78	o 216
271.75/271.85	o 215
288.94/289.08	o 214
322.83/322.90	o 213
348.33/348.41	o 211
348.73/348.81	o 210
348.73/348.84	o 209
352.63/352.76	o 207
354.23/354.38	o 205
354.53/354.62	o 203
354.83/354.96	o 202
356.43/356.55	o 201
356.93/357.03	o 200
357.33/357.48	o 199
357.43/357.59	o 198
357.63/357.75	o 197
358.53/358.66	o 195
359.53/359.64	o 194
363.53/363.66	o 192
363.93/364.05	o 190
364.23/364.35	o 189
365.13/365.23	o 187
365.23/365.37	o 185
365.83/365.91	o 184
366.03/366.15	o 183
369.12/369.23	o 181
369.92/370.02	o 180
377.52/377.69	o 179
382.52/382.66	o 177
382.73/382.82	o 175
383.12/383.24	o 173
387.82/387.92	o 171
398.92/399.04	o 170
399.82/399.94	o 168
405.42/405.54	o 166
405.42/405.59	o 164
408.02/408.14	o 163
417.12/417.26	o 162
424.72/424.88	o 160
425.02/425.17	o 159
425.12/425.22	o 158
425.52/425.64	o 156
426.82/426.97	o 154
427.52/427.64	o 152
429.91/430.05	o 150
431.41/431.51	o 149
432.61/432.75	o 147
432.71/432.86	o 145
432.91/433.03	o 144
435.11/435.20	o 142
436.01/436.11	o 141
446.31/446.43	o 140
446.41/446.51	o 138
446.71/446.84	o 137
447.21/447.31	o 135
449.51/449.63	o 133
455.91/456.09	o 132
465.61/465.74	o 131
472.21/472.34	o 129
481.41/481.58	o 127
485.71/485.80	o 126
485.81/485.92	o 125
487.91/488.00	o 123
497.40/497.59	o 121
511.10/511.26	o 120
526.50/526.69	o 118
526.81/526.95	o 116
528.50/528.65	o 115
528.80/528.99	o 113
529.30/529.46	o 111
530.60/530.79	o 109
532.00/532.11	o 108
534.00/534.11	o 107
534.70/534.89	o 105
537.10/537.24	o 104
546.10/546.26	o 102
557.40/557.56	o 101
565.79/565.96	o 99
572.19/572.33	o 98
573.10/573.28	o 97
574.20/574.37	o 96
605.39/605.55	o 94
606.19/606.38	o 92
607.69/607.83	o 91
626.18/626.31	o 90
630.98/631.17	o 89
635.58/635.77	o 88
637.68/637.82	o 87
644.68/644.86	o 85
648.68/648.88	o 83
655.58/655.73	o 82
664.28/664.47	o 80
677.58/677.79	o 78
708.17/708.35	o 76
786.06/786.20	o 75
805.45/805.61	o 74
823.95/824.19	o 72
834.65/834.87	o 71
837.25/837.44	o 69
882.34/882.53	o 68
915.04/915.25	o 66
924.54/924.71	o 65
947.23/947.44	o 63
947.73/947.93	o 62
954.64/954.82	o 61
958.53/958.71	o 59
983.83/984.07	o 58
1009.73/1009.93	o 56
1036.82/1037.07	o 54
1039.42/1039.68	o 53
1054.62/1054.89	o 52
1057.22/1057.48	o 50
1078.81/1079.05	o 49
1102.91/1103.16	o 47
1201.79/1202.07	o 46
1224.49/1224.75	o 44
1409.56/1409.82	o 43
1602.54/1602.87	o 41
1793.81/1794.12	o 39
1800.01/1800.30	
1800.01/1800.30	*** INTERRUPTED! ***
1800.01/1800.30	c Answer: 693
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 -x106
1800.01/1800.30	v -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 x145
1800.01/1800.30	v -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
1800.01/1800.30	v -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 x180 x181 -x182 -x183 x184
1800.01/1800.30	v x185 x186 x187 -x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197
1800.01/1800.30	v x198
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  : 693
1800.01/1800.30	c   Optimum     : unknown
1800.01/1800.30	c Optimization  : 39
1800.01/1800.30	c Time          : 1800.304s (Solving: 1800.30s 1st Model: 0.00s Unsat: 0.00s)
1800.01/1800.30	c CPU Time      : 1800.010s

Verifier Data 

OK	39

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-3709241-1338165870/watcher-3709241-1338165870 -o /tmp/evaluation-result-3709241-1338165870/solver-3709241-1338165870 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709241-1338165870.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.00 2.00 2.00 3/177 19958
/proc/meminfo: memFree=28778012/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0

[startup+0.105477 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19958
/proc/meminfo: memFree=28778012/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.200143 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19958
/proc/meminfo: memFree=28778012/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300143 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19958
/proc/meminfo: memFree=28778012/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700116 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19958
/proc/meminfo: memFree=28778012/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50014 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19960
/proc/meminfo: memFree=28775904/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=4380 CPUtime=1.49 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 823 0 0 0 149 0 0 0 20 0 1 0 282712976 4485120 777 33554432000 4194304 6212839 140735185016688 140735185014696 4685283 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 1095 777 232 493 0 600 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13532

[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19960
/proc/meminfo: memFree=28775012/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=5008 CPUtime=3.09 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 997 0 0 0 309 0 0 0 20 0 1 0 282712976 5128192 951 33554432000 4194304 6212839 140735185016688 140735185015096 4307907 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 1252 951 232 493 0 757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14160

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19960
/proc/meminfo: memFree=28773432/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=6340 CPUtime=6.29 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 1304 0 0 0 629 0 0 0 20 0 1 0 282712976 6492160 1258 33554432000 4194304 6212839 140735185016688 140735185014840 4661914 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 1585 1258 232 493 0 1090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15492

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19960
/proc/meminfo: memFree=28771536/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=7840 CPUtime=12.69 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 1686 0 0 0 1269 0 0 0 20 0 1 0 282712976 8028160 1640 33554432000 4194304 6212839 140735185016688 140735185014840 4333818 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 1960 1640 232 493 0 1465 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16992

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19960
/proc/meminfo: memFree=28770936/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=9380 CPUtime=25.49 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 2060 0 0 0 2549 0 0 0 20 0 1 0 282712976 9605120 2000 33554432000 4194304 6212839 140735185016688 140735185015096 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 2345 2000 232 493 0 1850 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18532

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19960
/proc/meminfo: memFree=28768512/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=11320 CPUtime=51.08 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 2616 0 0 0 5108 0 0 0 20 0 1 0 282712976 11591680 2491 33554432000 4194304 6212839 140735185016688 140735185014984 4743299 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 2830 2491 232 493 0 2335 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20472

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19961
/proc/meminfo: memFree=28765116/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=14028 CPUtime=102.28 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 3430 0 0 0 10228 0 0 0 20 0 1 0 282712976 14364672 3177 33554432000 4194304 6212839 140735185016688 140735185015096 4739408 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 3507 3177 232 493 0 3012 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 23180

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19961
/proc/meminfo: memFree=28763732/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=16092 CPUtime=162.26 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 3953 0 0 0 16226 0 0 0 20 0 1 0 282712976 16478208 3644 33554432000 4194304 6212839 140735185016688 140735185014840 4739374 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 4023 3644 232 493 0 3528 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25244

[startup+222.306 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 19961
/proc/meminfo: memFree=28761944/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=17468 CPUtime=222.25 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 4271 0 0 0 22225 0 0 0 20 0 1 0 282712976 17887232 3982 33554432000 4194304 6212839 140735185016688 140735185015096 4744885 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 4367 3982 232 493 0 3872 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 26620

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19961
/proc/meminfo: memFree=28760724/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=18564 CPUtime=282.24 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 4614 0 0 0 28224 0 0 0 20 0 1 0 282712976 19009536 4303 33554432000 4194304 6212839 140735185016688 140735185014840 4307897 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 4641 4303 232 493 0 4146 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 27716

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19964
/proc/meminfo: memFree=28760544/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=19296 CPUtime=342.23 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 4760 0 0 0 34223 0 0 0 20 0 1 0 282712976 19759104 4449 33554432000 4194304 6212839 140735185016688 140735185015096 4685283 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 4824 4449 232 493 0 4329 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 28448

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19964
/proc/meminfo: memFree=28759944/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24156 CPUtime=1062.12 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5801 0 0 0 106212 0 0 0 20 0 1 0 282712976 24735744 5678 33554432000 4194304 6212839 140735185016688 140735185015096 4354206 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6039 5678 233 493 0 5544 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 33308

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20033
/proc/meminfo: memFree=28756676/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24156 CPUtime=1122.11 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5801 0 0 0 112211 0 0 0 20 0 1 0 282712976 24735744 5678 33554432000 4194304 6212839 140735185016688 140735185015096 4674268 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6039 5678 233 493 0 5544 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 33308

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20033
/proc/meminfo: memFree=28756364/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24156 CPUtime=1182.1 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5801 0 0 0 118210 0 0 0 20 0 1 0 282712976 24735744 5678 33554432000 4194304 6212839 140735185016688 140735185015096 4683126 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6039 5678 233 493 0 5544 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 33308

[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 20033
/proc/meminfo: memFree=28754752/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24324 CPUtime=1242.09 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5816 0 0 0 124209 0 0 0 20 0 1 0 282712976 24907776 5693 33554432000 4194304 6212839 140735185016688 140735185014840 4662620 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6081 5693 233 493 0 5586 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 33476

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20033
/proc/meminfo: memFree=28753952/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24324 CPUtime=1302.08 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5836 0 0 0 130208 0 0 0 20 0 1 0 282712976 24907776 5713 33554432000 4194304 6212839 140735185016688 140735185014840 4356875 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6081 5713 233 493 0 5586 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 33476

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20034
/proc/meminfo: memFree=28753580/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24324 CPUtime=1362.07 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5836 0 0 0 136207 0 0 0 20 0 1 0 282712976 24907776 5713 33554432000 4194304 6212839 140735185016688 140735185014840 4685283 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6081 5713 233 493 0 5586 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 33476

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20034
/proc/meminfo: memFree=28753584/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24492 CPUtime=1422.07 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5852 0 0 0 142207 0 0 0 20 0 1 0 282712976 25079808 5729 33554432000 4194304 6212839 140735185016688 140735185014840 4685827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6123 5729 233 493 0 5628 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 33644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20034
/proc/meminfo: memFree=28753088/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24492 CPUtime=1482.05 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5867 0 0 0 148205 0 0 0 20 0 1 0 282712976 25079808 5744 33554432000 4194304 6212839 140735185016688 140735185014840 4683115 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6123 5744 233 493 0 5628 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 33644

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20037
/proc/meminfo: memFree=28752252/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24492 CPUtime=1542.05 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5867 0 0 0 154205 0 0 0 20 0 1 0 282712976 25079808 5744 33554432000 4194304 6212839 140735185016688 140735185014840 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6123 5744 233 493 0 5628 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 33644

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20037
/proc/meminfo: memFree=28752284/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24492 CPUtime=1602.03 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5868 0 0 0 160203 0 0 0 20 0 1 0 282712976 25079808 5745 33554432000 4194304 6212839 140735185016688 140735185014840 4298160 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6123 5745 233 493 0 5628 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 33644

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20038
/proc/meminfo: memFree=28752164/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24492 CPUtime=1662.02 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5870 0 0 0 166202 0 0 0 20 0 1 0 282712976 25079808 5747 33554432000 4194304 6212839 140735185016688 140735185015096 4674303 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6123 5747 233 493 0 5628 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 33644

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 20038
/proc/meminfo: memFree=28752164/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24492 CPUtime=1722.02 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5872 0 0 0 172202 0 0 0 20 0 1 0 282712976 25079808 5749 33554432000 4194304 6212839 140735185016688 140735185015096 4307615 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6123 5749 233 493 0 5628 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 33644

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20038
/proc/meminfo: memFree=28751544/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24660 CPUtime=1782.01 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5889 0 0 0 178201 0 0 0 20 0 1 0 282712976 25251840 5766 33554432000 4194304 6212839 140735185016688 140735185014840 4685982 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6165 5766 233 493 0 5670 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 33812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20038
/proc/meminfo: memFree=28751420/32873648 swapFree=7372/7372
[pid=19958] ppid=19956 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19958/stat : 19958 (clasp-opt.sh) S 19956 19958 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282712976 9371648 275 33554432000 4194304 5064252 140734838941872 140734838940784 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19958/statm: 2288 275 232 213 0 73 0
[pid=19959] ppid=19958 vsize=24660 CPUtime=1800.01 cores=1,3,5,7
/proc/19959/stat : 19959 (clasp-R5325) R 19958 19958 17700 0 -1 4202496 5889 0 0 0 180001 0 0 0 20 0 1 0 282712976 25251840 5766 33554432000 4194304 6212839 140735185016688 140735185015096 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19959/statm: 6165 5766 233 493 0 5670 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 33812

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.02
CPU user time (s): 1800.01
CPU system time (s): 0.008998
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 33812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.008998
maximum resident set size= 23096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6262
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= 15
involuntary context switches= 1854

runsolver used 9.11961 second user time and 13.9469 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-28 02:44:30
IDJOB=3709241
IDBENCH=2920
IDSOLVER=2288
FILE ID=node122/3709241-1338165870
RUNJOBID= node122-1338154979-17717
PBS_JOBID= 14624523
Free space on /tmp= 71696 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_8_70_1.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709241-1338165870/watcher-3709241-1338165870 -o /tmp/evaluation-result-3709241-1338165870/solver-3709241-1338165870 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709241-1338165870.opb

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=1531632953

node122.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.533
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.06
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.533
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.533
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	: 5332.04
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.533
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.533
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.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        28778920 kB
Buffers:          317052 kB
Cached:          2950668 kB
SwapCached:            0 kB
Active:          1219832 kB
Inactive:        2074588 kB
Active(anon):      18168 kB
Inactive(anon):    11052 kB
Active(file):    1201664 kB
Inactive(file):  2063536 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2324 kB
Writeback:             0 kB
AnonPages:         33612 kB
Mapped:            14664 kB
Shmem:               200 kB
Slab:             661740 kB
SReclaimable:     105772 kB
SUnreclaim:       555968 kB
KernelStack:        1488 kB
PageTables:         4168 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     141676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node122 at 2012-05-28 03:14:30