Trace number 2700012

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.1OPTIMUM 25.4191 25.418

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.1 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.01/0.03	c 0.035994 9.79688 1 1846
0.01/0.03	o 28450
0.01/0.03	c 0.035994 10.0117 1 2695
0.01/0.03	o 26947
0.01/0.04	c 0.036994 10.0117 2 3548
0.01/0.04	o 25660
0.01/0.04	c 0.036994 10.0117 2 4385
0.01/0.04	o 16317
0.01/0.06	c 0.045993 10.0117 107 5111
0.01/0.06	o 16251
0.01/0.06	c 0.045993 10.0117 108 5353
0.01/0.06	o 16166
0.01/0.07	c 0.047992 10.0117 110 5866
0.01/0.07	o 16024
0.01/0.07	c 0.049992 10.0117 150 6352
0.01/0.07	o 15721
0.01/0.09	c 0.053991 10.0117 210 6672
0.01/0.09	o 15704
0.09/0.11	c 0.06199 10.0117 304 7036
0.09/0.11	o 15694
0.09/0.11	c 0.06499 10.0117 311 7505
0.09/0.11	o 15339
0.09/0.11	c 0.06499 10.0117 311 8349
0.09/0.11	o 13779
0.09/0.11	c 0.06499 10.0117 317 8717
0.09/0.11	o 13776
0.09/0.16	c 0.079987 10.1328 658 9920
0.09/0.16	o 13445
0.29/0.36	c 0.151976 10.1328 502 13559
0.29/0.36	o 13293
0.29/0.37	c 0.152976 10.1328 532 13760
0.29/0.37	o 13278
0.29/0.37	c 0.153976 10.1328 543 14034
0.29/0.37	o 13158
0.29/0.38	c 0.154976 10.1328 549 14304
0.29/0.38	o 13150
0.29/0.38	c 0.154976 10.1328 550 15151
0.29/0.38	o 11640
0.29/0.39	c 0.155976 10.1328 589 15377
0.29/0.39	o 11627
0.39/0.47	c 0.179972 10.1328 674 17236
0.39/0.47	o 11448
0.49/0.56	c 0.205968 10.1328 534 19214
0.49/0.56	o 11251
0.59/0.62	c 0.223965 10.1328 451 19951
0.59/0.62	o 11172
0.59/0.65	c 0.230964 10.1328 623 20611
0.59/0.65	o 11134
0.59/0.69	c 0.241963 10.1328 435 21347
0.59/0.69	o 10955
0.79/0.88	c 0.294955 10.1328 541 23675
0.79/0.88	o 10780
1.00/1.01	c 0.32695 10.1328 637 26169
1.00/1.01	o 10686
1.19/1.22	c 0.39294 10.1328 489 28940
1.19/1.22	o 10635
1.19/1.26	c 0.404938 10.1328 632 29498
1.19/1.26	o 10629
1.49/1.52	c 0.493924 10.1328 609 33535
1.49/1.52	o 10460
1.49/1.54	c 0.499924 10.1328 663 33812
1.49/1.54	o 10394
1.49/1.56	c 0.508922 10.1328 451 34309
1.49/1.56	o 10381
1.49/1.57	c 0.509922 10.1328 515 34689
1.49/1.57	o 10253
1.89/1.95	c 0.611906 10.2578 515 40895
1.89/1.95	o 10214
2.00/2.05	c 0.633903 10.2578 681 42616
2.00/2.05	o 10153
2.10/2.14	c 0.662899 10.2578 425 44325
2.10/2.14	o 9855
2.49/2.53	c 0.775882 10.2578 481 49847
2.49/2.53	o 9734
3.39/3.46	c 1.03684 10.2578 797 61878
3.39/3.46	o 9615
3.49/3.59	c 1.07883 10.2578 353 63849
3.49/3.59	o 9577
3.59/3.69	c 1.10583 10.2578 814 65121
3.59/3.69	o 9546
3.69/3.74	c 1.11683 10.2578 584 65730
3.69/3.74	o 9514
4.19/4.20	c 1.25481 10.2578 637 71249
4.19/4.20	o 9512
4.19/4.22	c 1.26081 10.2578 724 71653
4.19/4.22	o 9394
4.30/4.35	c 1.3038 10.2578 728 73868
4.30/4.35	o 9287
4.40/4.46	c 1.3308 10.2578 879 74905
4.40/4.46	o 9259
4.70/4.77	c 1.42078 10.3828 640 78444
4.70/4.77	o 9253
4.70/4.78	c 1.42578 10.3828 710 78814
4.70/4.78	o 9112
4.70/4.79	c 1.42878 10.3828 382 79095
4.70/4.79	o 9043
4.90/4.91	c 1.46378 10.3828 583 80502
4.90/4.91	o 9037
4.99/5.00	c 1.48377 10.3828 698 81802
4.99/5.00	o 9031
4.99/5.02	c 1.48977 10.3828 498 82374
4.99/5.02	o 9018
5.09/5.12	c 1.51777 10.3828 517 83691
5.09/5.12	o 8969
5.09/5.16	c 1.52677 10.3828 684 84385
5.09/5.16	o 8842
5.30/5.39	c 1.59876 10.3828 885 87670
5.30/5.39	o 8818
5.40/5.46	c 1.61875 10.3828 811 88704
5.40/5.46	o 8686
5.79/5.86	c 1.73474 10.3828 743 93821
5.79/5.86	o 8575
5.99/6.06	c 1.80073 10.3828 726 95710
5.99/6.06	o 8547
6.19/6.24	c 1.84972 10.3828 502 98064
6.19/6.24	o 8475
6.30/6.39	c 1.89271 10.3828 550 100140
6.30/6.39	o 8460
6.39/6.48	c 1.91471 10.3828 850 100878
6.39/6.48	o 8424
6.60/6.63	c 1.9617 10.3828 468 103351
6.60/6.63	o 8419
6.69/6.71	c 1.9817 10.3828 626 104819
6.69/6.71	o 8195
6.69/6.74	c 1.9897 10.3828 411 105387
6.69/6.74	o 8109
6.80/6.85	c 2.02669 10.3828 512 106561
6.80/6.85	o 8101
6.89/6.98	c 2.06269 10.3828 456 108487
6.89/6.98	o 8078
7.30/7.33	c 2.15667 10.3828 892 112486
7.30/7.33	o 8015
7.30/7.34	c 2.15867 10.3828 487 112774
7.30/7.34	o 7957
7.49/7.51	c 2.18867 10.3828 634 114071
7.49/7.51	o 7811
7.60/7.61	c 2.22166 10.3828 443 115882
7.60/7.61	o 7749
8.29/8.35	c 2.42363 10.3828 684 123495
8.29/8.35	o 7683
8.29/8.39	c 2.43463 10.3828 492 123968
8.29/8.39	o 7637
8.39/8.46	c 2.45663 10.3828 461 124952
8.39/8.46	o 7612
8.49/8.59	c 2.49562 10.3828 672 126301
8.49/8.59	o 7588
8.59/8.64	c 2.50562 10.3828 505 126986
8.59/8.64	o 7554
8.59/8.69	c 2.52262 10.3828 432 128044
8.59/8.69	o 7454
8.70/8.74	c 2.53561 10.3828 741 129023
8.70/8.74	o 7440
8.80/8.84	c 2.55661 10.3828 863 130456
8.80/8.84	o 7401
8.90/8.95	c 2.58761 10.3828 444 131689
8.90/8.95	o 7356
9.09/9.15	c 2.6466 10.3828 639 134184
9.09/9.15	o 7292
9.09/9.20	c 2.6626 10.3828 465 134788
9.09/9.20	o 7252
9.39/9.40	c 2.72758 10.5039 517 136871
9.39/9.40	o 7232
10.09/10.17	c 2.92556 10.5039 790 143763
10.09/10.17	o 7227
10.39/10.46	c 2.99454 10.5039 589 147383
10.39/10.46	o 7192
11.00/11.04	c 3.17052 10.5039 434 153509
11.00/11.04	o 7053
11.00/11.05	c 3.17652 10.5039 485 153781
11.00/11.05	o 6999
11.00/11.07	c 3.17852 10.5039 559 154068
11.00/11.07	o 6971
11.00/11.09	c 3.18552 10.5039 677 154609
11.00/11.09	o 6853
11.19/11.25	c 3.23551 10.5039 583 156660
11.19/11.25	o 6721
11.19/11.28	c 3.24351 10.5039 697 157156
11.19/11.28	o 6644
11.49/11.58	c 3.3165 10.5039 463 160568
11.49/11.58	o 6375
11.59/11.60	c 3.32449 10.5039 527 160787
11.59/11.60	o 6345
11.89/11.97	c 3.42848 10.5039 563 163756
11.89/11.97	o 6293
12.39/12.46	c 3.57246 10.5039 816 169603
12.39/12.46	o 6272
12.49/12.51	c 3.58545 10.5039 685 170534
12.49/12.51	o 6111
13.10/13.18	c 3.77343 10.5039 639 174835
13.10/13.18	o 6073
13.39/13.43	c 3.85541 10.5039 841 177116
13.39/13.43	o 6062
13.50/13.57	c 3.89541 10.5039 570 178781
13.50/13.57	o 5980
13.60/13.64	c 3.9154 10.5039 965 180078
13.60/13.64	o 5641
13.79/13.84	c 3.98039 10.5039 655 182821
13.79/13.84	o 5562
13.99/14.02	c 4.02539 10.5039 598 184853
13.99/14.02	o 5561
13.99/14.05	c 4.03239 10.5039 672 185165
13.99/14.05	o 5455
14.09/14.13	c 4.05438 10.5039 600 185968
14.09/14.13	o 5439
14.09/14.14	c 4.05738 10.5039 617 186184
14.09/14.14	o 5367
14.20/14.28	c 4.09738 10.5039 454 187868
14.20/14.28	o 5338
14.30/14.31	c 4.10338 10.5039 569 188280
14.30/14.31	o 5301
14.30/14.32	c 4.10538 10.5039 593 188492
14.30/14.32	o 5284
14.30/14.37	c 4.11937 10.5039 748 189059
14.30/14.37	o 5240
14.59/14.65	c 4.20736 10.625 942 191249
14.59/14.65	o 5206
14.59/14.69	c 4.21636 10.625 619 191722
14.59/14.69	o 5091
14.69/14.71	c 4.22136 10.625 688 191993
14.69/14.71	o 5042
14.69/14.78	c 4.24136 10.625 567 192804
14.69/14.78	o 5028
14.79/14.81	c 4.25135 10.625 642 193023
14.79/14.81	o 4978
14.79/14.81	c 4.25535 10.625 658 193179
14.79/14.81	o 4922
14.79/14.87	c 4.27135 10.625 521 193861
14.79/14.87	o 4901
14.99/15.03	c 4.31834 10.625 737 195168
14.99/15.03	o 4864
15.30/15.40	c 4.42633 10.625 598 197491
15.30/15.40	o 4857
15.40/15.49	c 4.45632 10.625 556 198487
15.40/15.49	o 4856
15.70/15.71	c 4.51231 10.625 829 200108
15.70/15.71	o 4663
15.79/15.82	c 4.54931 10.625 450 201313
15.79/15.82	o 4662
15.99/16.00	c 4.5993 10.625 503 203440
15.99/16.00	o 4521
16.09/16.16	c 4.63929 10.625 652 204834
16.09/16.16	o 4461
16.29/16.35	c 4.69129 10.625 578 206654
16.29/16.35	o 4380
16.29/16.38	c 4.70129 10.625 699 207002
16.29/16.38	o 4360
16.40/16.43	c 4.71828 10.625 496 207671
16.40/16.43	o 4289
16.50/16.51	c 4.73528 10.625 772 208356
16.50/16.51	o 4266
16.59/16.62	c 4.76328 10.625 869 209645
16.59/16.62	o 4216
16.59/16.67	c 4.77727 10.625 609 210208
16.59/16.67	o 4152
16.69/16.74	c 4.80227 10.625 847 210790
16.69/16.74	o 4139
17.30/17.32	c 4.96824 10.625 524 215652
17.30/17.32	o 4131
17.50/17.52	c 5.01424 10.625 840 217253
17.50/17.52	o 4128
17.70/17.73	c 5.07123 10.625 784 219261
17.70/17.73	o 4105
17.70/17.77	c 5.08723 10.625 574 219868
17.70/17.77	o 4094
18.79/18.86	c 5.40418 10.625 852 226812
18.79/18.86	o 4071
18.99/19.06	c 5.46317 10.75 666 228491
18.99/19.06	o 4032
19.19/19.26	c 5.52416 10.75 578 230280
19.19/19.26	o 4010
19.29/19.32	c 5.54016 10.75 745 230786
19.29/19.32	o 3990
19.40/19.47	c 5.58015 10.75 597 232319
19.40/19.47	o 3981
19.49/19.58	c 5.60915 10.75 515 233245
19.49/19.58	o 3968
19.49/19.58	c 5.61215 10.75 527 233423
19.49/19.58	o 3860
19.59/19.60	c 5.61315 10.75 576 233677
19.59/19.60	o 3813
19.99/20.09	c 5.76512 10.75 672 237498
19.99/20.09	o 3793
20.39/20.45	c 5.85311 10.75 836 240839
20.39/20.45	o 3772
20.49/20.53	c 5.87511 10.75 673 241483
20.49/20.53	o 3714
20.49/20.58	c 5.8921 10.75 460 242068
20.49/20.58	o 3616
20.59/20.62	c 5.9021 10.75 601 242507
20.59/20.62	o 3606
20.59/20.63	c 5.9041 10.75 624 242688
20.59/20.63	o 3575
20.59/20.65	c 5.9121 10.75 677 242908
20.59/20.65	o 3526
20.89/20.93	c 5.98209 10.75 457 245299
20.89/20.93	o 3461
20.99/21.00	c 6.00009 10.75 703 245998
20.99/21.00	o 3436
21.09/21.14	c 6.04208 10.75 743 247024
21.09/21.14	o 3435
21.09/21.18	c 6.05308 10.75 456 247572
21.09/21.18	o 3248
21.19/21.28	c 6.07508 10.75 417 248384
21.19/21.28	o 3219
21.40/21.41	c 6.10407 10.75 813 249267
21.40/21.41	o 3193
21.40/21.43	c 6.11107 10.75 505 249561
21.40/21.43	o 3130
21.49/21.54	c 6.14207 10.75 444 250478
21.49/21.54	o 3105
21.69/21.73	c 6.19406 10.75 442 252385
21.69/21.73	o 3043
21.79/21.82	c 6.21305 10.75 701 252960
21.79/21.82	o 3034
21.90/21.93	c 6.24505 10.75 655 253868
21.90/21.93	o 3017
21.90/21.95	c 6.25305 10.75 717 254154
21.90/21.95	o 2995
22.00/22.06	c 6.27604 10.75 698 255061
22.00/22.06	o 2951
22.19/22.21	c 6.32404 10.75 801 256344
22.19/22.21	o 2756
22.19/22.28	c 6.34204 10.75 611 256909
22.19/22.28	o 2734
22.39/22.41	c 6.37903 10.75 591 257764
22.39/22.41	o 2729
22.70/22.78	c 6.47501 10.75 827 259822
22.70/22.78	o 2665
23.00/23.01	c 6.543 10.75 764 261687
23.00/23.01	o 2651
23.00/23.03	c 6.551 10.75 840 261993
23.00/23.03	o 2646
23.00/23.08	c 6.563 10.75 558 262521
23.00/23.08	o 2580
23.09/23.13	c 6.575 10.75 698 262855
23.09/23.13	o 2517
23.20/23.20	c 6.591 10.75 505 263455
23.20/23.20	o 2371
23.20/23.24	c 6.606 10.75 629 263867
23.20/23.24	o 2340
23.29/23.31	c 6.62899 10.75 427 264637
23.29/23.31	o 2329
23.29/23.31	c 6.62999 10.75 432 264758
23.29/23.31	o 2250
23.29/23.38	c 6.64799 10.75 629 265190
23.29/23.38	o 2212
23.40/23.47	c 6.67399 10.75 555 266177
23.40/23.47	o 2169
23.59/23.62	c 6.72098 10.875 610 267319
23.59/23.62	o 2094
23.59/23.67	c 6.73298 10.875 763 267714
23.59/23.67	o 2083
23.69/23.76	c 6.75197 10.875 582 268339
23.69/23.76	o 2059
23.69/23.79	c 6.75997 10.875 660 268637
23.69/23.79	o 2022
23.80/23.80	c 6.76297 10.875 699 268779
23.80/23.80	o 2002
23.80/23.81	c 6.76397 10.875 721 268931
23.80/23.81	o 1923
23.80/23.84	c 6.76897 10.875 814 269124
23.80/23.84	o 1900
23.80/23.85	c 6.76897 10.875 432 269263
23.80/23.85	o 1887
23.89/23.90	c 6.77697 10.875 546 269595
23.89/23.90	o 1884
23.89/23.92	c 6.78297 10.875 608 269761
23.89/23.92	o 1861
23.99/24.06	c 6.82396 10.875 572 270562
23.99/24.06	o 1842
23.99/24.08	c 6.83096 10.875 629 270858
23.99/24.08	o 1696
24.10/24.11	c 6.83996 10.875 712 271070
24.10/24.11	o 1677
24.10/24.18	c 6.85896 10.875 486 271497
24.10/24.18	o 1670
24.20/24.21	c 6.87096 10.875 583 271697
24.20/24.21	o 1667
24.20/24.23	c 6.87395 10.875 614 271842
24.20/24.23	o 1655
24.20/24.26	c 6.88295 10.875 747 272191
24.20/24.26	o 1650
24.20/24.27	c 6.88595 10.875 778 272407
24.20/24.27	o 1543
24.20/24.28	c 6.88695 10.875 796 272481
24.20/24.28	o 1541
24.30/24.34	c 6.90395 10.875 549 272837
24.30/24.34	o 1526
24.30/24.38	c 6.91695 10.875 693 273288
24.30/24.38	o 1461
24.40/24.41	c 6.92595 10.875 762 273560
24.40/24.41	o 1387
24.40/24.44	c 6.93494 10.875 456 273924
24.40/24.45	o 1378
24.40/24.45	c 6.93694 10.875 468 273981
24.40/24.45	o 1358
24.40/24.48	c 6.94494 10.875 582 274294
24.40/24.48	o 1343
24.50/24.50	c 6.95094 10.875 622 274448
24.50/24.50	o 1274
24.50/24.52	c 6.95694 10.875 682 274578
24.50/24.52	o 1238
24.50/24.55	c 6.96594 10.875 769 274840
24.50/24.55	o 1179
24.50/24.57	c 6.97194 10.875 808 274983
24.50/24.57	o 1122
24.59/24.62	c 6.98594 10.875 550 275329
24.59/24.62	o 1087
24.59/24.65	c 6.99194 10.875 642 275526
24.59/24.65	o 1083
24.59/24.68	c 7.00193 10.875 731 275740
24.59/24.68	o 1049
24.59/24.69	c 7.00193 10.875 737 275802
24.59/24.69	o 1008
24.59/24.69	c 7.00394 10.875 759 275892
24.59/24.69	o 953
24.69/24.74	c 7.01593 10.9961 458 276267
24.69/24.74	o 904
24.80/24.81	c 7.03493 10.9961 754 276779
24.80/24.81	o 903
24.80/24.82	c 7.03793 10.9961 795 276860
24.80/24.82	o 896
24.80/24.83	c 7.04193 10.9961 812 276921
24.80/24.83	o 864
24.80/24.87	c 7.06093 10.9961 506 277238
24.80/24.87	o 859
24.90/24.94	c 7.09492 10.9961 757 277803
24.90/24.94	o 838
24.90/24.98	c 7.11292 10.9961 910 278157
24.90/24.98	o 797
24.90/24.99	c 7.11592 10.9961 934 278239
24.90/24.99	o 785
24.90/24.99	c 7.11692 10.9961 944 278290
24.90/24.99	o 776
24.99/25.03	c 7.12892 10.9961 547 278580
24.99/25.03	o 706
24.99/25.09	c 7.15191 10.9961 774 279027
24.99/25.09	o 700
25.09/25.10	c 7.15891 10.9961 817 279112
25.09/25.10	o 695
25.09/25.10	c 7.15991 10.9961 823 279169
25.09/25.10	o 684
25.09/25.10	c 7.15991 10.9961 824 279195
25.09/25.10	o 676
25.09/25.10	c 7.16191 10.9961 824 279231
25.09/25.10	o 650
25.09/25.11	c 7.16491 10.9961 845 279312
25.09/25.11	o 632
25.09/25.16	c 7.17891 10.9961 1018 279712
25.09/25.16	o 630
25.09/25.19	c 7.19591 10.9961 608 279915
25.09/25.19	o 620
25.20/25.22	c 7.2049 10.9961 783 280204
25.20/25.22	o 584
25.20/25.23	c 7.2089 10.9961 815 280300
25.20/25.23	o 549
25.20/25.26	c 7.2239 10.9961 956 280567
25.20/25.26	o 535
25.20/25.29	c 7.2399 10.9961 1067 280787
25.20/25.29	o 479
25.20/25.29	c 7.2459 10.9961 1098 280861
25.20/25.29	o 457
25.29/25.31	c 7.2509 10.9961 1165 281064
25.29/25.31	o 374
25.29/25.31	c 7.2519 10.9961 1191 281112
25.29/25.31	o 369
25.29/25.33	c 7.26389 10.9961 1285 281271
25.29/25.33	o 345
25.29/25.36	c 7.27689 10.9961 714 281511
25.29/25.36	o 344
25.29/25.36	c 7.27689 10.9961 727 281545
25.29/25.36	o 339
25.29/25.37	c 7.28489 10.9961 790 281687
25.29/25.37	o 311
25.29/25.37	c 7.28689 10.9961 800 281725
25.29/25.37	o 308
25.29/25.38	c 7.28989 10.9961 842 281814
25.29/25.38	o 277
25.29/25.38	c 7.28989 10.9961 843 281856
25.29/25.38	o 255
25.29/25.39	c 7.28989 10.9961 848 281896
25.29/25.39	o 229
25.29/25.39	c 7.29189 10.9961 865 281948
25.29/25.39	o 209
25.39/25.40	c 7.29489 10.9961 933 282062
25.39/25.40	o 187
25.39/25.40	c 7.29689 10.9961 611 282100
25.39/25.40	o 149
25.39/25.40	c 7.29789 10.9961 616 282116
25.39/25.40	o 147
25.39/25.40	c 7.29789 10.9961 619 282130
25.39/25.40	o 138
25.39/25.40	c 7.29889 10.9961 623 282146
25.39/25.40	o 133
25.39/25.40	c 7.29889 10.9961 624 282166
25.39/25.40	o 127
25.39/25.40	c 7.29989 10.9961 624 282207
25.39/25.40	o 68
25.39/25.40	c 7.29989 10.9961 624 282207
25.39/25.40	s OPTIMUM FOUND
25.39/25.40	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-2700012-1278533888/watcher-2700012-1278533888 -o /tmp/evaluation-result-2700012-1278533888/solver-2700012-1278533888 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700012-1278533888.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: 1.12 0.38 0.13 3/178 20725
/proc/meminfo: memFree=29289640/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=2136 CPUtime=0
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 21602903 2187264 175 4089446400 134512640 136421960 4287986384 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20725/statm: 534 175 144 467 0 65 0

