Trace number 2700015

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 25.4571 25.456

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh202_wcsp.wbo
MD5SUMd13dffa73911787707d210cefbded5d8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark68
Best CPU time to get the best result obtained on this benchmark0.005998
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 100/0 clauses 0/800 units 0
0.00/0.00	c vars 200
0.00/0.03	c 0.034994 9.79688 1 1846
0.00/0.03	o 28450
0.00/0.03	c 0.035994 10.0117 1 2695
0.00/0.03	o 26947
0.00/0.04	c 0.035994 10.0117 2 3548
0.00/0.04	o 25660
0.00/0.04	c 0.037994 10.0117 2 4385
0.00/0.04	o 16317
0.05/0.06	c 0.051992 10.0117 107 5111
0.05/0.06	o 16251
0.05/0.06	c 0.053991 10.0117 108 5353
0.05/0.06	o 16166
0.05/0.06	c 0.054991 10.0117 110 5866
0.05/0.06	o 16024
0.05/0.07	c 0.05999 10.0117 150 6352
0.05/0.07	o 15721
0.05/0.09	c 0.067989 10.0117 210 6672
0.05/0.09	o 15704
0.09/0.10	c 0.077988 10.0117 304 7036
0.09/0.10	o 15694
0.09/0.11	c 0.078987 10.0117 311 7505
0.09/0.11	o 15339
0.09/0.11	c 0.080987 10.0117 311 8349
0.09/0.11	o 13779
0.09/0.11	c 0.082987 10.0117 317 8717
0.09/0.11	o 13776
0.09/0.16	c 0.106983 10.1328 658 9920
0.09/0.16	o 13445
0.30/0.36	c 0.237963 10.1328 502 13559
0.30/0.36	o 13293
0.30/0.37	c 0.244962 10.1328 532 13760
0.30/0.37	o 13278
0.30/0.37	c 0.248962 10.1328 543 14034
0.30/0.37	o 13158
0.30/0.38	c 0.249962 10.1328 549 14304
0.30/0.38	o 13150
0.30/0.38	c 0.250961 10.1328 550 15151
0.30/0.38	o 11640
0.30/0.39	c 0.25696 10.1328 589 15377
0.30/0.39	o 11627
0.39/0.47	c 0.307953 10.1328 674 17236
0.39/0.47	o 11448
0.49/0.56	c 0.373943 10.1328 534 19214
0.49/0.56	o 11251
0.59/0.62	c 0.411937 10.1328 451 19951
0.59/0.62	o 11172
0.59/0.65	c 0.426935 10.1328 623 20611
0.59/0.65	o 11134
0.59/0.69	c 0.45493 10.1328 435 21347
0.59/0.69	o 10955
0.79/0.88	c 0.582911 10.1328 541 23675
0.79/0.88	o 10780
1.00/1.01	c 0.660899 10.1328 637 26169
1.00/1.01	o 10686
1.19/1.23	c 0.78788 10.1328 489 28940
1.19/1.23	o 10635
1.19/1.26	c 0.814876 10.1328 632 29498
1.19/1.26	o 10629
1.50/1.52	c 0.98085 10.1328 609 33535
1.50/1.52	o 10460
1.50/1.54	c 0.991849 10.1328 663 33812
1.50/1.54	o 10394
1.50/1.56	c 1.00785 10.1328 451 34309
1.50/1.56	o 10381
1.50/1.57	c 1.01785 10.1328 515 34689
1.50/1.57	o 10253
1.89/1.95	c 1.26081 10.2578 515 40895
1.89/1.95	o 10214
2.00/2.05	c 1.3318 10.2578 681 42616
2.00/2.05	o 10153
2.10/2.15	c 1.39379 10.2578 425 44325
2.10/2.15	o 9855
2.49/2.54	c 1.63475 10.2578 481 49847
2.49/2.54	o 9734
3.39/3.47	c 2.21966 10.2578 797 61878
3.39/3.47	o 9615
3.49/3.59	c 2.29165 10.2578 353 63849
3.49/3.59	o 9577
3.69/3.70	c 2.36764 10.2578 814 65121
3.69/3.70	o 9546
3.69/3.74	c 2.39963 10.2578 584 65730
3.69/3.74	o 9514
4.19/4.21	c 2.69759 10.2578 637 71249
4.19/4.21	o 9512
4.19/4.23	c 2.70859 10.2578 724 71653
4.19/4.23	o 9394
4.30/4.36	c 2.78858 10.2578 728 73868
4.30/4.36	o 9287
4.39/4.46	c 2.86256 10.2578 879 74905
4.39/4.46	o 9259
4.70/4.78	c 3.05953 10.3828 640 78444
4.70/4.78	o 9253
4.70/4.79	c 3.06953 10.3828 710 78814
4.70/4.79	o 9112
4.79/4.80	c 3.07353 10.3828 382 79095
4.79/4.80	o 9043
4.89/4.92	c 3.14652 10.3828 583 80502
4.89/4.92	o 9037
4.99/5.01	c 3.20351 10.3828 698 81802
4.99/5.01	o 9031
4.99/5.03	c 3.21351 10.3828 498 82374
4.99/5.03	o 9018
5.09/5.13	c 3.2905 10.3828 517 83691
5.09/5.13	o 8969
5.09/5.17	c 3.3115 10.3828 684 84385
5.09/5.17	o 8842
5.29/5.40	c 3.46547 10.3828 885 87670
5.29/5.40	o 8818
5.39/5.47	c 3.51047 10.3828 811 88704
5.39/5.47	o 8686
5.79/5.87	c 3.74843 10.3828 743 93821
5.79/5.87	o 8575
5.99/6.07	c 3.88241 10.3828 726 95710
5.99/6.07	o 8547
6.19/6.25	c 3.97939 10.3828 502 98064
6.19/6.25	o 8475
6.39/6.40	c 4.06938 10.3828 550 100140
6.39/6.40	o 8460
6.39/6.49	c 4.12437 10.3828 850 100878
6.39/6.49	o 8424
6.60/6.64	c 4.22636 10.3828 468 103351
6.60/6.64	o 8419
6.69/6.72	c 4.28535 10.3828 626 104819
6.69/6.72	o 8195
6.69/6.75	c 4.30434 10.3828 411 105387
6.69/6.75	o 8109
6.79/6.87	c 4.37733 10.3828 512 106561
6.79/6.87	o 8101
6.89/6.99	c 4.46032 10.3828 456 108487
6.89/6.99	o 8078
7.29/7.34	c 4.68029 10.3828 892 112486
7.29/7.34	o 8015
7.29/7.35	c 4.68729 10.3828 487 112774
7.29/7.35	o 7957
7.49/7.52	c 4.79127 10.3828 634 114071
7.49/7.52	o 7811
7.60/7.63	c 4.85726 10.3828 443 115882
7.60/7.63	o 7749
8.29/8.37	c 5.30119 10.3828 684 123495
8.29/8.37	o 7683
8.40/8.40	c 5.32519 10.3828 492 123968
8.40/8.40	o 7637
8.40/8.48	c 5.37318 10.3828 461 124952
8.40/8.48	o 7612
8.59/8.61	c 5.44117 10.3828 672 126301
8.59/8.61	o 7588
8.59/8.66	c 5.47317 10.3828 505 126986
8.59/8.66	o 7554
8.70/8.70	c 5.50616 10.3828 432 128044
8.70/8.70	o 7454
8.70/8.76	c 5.53716 10.3828 741 129023
8.70/8.76	o 7440
8.80/8.85	c 5.60315 10.3828 863 130456
8.80/8.85	o 7401
8.90/8.97	c 5.67214 10.3828 444 131689
8.90/8.97	o 7356
9.09/9.17	c 5.79712 10.3828 639 134184
9.09/9.17	o 7292
9.19/9.21	c 5.83111 10.3828 465 134788
9.19/9.21	o 7252
9.39/9.42	c 5.95709 10.5039 517 136871
9.39/9.42	o 7232
10.19/10.20	c 6.44902 10.5039 790 143763
10.19/10.20	o 7227
10.39/10.48	c 6.61699 10.5039 589 147383
10.39/10.48	o 7192
11.00/11.06	c 6.98294 10.5039 434 153509
11.00/11.06	o 7053
11.00/11.08	c 6.99394 10.5039 485 153781
11.00/11.08	o 6999
11.00/11.09	c 7.00493 10.5039 559 154068
11.00/11.09	o 6971
11.09/11.12	c 7.02093 10.5039 677 154609
11.09/11.12	o 6853
11.19/11.27	c 7.11292 10.5039 583 156660
11.19/11.27	o 6721
11.29/11.30	c 7.13091 10.5039 697 157156
11.29/11.30	o 6644
11.59/11.60	c 7.31689 10.5039 463 160568
11.59/11.60	o 6375
11.59/11.62	c 7.33188 10.5039 527 160787
11.59/11.62	o 6345
11.90/12.00	c 7.55485 10.5039 563 163756
11.90/12.00	o 6293
12.39/12.48	c 7.84681 10.5039 816 169603
12.39/12.48	o 6272
12.49/12.54	c 7.8818 10.5039 685 170534
12.49/12.54	o 6111
13.20/13.21	c 8.28574 10.5039 639 174835
13.20/13.21	o 6073
13.39/13.46	c 8.45072 10.5039 841 177116
13.39/13.46	o 6062
13.59/13.60	c 8.5457 10.5039 570 178781
13.59/13.60	o 5980
13.59/13.67	c 8.58669 10.5039 965 180078
13.59/13.67	o 5641
13.79/13.86	c 8.72067 10.5039 655 182821
13.79/13.86	o 5562
13.99/14.05	c 8.83066 10.5039 598 184853
13.99/14.05	o 5561
13.99/14.07	c 8.84366 10.5039 672 185165
13.99/14.07	o 5455
14.10/14.16	c 8.89165 10.5039 600 185968
14.10/14.16	o 5439
14.10/14.17	c 8.89465 10.5039 617 186184
14.10/14.17	o 5367
14.30/14.31	c 8.97164 10.5039 454 187868
14.30/14.31	o 5338
14.30/14.34	c 8.98863 10.5039 569 188280
14.30/14.34	o 5301
14.30/14.34	c 8.99363 10.5039 593 188492
14.30/14.34	o 5284
14.30/14.39	c 9.02163 10.5039 748 189059
14.30/14.39	o 5240
14.59/14.67	c 9.1826 10.625 942 191249
14.59/14.67	o 5206
14.69/14.71	c 9.2066 10.625 619 191722
14.69/14.71	o 5091
14.69/14.73	c 9.2226 10.625 688 191993
14.69/14.73	o 5042
14.79/14.81	c 9.26959 10.625 567 192804
14.79/14.81	o 5028
14.79/14.83	c 9.28659 10.625 642 193023
14.79/14.83	o 4978
14.79/14.84	c 9.29059 10.625 658 193179
14.79/14.84	o 4922
14.79/14.89	c 9.32058 10.625 521 193861
14.79/14.89	o 4901
14.99/15.06	c 9.42057 10.625 737 195168
14.99/15.06	o 4864
15.40/15.43	c 9.65053 10.625 598 197491
15.40/15.43	o 4857
15.49/15.52	c 9.70153 10.625 556 198487
15.49/15.52	o 4856
15.69/15.73	c 9.8495 10.625 829 200108
15.69/15.73	o 4663
15.79/15.85	c 9.92149 10.625 450 201313
15.79/15.85	o 4662
16.00/16.03	c 10.0275 10.625 503 203440
16.00/16.03	o 4521
16.10/16.19	c 10.1315 10.625 652 204834
16.10/16.19	o 4461
16.30/16.38	c 10.2484 10.625 578 206654
16.30/16.38	o 4380
16.39/16.41	c 10.2674 10.625 699 207002
16.39/16.41	o 4360
16.39/16.46	c 10.3034 10.625 496 207671
16.39/16.46	o 4289
16.50/16.54	c 10.3494 10.625 772 208356
16.50/16.54	o 4266
16.59/16.65	c 10.4194 10.625 869 209645
16.59/16.65	o 4216
16.69/16.70	c 10.4484 10.625 609 210208
16.69/16.70	o 4152
16.69/16.77	c 10.5034 10.625 847 210790
16.69/16.77	o 4139
17.30/17.35	c 10.8603 10.625 524 215652
17.30/17.35	o 4131
17.50/17.55	c 10.9873 10.625 840 217253
17.50/17.55	o 4128
17.69/17.75	c 11.1123 10.625 784 219261
17.69/17.75	o 4105
17.79/17.80	c 11.1403 10.625 574 219868
17.79/17.80	o 4094
18.80/18.89	c 11.8162 10.625 852 226812
18.80/18.89	o 4071
18.99/19.09	c 11.9382 10.75 666 228491
18.99/19.09	o 4032
19.20/19.29	c 12.0612 10.75 578 230280
19.20/19.29	o 4010
19.29/19.34	c 12.0972 10.75 745 230786
19.29/19.34	o 3990
19.49/19.50	c 12.1951 10.75 597 232319
19.49/19.50	o 3981
19.59/19.61	c 12.2611 10.75 515 233245
19.59/19.61	o 3968
19.59/19.61	c 12.2651 10.75 527 233423
19.59/19.61	o 3860
19.59/19.63	c 12.2681 10.75 576 233677
19.59/19.63	o 3813
20.10/20.12	c 12.5931 10.75 672 237498
20.10/20.12	o 3793
20.39/20.48	c 12.8191 10.75 836 240839
20.39/20.48	o 3772
20.49/20.56	c 12.872 10.75 673 241483
20.49/20.56	o 3714
20.60/20.61	c 12.902 10.75 460 242068
20.60/20.61	o 3616
20.60/20.65	c 12.929 10.75 601 242507
20.60/20.65	o 3606
20.60/20.66	c 12.933 10.75 624 242688
20.60/20.66	o 3575
20.60/20.68	c 12.946 10.75 677 242908
20.60/20.68	o 3526
20.89/20.96	c 13.116 10.75 457 245299
20.89/20.96	o 3461
20.99/21.03	c 13.161 10.75 703 245998
20.99/21.03	o 3436
21.09/21.17	c 13.257 10.75 743 247024
21.09/21.17	o 3435
21.19/21.22	c 13.282 10.75 456 247572
21.19/21.22	o 3248
21.29/21.31	c 13.342 10.75 417 248384
21.29/21.31	o 3219
21.39/21.44	c 13.418 10.75 813 249267
21.39/21.44	o 3193
21.39/21.47	c 13.436 10.75 505 249561
21.39/21.47	o 3130
21.50/21.57	c 13.4989 10.75 444 250478
21.50/21.57	o 3105
21.69/21.76	c 13.6179 10.75 442 252385
21.69/21.76	o 3043
21.79/21.85	c 13.6759 10.75 701 252960
21.79/21.85	o 3034
21.90/21.96	c 13.7449 10.75 655 253868
21.90/21.96	o 3017
21.90/21.98	c 13.7579 10.75 717 254154
21.90/21.98	o 2995
22.00/22.09	c 13.8329 10.75 698 255061
22.00/22.09	o 2951
22.19/22.24	c 13.9289 10.75 801 256344
22.19/22.24	o 2756
22.29/22.32	c 13.9749 10.75 611 256909
22.29/22.32	o 2734
22.39/22.44	c 14.0559 10.75 591 257764
22.39/22.44	o 2729
22.79/22.81	c 14.2978 10.75 827 259822
22.79/22.81	o 2665
22.99/23.04	c 14.4468 10.75 764 261687
22.99/23.04	o 2651
22.99/23.07	c 14.4588 10.75 840 261993
22.99/23.07	o 2646
23.09/23.11	c 14.4848 10.75 558 262521
23.09/23.11	o 2580
23.09/23.16	c 14.5178 10.75 698 262855
23.09/23.16	o 2517
23.19/23.23	c 14.5598 10.75 505 263455
23.19/23.23	o 2371
23.19/23.27	c 14.5838 10.75 629 263867
23.19/23.27	o 2340
23.29/23.34	c 14.6278 10.75 427 264637
23.29/23.34	o 2329
23.29/23.35	c 14.6298 10.75 432 264758
23.29/23.35	o 2250
23.39/23.41	c 14.6668 10.75 629 265190
23.39/23.41	o 2212
23.49/23.51	c 14.7298 10.75 555 266177
23.49/23.51	o 2169
23.59/23.66	c 14.8217 10.875 610 267319
23.59/23.66	o 2094
23.69/23.71	c 14.8487 10.875 763 267714
23.69/23.71	o 2083
23.69/23.80	c 14.8997 10.875 582 268339
23.69/23.80	o 2059
23.80/23.82	c 14.9137 10.875 660 268637
23.80/23.82	o 2022
23.80/23.84	c 14.9267 10.875 699 268779
23.80/23.84	o 2002
23.80/23.85	c 14.9317 10.875 721 268931
23.80/23.85	o 1923
23.80/23.88	c 14.9517 10.875 814 269124
23.80/23.88	o 1900
23.80/23.89	c 14.9557 10.875 432 269263
23.80/23.89	o 1887
23.89/23.93	c 14.9797 10.875 546 269595
23.89/23.93	o 1884
23.89/23.95	c 14.9927 10.875 608 269761
23.89/23.95	o 1861
23.99/24.09	c 15.0837 10.875 572 270562
23.99/24.09	o 1842
24.10/24.11	c 15.0967 10.875 629 270858
24.10/24.11	o 1696
24.10/24.15	c 15.1187 10.875 712 271070
24.10/24.15	o 1677
24.20/24.22	c 15.1637 10.875 486 271497
24.20/24.22	o 1670
24.20/24.25	c 15.1907 10.875 583 271697
24.20/24.25	o 1667
24.20/24.26	c 15.1977 10.875 614 271842
24.20/24.26	o 1655
24.30/24.30	c 15.2137 10.875 747 272191
24.30/24.30	o 1650
24.30/24.31	c 15.2207 10.875 778 272407
24.30/24.31	o 1543
24.30/24.32	c 15.2257 10.875 796 272481
24.30/24.32	o 1541
24.30/24.37	c 15.2667 10.875 549 272837
24.30/24.37	o 1526
24.40/24.42	c 15.2967 10.875 693 273288
24.40/24.42	o 1461
24.40/24.44	c 15.3137 10.875 762 273560
24.40/24.44	o 1387
24.40/24.48	c 15.3407 10.875 456 273924
24.40/24.48	o 1378
24.40/24.48	c 15.3437 10.875 468 273981
24.40/24.48	o 1358
24.50/24.52	c 15.3637 10.875 582 274294
24.50/24.52	o 1343
24.50/24.54	c 15.3737 10.875 622 274448
24.50/24.54	o 1274
24.50/24.56	c 15.3887 10.875 682 274578
24.50/24.56	o 1238
24.50/24.59	c 15.4097 10.875 769 274840
24.50/24.59	o 1179
24.59/24.61	c 15.4227 10.875 808 274983
24.59/24.61	o 1122
24.59/24.65	c 15.4536 10.875 550 275329
24.59/24.65	o 1087
24.59/24.69	c 15.4746 10.875 642 275526
24.59/24.69	o 1083
24.70/24.72	c 15.4976 10.875 731 275740
24.70/24.72	o 1049
24.70/24.72	c 15.4996 10.875 737 275802
24.70/24.72	o 1008
24.70/24.73	c 15.5026 10.875 759 275892
24.70/24.73	o 953
24.70/24.77	c 15.5296 10.9961 458 276267
24.70/24.77	o 904
24.80/24.84	c 15.5726 10.9961 754 276779
24.80/24.84	o 903
24.80/24.86	c 15.5816 10.9961 795 276860
24.80/24.86	o 896
24.80/24.87	c 15.5876 10.9961 812 276921
24.80/24.87	o 864
24.90/24.91	c 15.6196 10.9961 506 277238
24.90/24.91	o 859
24.90/24.98	c 15.6626 10.9961 757 277803
24.90/24.98	o 838
24.99/25.02	c 15.6906 10.9961 910 278157
24.99/25.02	o 797
24.99/25.03	c 15.6966 10.9961 934 278239
24.99/25.03	o 785
24.99/25.03	c 15.6996 10.9961 944 278290
24.99/25.03	o 776
24.99/25.07	c 15.7266 10.9961 547 278580
24.99/25.07	o 706
25.09/25.12	c 15.7686 10.9961 774 279027
25.09/25.12	o 700
25.09/25.14	c 15.7746 10.9961 817 279112
25.09/25.14	o 695
25.09/25.14	c 15.7756 10.9961 823 279169
25.09/25.14	o 684
25.09/25.14	c 15.7776 10.9961 824 279195
25.09/25.14	o 676
25.09/25.14	c 15.7776 10.9961 824 279231
25.09/25.14	o 650
25.09/25.14	c 15.7786 10.9961 845 279312
25.09/25.14	o 632
25.09/25.19	c 15.8096 10.9961 1018 279712
25.09/25.19	o 630
25.20/25.22	c 15.8316 10.9961 608 279915
25.20/25.22	o 620
25.20/25.26	c 15.8596 10.9961 783 280204
25.20/25.26	o 584
25.20/25.27	c 15.8696 10.9961 815 280300
25.20/25.27	o 549
25.20/25.29	c 15.8896 10.9961 956 280567
25.20/25.29	o 535
25.30/25.32	c 15.9056 10.9961 1067 280787
25.30/25.32	o 479
25.30/25.33	c 15.9126 10.9961 1098 280861
25.30/25.33	o 457
25.30/25.35	c 15.9216 10.9961 1165 281064
25.30/25.35	o 374
25.30/25.35	c 15.9246 10.9961 1191 281112
25.30/25.35	o 369
25.30/25.37	c 15.9346 10.9961 1285 281271
25.30/25.37	o 345
25.39/25.40	c 15.9546 10.9961 714 281511
25.39/25.40	o 344
25.39/25.40	c 15.9546 10.9961 727 281545
25.39/25.40	o 339
25.39/25.41	c 15.9626 10.9961 790 281687
25.39/25.41	o 311
25.39/25.41	c 15.9636 10.9961 800 281725
25.39/25.41	o 308
25.39/25.42	c 15.9696 10.9961 842 281814
25.39/25.42	o 277
25.39/25.42	c 15.9696 10.9961 843 281856
25.39/25.42	o 255
25.39/25.42	c 15.9706 10.9961 848 281896
25.39/25.42	o 229
25.39/25.43	c 15.9746 10.9961 865 281948
25.39/25.43	o 209
25.39/25.44	c 15.9816 10.9961 933 282062
25.39/25.44	o 187
25.39/25.44	c 15.9836 10.9961 611 282100
25.39/25.44	o 149
25.39/25.44	c 15.9846 10.9961 616 282116
25.39/25.44	o 147
25.39/25.44	c 15.9846 10.9961 619 282130
25.39/25.44	o 138
25.39/25.44	c 15.9866 10.9961 623 282146
25.39/25.44	o 133
25.39/25.44	c 15.9876 10.9961 624 282166
25.39/25.44	o 127
25.39/25.44	c 15.9876 10.9961 624 282207
25.39/25.44	o 68
25.39/25.44	c 15.9876 10.9961 624 282207
25.39/25.44	s OPTIMUM FOUND
25.39/25.44	v -x1 x2 x3 -x4 -x5 x6 x7 -x8 -x9 x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 -x35 x36 x37 -x38 x39 -x40 -x41 x42 x43 -x44 -x45 x46 -x47 x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 -x93 x94 x95 -x96 x97 -x98 -x99 x100 x101 -x102 x103 -x104 -x105 x106 -x107 x108 -x109 x110 x111 -x112 -x113 x114 -x115 x116 -x117 x118 -x119 x120 -x121 x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 x131 -x132 x133 -x134 -x135 x136 x137 -x138 x139 -x140 -x141 x142 -x143 x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 x159 -x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 x169 -x170 -x171 x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 x189 -x190 -x191 x192 -x193 x194 x195 -x196 x197 -x198 -x199 x200

Verifier Data 

OK	68

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700015-1278533890/watcher-2700015-1278533890 -o /tmp/evaluation-result-2700015-1278533890/solver-2700015-1278533890 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700015-1278533890.wbo 

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


[startup+0 s]
/proc/loadavg: 0.94 0.26 0.08 3/178 17086
/proc/meminfo: memFree=29234344/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=2136 CPUtime=0
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 260 0 0 0 0 0 0 0 25 0 1 0 21602094 2187264 180 4089446400 134512640 136422188 4287745536 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17086/statm: 534 180 144 467 0 65 0

[startup+0.0600449 s]
/proc/loadavg: 0.94 0.26 0.08 3/178 17086
/proc/meminfo: memFree=29234344/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10248 CPUtime=0.05
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2273 0 0 0 4 1 0 0 25 0 1 0 21602094 10493952 2189 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2562 2189 237 467 0 2093 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10248

[startup+0.101034 s]
/proc/loadavg: 0.94 0.26 0.08 3/178 17086
/proc/meminfo: memFree=29234344/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10248 CPUtime=0.09
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2288 0 0 0 7 2 0 0 25 0 1 0 21602094 10493952 2199 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2562 2199 238 467 0 2093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10248

[startup+0.301002 s]
/proc/loadavg: 0.94 0.26 0.08 3/178 17086
/proc/meminfo: memFree=29234344/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10372 CPUtime=0.3
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2323 0 0 0 20 10 0 0 25 0 1 0 21602094 10620928 2229 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2593 2229 238 467 0 2124 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10372