[startup+0.015141 s]
/proc/loadavg: 1.12 0.38 0.13 3/178 20725
/proc/meminfo: memFree=29289640/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=4636 CPUtime=0.01
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 850 0 0 0 1 0 0 0 21 0 1 0 21602903 4747264 769 4089446400 134512640 136421960 4287986384 18446744073709551615 135812090 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 1159 772 193 467 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4636

[startup+0.101112 s]
/proc/loadavg: 1.12 0.38 0.13 3/178 20725
/proc/meminfo: memFree=29289640/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=10248 CPUtime=0.09
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2288 0 0 0 5 4 0 0 21 0 1 0 21602903 10493952 2198 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2562 2198 238 467 0 2093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10248

[startup+0.301078 s]
/proc/loadavg: 1.12 0.38 0.13 3/178 20725
/proc/meminfo: memFree=29289640/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=10372 CPUtime=0.29
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2324 0 0 0 12 17 0 0 21 0 1 0 21602903 10620928 2229 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2593 2229 238 467 0 2124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10372

[startup+0.701002 s]
/proc/loadavg: 1.12 0.38 0.13 3/178 20725
/proc/meminfo: memFree=29289640/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=10372 CPUtime=0.69
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2355 0 0 0 24 45 0 0 22 0 1 0 21602903 10620928 2249 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2593 2249 238 467 0 2124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10372