[startup+0.70093 s]
/proc/loadavg: 0.94 0.26 0.08 3/178 17086
/proc/meminfo: memFree=29234344/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10372 CPUtime=0.69
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2354 0 0 0 45 24 0 0 25 0 1 0 21602094 10620928 2249 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2593 2249 238 467 0 2124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10372

[startup+1.50079 s]
/proc/loadavg: 0.94 0.26 0.08 3/179 17087
/proc/meminfo: memFree=29226276/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10372 CPUtime=1.5
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2361 0 0 0 96 54 0 0 25 0 1 0 21602094 10620928 2252 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2593 2252 238 467 0 2124 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10372

[startup+3.10051 s]
/proc/loadavg: 1.03 0.28 0.09 3/179 17087
/proc/meminfo: memFree=29224168/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10500 CPUtime=3.09
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2391 0 0 0 199 110 0 0 25 0 1 0 21602094 10752000 2274 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2625 2274 238 467 0 2156 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10500

[startup+6.30094 s]
/proc/loadavg: 1.03 0.28 0.09 3/179 17087
/proc/meminfo: memFree=29220816/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10628 CPUtime=6.29
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2441 0 0 0 400 229 0 0 25 0 1 0 21602094 10883072 2303 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2657 2303 238 467 0 2188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10628

[startup+12.7008 s]
/proc/loadavg: 1.18 0.34 0.11 3/179 17087
/proc/meminfo: memFree=29212648/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=10752 CPUtime=12.7
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2517 0 0 0 797 473 0 0 25 0 1 0 21602094 11010048 2343 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2688 2343 238 467 0 2219 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10752

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

[startup+19.1007 s]
/proc/loadavg: 1.24 0.37 0.12 3/179 17087
/proc/meminfo: memFree=29202020/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=11004 CPUtime=19.1
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2609 0 0 0 1194 716 0 0 25 0 1 0 21602094 11268096 2395 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2751 2395 238 467 0 2282 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 11004

[startup+22.3001 s]
/proc/loadavg: 1.30 0.39 0.13 3/179 17087
/proc/meminfo: memFree=29198668/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=11004 CPUtime=22.29
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2647 0 0 0 1396 833 0 0 25 0 1 0 21602094 11268096 2406 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2751 2406 238 467 0 2282 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 11004

[startup+23.9008 s]
/proc/loadavg: 1.30 0.39 0.13 3/179 17087
/proc/meminfo: memFree=29198048/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=11132 CPUtime=23.89
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2686 0 0 0 1495 894 0 0 25 0 1 0 21602094 11399168 2424 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2783 2424 238 467 0 2314 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 11132