[startup+1.50086 s]
/proc/loadavg: 1.12 0.38 0.13 3/179 20726
/proc/meminfo: memFree=29281332/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=10372 CPUtime=1.49
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2362 0 0 0 48 101 0 0 25 0 1 0 21602903 10620928 2252 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2593 2252 238 467 0 2124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10372

[startup+3.10058 s]
/proc/loadavg: 1.19 0.41 0.14 3/179 20726
/proc/meminfo: memFree=29281508/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=10500 CPUtime=3.09
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2392 0 0 0 93 216 0 0 25 0 1 0 21602903 10752000 2274 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2625 2274 238 467 0 2156 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10500

[startup+6.30099 s]
/proc/loadavg: 1.19 0.41 0.14 3/179 20726
/proc/meminfo: memFree=29281136/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=10628 CPUtime=6.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2442 0 0 0 186 444 0 0 25 0 1 0 21602903 10883072 2303 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2657 2303 238 467 0 2188 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10628

[startup+12.7008 s]
/proc/loadavg: 1.32 0.46 0.16 3/179 20726
/proc/meminfo: memFree=29281572/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=10752 CPUtime=12.69
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2518 0 0 0 363 906 0 0 25 0 1 0 21602903 11010048 2343 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2688 2343 238 467 0 2219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10752

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

[startup+19.1006 s]
/proc/loadavg: 1.45 0.50 0.18 3/179 20727
/proc/meminfo: memFree=29282280/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=11004 CPUtime=19.09
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2610 0 0 0 547 1362 0 0 25 0 1 0 21602903 11268096 2395 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2751 2395 238 467 0 2282 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 11004

[startup+22.3011 s]
/proc/loadavg: 1.49 0.53 0.19 3/179 20727
/proc/meminfo: memFree=29282088/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=11004 CPUtime=22.29
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2649 0 0 0 634 1595 0 0 25 0 1 0 21602903 11268096 2406 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/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.49 0.53 0.19 3/179 20729
/proc/meminfo: memFree=29281476/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=11132 CPUtime=23.89
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2687 0 0 0 677 1712 0 0 25 0 1 0 21602903 11399168 2424 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2783 2424 238 467 0 2314 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 11132

[startup+24.7006 s]
/proc/loadavg: 1.49 0.53 0.19 3/179 20729
/proc/meminfo: memFree=29281476/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=11256 CPUtime=24.69
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2743 0 0 0 700 1769 0 0 25 0 1 0 21602903 11526144 2454 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2814 2454 238 467 0 2345 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 11256

[startup+25.1005 s]
/proc/loadavg: 1.49 0.53 0.19 3/179 20729
/proc/meminfo: memFree=29281476/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=11256 CPUtime=25.09
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2765 0 0 0 715 1794 0 0 25 0 1 0 21602903 11526144 2465 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2814 2465 238 467 0 2345 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 11256