[startup+24.7007 s]
/proc/loadavg: 1.30 0.39 0.13 3/179 17087
/proc/meminfo: memFree=29196424/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=11132 CPUtime=24.7
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2734 0 0 0 1548 922 0 0 25 0 1 0 21602094 11399168 2449 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2783 2449 238 467 0 2314 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 11132

[startup+25.1006 s]
/proc/loadavg: 1.30 0.39 0.13 3/179 17087
/proc/meminfo: memFree=29196424/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=11256 CPUtime=25.09
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2763 0 0 0 1574 935 0 0 18 0 1 0 21602094 11526144 2465 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2814 2465 238 467 0 2345 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 11256

[startup+25.3066 s]
/proc/loadavg: 1.30 0.39 0.13 3/179 17087
/proc/meminfo: memFree=29194440/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=11256 CPUtime=25.3
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2780 0 0 0 1589 941 0 0 18 0 1 0 21602094 11526144 2471 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2814 2471 238 467 0 2345 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 11256

[startup+25.4006 s]
/proc/loadavg: 1.30 0.39 0.13 3/179 17087
/proc/meminfo: memFree=29194440/32951124 swapFree=67111528/67111528
[pid=17086] ppid=17084 vsize=11256 CPUtime=25.39
/proc/17086/stat : 17086 (pbct) R 17084 17086 16373 0 -1 4202496 2793 0 0 0 1595 944 0 0 18 0 1 0 21602094 11526144 2479 4089446400 134512640 136422188 4287745536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17086/statm: 2814 2479 238 467 0 2345 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 11256

Child status: 0
Real time (s): 25.456
CPU time (s): 25.4571
CPU user time (s): 15.9966
CPU system time (s): 9.46056
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 11256

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

runsolver used 0.041993 second user time and 0.090986 second system time

The end

Launcher Data 

Begin job on node136 at 2010-07-07 22:18:10
IDJOB=2700015
IDBENCH=79392
IDSOLVER=1212
FILE ID=node136/2700015-1278533890
PBS_JOBID= 11239205
Free space on /tmp= 73380 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh202_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700015-1278533890/watcher-2700015-1278533890 -o /tmp/evaluation-result-2700015-1278533890/solver-2700015-1278533890 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700015-1278533890.wbo

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

MD5SUM BENCH= d13dffa73911787707d210cefbded5d8
RANDOM SEED=962739964

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5426.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29234616 kB
Buffers:        132684 kB
Cached:        3323376 kB
SwapCached:          0 kB
Active:         897148 kB
Inactive:      2666288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29234616 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6556 kB
Writeback:           0 kB
AnonPages:      107336 kB
Mapped:          17068 kB
Slab:            88908 kB
PageTables:       5472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   249824 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73376 MiB
End job on node136 at 2010-07-07 22:18:36