[startup+25.3055 s]
/proc/loadavg: 1.49 0.53 0.19 3/179 20730
/proc/meminfo: memFree=29281228/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=11256 CPUtime=25.29
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2784 0 0 0 724 1805 0 0 25 0 1 0 21602903 11526144 2472 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2814 2472 238 467 0 2345 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 11256

[startup+25.4005 s]
/proc/loadavg: 1.49 0.53 0.19 3/179 20730
/proc/meminfo: memFree=29281228/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=11256 CPUtime=25.39
/proc/20725/stat : 20725 (pbct) R 20723 20725 20232 0 -1 4202496 2805 0 0 0 729 1810 0 0 25 0 1 0 21602903 11526144 2482 4089446400 134512640 136421960 4287986384 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 2814 2482 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.418
CPU time (s): 25.4191
CPU user time (s): 7.30889
CPU system time (s): 18.1102
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 11256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.30889
system time used= 18.1102
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2817
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= 1
involuntary context switches= 296

runsolver used 0.039993 second user time and 0.087986 second system time

The end

Launcher Data 

Begin job on node109 at 2010-07-07 22:18:08
IDJOB=2700012
IDBENCH=79392
IDSOLVER=1208
FILE ID=node109/2700012-1278533888
PBS_JOBID= 11239260
Free space on /tmp= 73768 MiB

SOLVER NAME= PB/CT 0.1
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-2700012-1278533888/watcher-2700012-1278533888 -o /tmp/evaluation-result-2700012-1278533888/solver-2700012-1278533888 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2700012-1278533888.wbo

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

MD5SUM BENCH= d13dffa73911787707d210cefbded5d8
RANDOM SEED=1698972095

node109.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.817
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.63
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.817
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.817
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.75
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.817
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.83
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.817
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	: 5332.75
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.817
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.82
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.817
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.75
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.817
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:      29290416 kB
Buffers:        136344 kB
Cached:        3308488 kB
SwapCached:          0 kB
Active:        1951304 kB
Inactive:      1565328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29290416 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4068 kB
Writeback:           0 kB
AnonPages:       71600 kB
Mapped:          15464 kB
Slab:            80684 kB
PageTables:       4260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   213428 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= 73768 MiB
End job on node109 at 2010-07-07 22:18:34