Trace number 2698790

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 1151.49 1151.47

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MD5SUM200f179ceb6a172fc8d81952e96f0c84
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark279.71
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
Number of bits of the biggest sum of numbers10
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.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.095985 19.9922 30 5605
0.09/0.10	o 1024
0.09/0.10	c 0.095985 20.2266 32 7013
0.09/0.10	o 998
0.09/0.12	c 0.098984 20.4609 46 8635
0.09/0.12	o 975
0.09/0.12	c 0.098984 20.4609 48 9809
0.09/0.12	o 947
0.09/0.13	c 0.099984 20.4609 48 10776
0.09/0.13	o 932
0.09/0.13	c 0.099984 20.4609 51 12879
0.09/0.13	o 877
0.09/0.14	c 0.100984 20.4609 51 15692
0.09/0.14	o 718
0.09/0.15	c 0.100984 20.4609 65 16390
0.09/0.15	o 699
0.09/0.18	c 0.107983 20.4609 104 17639
0.09/0.18	o 663
0.19/0.26	c 0.119981 20.4609 162 18099
0.19/0.26	o 661
0.19/0.26	c 0.120981 20.4609 167 18987
0.19/0.26	o 633
0.19/0.27	c 0.121981 20.4609 169 19582
0.19/0.27	o 616
0.19/0.28	c 0.124981 20.4609 262 20490
0.19/0.28	o 598
0.29/0.30	c 0.12898 20.4609 299 20865
0.29/0.30	o 597
0.29/0.31	c 0.12898 20.4609 305 22724
0.29/0.31	o 582
0.29/0.34	c 0.132979 20.4609 339 23893
0.29/0.34	o 546
0.29/0.35	c 0.134979 20.4609 348 25220
0.29/0.35	o 505
0.29/0.37	c 0.137979 20.4609 396 25519
0.29/0.37	o 504
0.29/0.38	c 0.139978 20.4609 410 26505
0.29/0.38	o 481
0.39/0.44	c 0.145977 20.4609 493 27276
0.39/0.44	o 473
0.49/0.52	c 0.150977 20.4609 596 29392
0.49/0.52	o 423
0.49/0.55	c 0.152976 20.4609 655 30234
0.49/0.55	o 405
0.59/0.69	c 0.179972 20.4609 810 31345
0.59/0.69	o 397
0.69/0.70	c 0.182972 20.4609 831 31637
0.69/0.70	o 394
0.69/0.74	c 0.187971 20.4609 873 32175
0.69/0.74	o 385
0.69/0.76	c 0.19297 20.4609 895 32792
0.69/0.76	o 369
0.69/0.78	c 0.19697 20.4609 914 33056
0.69/0.78	o 364
0.79/0.86	c 0.214967 20.4609 1019 33728
0.79/0.86	o 362
0.79/0.86	c 0.216967 20.4609 1021 34459
0.79/0.86	o 350
0.79/0.87	c 0.217966 20.4609 1023 34685
0.79/0.87	o 347
0.79/0.89	c 0.221966 20.4609 1040 35232
0.79/0.89	o 343
0.89/0.99	c 0.235964 20.4609 1160 36307
0.89/0.99	o 330
0.99/1.02	c 0.240963 20.4609 1216 37093
0.99/1.02	o 309
1.19/1.26	c 0.268959 20.4609 852 38503
1.19/1.26	o 290
1.29/1.30	c 0.275958 20.4609 903 38919
1.29/1.30	o 289
1.29/1.32	c 0.277957 20.4609 915 39522
1.29/1.32	o 274
1.69/1.74	c 0.321951 20.4609 847 41396
1.69/1.74	o 267
1.69/1.75	c 0.321951 20.4609 851 41825
1.69/1.75	o 257
1.69/1.77	c 0.32495 20.4609 866 42504
1.69/1.77	o 242
1.89/1.96	c 0.350946 20.4609 1159 43871
1.89/1.96	o 227
2.10/2.13	c 0.367944 20.4609 736 44922
2.10/2.13	o 225
2.10/2.20	c 0.376942 20.4609 791 45785
2.10/2.20	o 200
2.19/2.21	c 0.380942 20.4609 801 46307
2.19/2.21	o 186
2.19/2.29	c 0.395939 20.4609 873 46594
2.19/2.29	o 184
2.39/2.42	c 0.417936 20.4609 1043 47143
2.39/2.42	o 183
2.59/2.68	c 0.450931 20.5898 1342 48181
2.59/2.68	o 179
2.59/2.70	c 0.45493 20.5898 704 48532
2.59/2.70	o 171
2.79/2.85	c 0.488925 20.5898 901 49042
2.79/2.85	o 170
2.79/2.86	c 0.492925 20.5898 930 49587
2.79/2.86	o 155
2.89/2.92	c 0.506922 20.5898 1038 50131
2.89/2.92	o 151
2.89/2.94	c 0.510922 20.5898 1052 50774
2.89/2.94	o 134
2.89/2.96	c 0.516921 20.5898 1083 50987
2.89/2.96	o 132
2.99/3.03	c 0.528919 20.5898 1151 51328
2.99/3.03	o 127
3.20/3.24	c 0.568913 20.5898 796 52065
3.20/3.24	o 126
3.20/3.25	c 0.572912 20.5898 823 52338
3.20/3.25	o 121
3.30/3.33	c 0.592909 20.5898 935 52946
3.30/3.33	o 112
3.39/3.43	c 0.609907 20.5898 1044 53459
3.39/3.43	o 110
3.49/3.51	c 0.616906 20.5898 1131 53737
3.49/3.51	o 109
3.49/3.56	c 0.627904 20.5898 661 54284
3.49/3.56	o 108
3.79/3.82	c 0.706892 20.5898 1070 55210
3.79/3.82	o 107
3.89/3.98	c 0.759884 20.5898 1235 55964
3.89/3.98	o 98
4.09/4.16	c 0.825874 20.5898 858 56592
4.09/4.16	o 97
4.29/4.30	c 0.879866 20.5898 1042 57194
4.29/4.30	o 96
4.29/4.36	c 0.909861 20.7188 1310 57746
4.29/4.36	o 95
4.39/4.41	c 0.927858 20.7188 727 58088
4.39/4.41	o 91
4.39/4.45	c 0.946856 20.7188 833 58489
4.39/4.45	o 87
4.39/4.48	c 0.957854 20.7188 928 58766
4.39/4.48	o 85
4.39/4.49	c 0.962853 20.7188 944 59092
4.39/4.49	o 78
4.49/4.58	c 0.996848 20.7188 1059 59466
4.49/4.58	o 77
4.49/4.59	c 1.00085 20.7188 1098 59782
4.49/4.59	o 70
4.59/4.60	c 1.00585 20.7188 1130 60051
4.59/4.60	o 64
5.29/5.38	c 1.2948 20.9766 1234 63242
5.29/5.38	o 58
5.89/5.99	c 1.51577 20.9766 1414 66120
5.89/5.99	o 57
6.09/6.18	c 1.57176 20.9766 1806 66983
6.09/6.18	o 56
6.60/6.67	c 1.72674 21.1055 1421 69133
6.60/6.67	o 49
6.69/6.76	c 1.75873 21.1055 1704 70039
6.69/6.76	o 44
7.09/7.12	c 1.90071 21.1055 2629 71863
7.09/7.12	o 39
7.39/7.42	c 2.04869 21.2344 2321 73757
7.39/7.42	o 35
7.59/7.60	c 2.12968 21.2344 2933 74982
7.59/7.60	o 34
7.79/7.86	c 2.22766 21.2344 2434 76871
7.79/7.86	o 33
7.79/7.86	c 2.22866 21.2344 2448 77067
7.79/7.86	o 30
7.79/7.88	c 2.23266 21.2344 2512 77277
7.79/7.88	o 27
8.19/8.23	c 2.40163 21.2344 2520 79786
8.19/8.23	o 26
9.69/9.71	c 3.25351 21.4922 3129 90929
9.69/9.71	o 25
9.90/9.98	c 3.41348 21.4922 2787 93006
9.90/9.98	o 24
9.99/10.07	c 3.46147 21.4922 3161 93760
9.99/10.07	o 17
10.09/10.15	c 3.51147 21.4922 1802 94371
10.09/10.15	o 14
13.29/13.34	c 5.62514 21.8789 2481 127043
13.29/13.34	o 13
13.29/13.35	c 5.63514 21.8789 2598 127287
13.29/13.35	o 12
17.19/17.28	c 8.28974 21.8789 3174 173648
17.19/17.28	o 10
17.19/17.29	c 8.29374 21.8789 3208 173853
17.19/17.29	o 6
17.99/18.08	c 8.94064 21.8789 2610 184645
17.99/18.08	o 5
19.19/19.26	c 9.80851 21.8789 3603 202028
19.19/19.26	o 4
19.70/19.75	c 10.1715 21.8789 2110 208622
19.70/19.75	o 3
20.19/20.21	c 10.5174 21.8789 2460 215103
20.19/20.21	o 1
1151.41/1151.44	c 893.052 25.3711 4678 14824629
1151.41/1151.44	s OPTIMUM FOUND
1151.41/1151.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 x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698790-1278464513/watcher-2698790-1278464513 -o /tmp/evaluation-result-2698790-1278464513/solver-2698790-1278464513 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698790-1278464513.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.99 1.97 1.93 3/178 13792
/proc/meminfo: memFree=30868360/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=2136 CPUtime=0
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 14664854 2187264 172 4089446400 134512640 136422188 4287146560 18446744073709551615 135806281 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13792/statm: 534 172 144 467 0 65 0

[startup+0.05537 s]
/proc/loadavg: 1.99 1.97 1.93 3/178 13792
/proc/meminfo: memFree=30868360/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=13052 CPUtime=0.05
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 2927 0 0 0 5 0 0 0 25 0 1 0 14664854 13365248 2847 4089446400 134512640 136422188 4287146560 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 3263 2849 193 467 0 2794 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13052

[startup+0.100342 s]
/proc/loadavg: 1.99 1.97 1.93 3/178 13792
/proc/meminfo: memFree=30868360/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=20468 CPUtime=0.09
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 4755 0 0 0 9 0 0 0 25 0 1 0 14664854 20959232 4642 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5117 4642 213 467 0 4648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20468

[startup+0.300309 s]
/proc/loadavg: 1.99 1.97 1.93 3/178 13792
/proc/meminfo: memFree=30868360/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=20948 CPUtime=0.29
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 4859 0 0 0 12 17 0 0 25 0 1 0 14664854 21450752 4733 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5237 4733 236 467 0 4768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20948

[startup+0.700279 s]
/proc/loadavg: 1.99 1.97 1.93 3/178 13792
/proc/meminfo: memFree=30868360/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=20948 CPUtime=0.69
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 4870 0 0 0 18 51 0 0 25 0 1 0 14664854 21450752 4734 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5237 4734 237 467 0 4768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20948

[startup+1.50114 s]
/proc/loadavg: 1.99 1.97 1.93 3/179 13793
/proc/meminfo: memFree=30850264/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=20948 CPUtime=1.49
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 4891 0 0 0 29 120 0 0 25 0 1 0 14664854 21450752 4742 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5237 4742 237 467 0 4768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20948

[startup+3.10086 s]
/proc/loadavg: 1.99 1.97 1.93 3/179 13793
/proc/meminfo: memFree=30849768/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=21080 CPUtime=3.09
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 4932 0 0 0 54 255 0 0 25 0 1 0 14664854 21585920 4766 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5270 4766 237 467 0 4801 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21080

[startup+6.30029 s]
/proc/loadavg: 1.99 1.97 1.93 3/179 13793
/proc/meminfo: memFree=30849624/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=21476 CPUtime=6.29
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5067 0 0 0 160 469 0 0 25 0 1 0 14664854 21991424 4880 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5369 4880 237 467 0 4900 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21476

[startup+12.7012 s]
/proc/loadavg: 1.99 1.97 1.93 3/179 13793
/proc/meminfo: memFree=30848384/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=22400 CPUtime=12.69
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5308 0 0 0 525 744 0 0 25 0 1 0 14664854 22937600 5108 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5600 5108 237 467 0 5131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22400

[startup+25.5009 s]
/proc/loadavg: 1.99 1.97 1.93 3/179 13794
/proc/meminfo: memFree=30848644/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=22400 CPUtime=25.49
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5316 0 0 0 1459 1090 0 0 25 0 1 0 14664854 22937600 5108 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5600 5108 237 467 0 5131 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22400

[startup+51.1003 s]
/proc/loadavg: 1.99 1.97 1.93 3/179 13795
/proc/meminfo: memFree=30847616/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=23192 CPUtime=51.09
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5493 0 0 0 3438 1671 0 0 25 0 1 0 14664854 23748608 5285 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13792/statm: 5798 5285 237 467 0 5329 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23192

[startup+102.306 s]
/proc/loadavg: 2.07 1.99 1.93 3/179 13796
/proc/meminfo: memFree=30846584/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=23720 CPUtime=102.29
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5630 0 0 0 7386 2843 0 0 25 0 1 0 14664854 24289280 5422 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 5930 5422 237 467 0 5461 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 23720

[startup+162.301 s]
/proc/loadavg: 2.02 1.99 1.93 3/179 13797
/proc/meminfo: memFree=30846144/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=24128 CPUtime=162.29
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5734 0 0 0 12049 4180 0 0 25 0 1 0 14664854 24707072 5526 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6032 5526 237 467 0 5563 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24128

[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.93 3/179 13799
/proc/meminfo: memFree=30845960/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=24260 CPUtime=222.29
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5779 0 0 0 16709 5520 0 0 25 0 1 0 14664854 24842240 5571 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6065 5571 237 467 0 5596 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24260

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13801
/proc/meminfo: memFree=30845896/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=24524 CPUtime=282.29
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5834 0 0 0 21388 6841 0 0 25 0 1 0 14664854 25112576 5626 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6131 5626 237 467 0 5662 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24524

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13830
/proc/meminfo: memFree=30832960/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=24920 CPUtime=342.3
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5927 0 0 0 26061 8169 0 0 25 0 1 0 14664854 25518080 5719 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6230 5719 237 467 0 5761 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24920

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13831
/proc/meminfo: memFree=30832132/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=24920 CPUtime=402.3
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5927 0 0 0 30765 9465 0 0 25 0 1 0 14664854 25518080 5719 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6230 5719 237 467 0 5761 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24920

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13832
/proc/meminfo: memFree=30831696/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25052 CPUtime=462.3
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5960 0 0 0 35464 10766 0 0 25 0 1 0 14664854 25653248 5752 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6263 5752 237 467 0 5794 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25052

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13834
/proc/meminfo: memFree=30831404/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25052 CPUtime=522.3
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 5961 0 0 0 40104 12126 0 0 25 0 1 0 14664854 25653248 5753 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6263 5753 237 467 0 5794 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 25052

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13836
/proc/meminfo: memFree=30830972/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25184 CPUtime=582.3
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6014 0 0 0 44771 13459 0 0 25 0 1 0 14664854 25788416 5806 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6296 5806 237 467 0 5827 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 25184

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13838
/proc/meminfo: memFree=30830680/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25448 CPUtime=642.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6060 0 0 0 49481 14750 0 0 25 0 1 0 14664854 26058752 5852 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6362 5852 237 467 0 5893 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 25448

[startup+702.301 s]
/proc/loadavg: 2.12 2.02 1.94 3/179 13839
/proc/meminfo: memFree=30830120/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25448 CPUtime=702.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6082 0 0 0 54183 16048 0 0 25 0 1 0 14664854 26058752 5874 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6362 5874 237 467 0 5893 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 25448

[startup+762.306 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 13840
/proc/meminfo: memFree=30829936/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25580 CPUtime=762.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6103 0 0 0 58887 17344 0 0 25 0 1 0 14664854 26193920 5895 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6395 5895 237 467 0 5926 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 25580

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 13842
/proc/meminfo: memFree=30829744/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25580 CPUtime=822.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6116 0 0 0 63583 18648 0 0 25 0 1 0 14664854 26193920 5908 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6395 5908 237 467 0 5926 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 25580

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13844
/proc/meminfo: memFree=30829568/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25712 CPUtime=882.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6141 0 0 0 68307 19924 0 0 25 0 1 0 14664854 26329088 5933 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6428 5933 237 467 0 5959 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 25712

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13846
/proc/meminfo: memFree=30829388/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25712 CPUtime=942.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6145 0 0 0 72980 21251 0 0 25 0 1 0 14664854 26329088 5937 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6428 5937 237 467 0 5959 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 25712

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13847
/proc/meminfo: memFree=30829208/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1002.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 77706 22525 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 25976

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13851
/proc/meminfo: memFree=30828060/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1062.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 82409 23822 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 25976

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13853
/proc/meminfo: memFree=30828132/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1122.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 87029 25202 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25976

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

[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13853
/proc/meminfo: memFree=30828008/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1126.32
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 87341 25291 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1126.32
Current children cumulated vsize (KiB) 25976

[startup+1139.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13854
/proc/meminfo: memFree=30828000/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1139.11
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 88345 25566 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1139.11
Current children cumulated vsize (KiB) 25976

[startup+1145.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13854
/proc/meminfo: memFree=30828112/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1145.51
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 88843 25708 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1145.51
Current children cumulated vsize (KiB) 25976

[startup+1148.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13854
/proc/meminfo: memFree=30828112/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1148.72
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 89098 25774 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1148.72
Current children cumulated vsize (KiB) 25976

[startup+1150.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13854
/proc/meminfo: memFree=30828112/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1150.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 89217 25814 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1150.31
Current children cumulated vsize (KiB) 25976

[startup+1151.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13854
/proc/meminfo: memFree=30828112/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1151.12
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 89278 25834 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1151.12
Current children cumulated vsize (KiB) 25976

[startup+1151.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13854
/proc/meminfo: memFree=30828112/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1151.31
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 89294 25837 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1151.31
Current children cumulated vsize (KiB) 25976

[startup+1151.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13854
/proc/meminfo: memFree=30828112/32950928 swapFree=67111528/67111528
[pid=13792] ppid=13790 vsize=25976 CPUtime=1151.41
/proc/13792/stat : 13792 (pbct) R 13790 13792 12901 0 -1 4202496 6199 0 0 0 89302 25839 0 0 25 0 1 0 14664854 26599424 5991 4089446400 134512640 136422188 4287146560 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13792/statm: 6494 5991 237 467 0 6025 0
Current children cumulated CPU time (s) 1151.41
Current children cumulated vsize (KiB) 25976

Child status: 0
Real time (s): 1151.47
CPU time (s): 1151.49
CPU user time (s): 893.076
CPU system time (s): 258.415
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 893.076
system time used= 258.415
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6204
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= 1736

runsolver used 1.78773 second user time and 3.45147 second system time

The end

Launcher Data 

Begin job on node120 at 2010-07-07 03:01:53
IDJOB=2698790
IDBENCH=79267
IDSOLVER=1212
FILE ID=node120/2698790-1278464513
PBS_JOBID= 11233752
Free space on /tmp= 73788 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698790-1278464513/watcher-2698790-1278464513 -o /tmp/evaluation-result-2698790-1278464513/solver-2698790-1278464513 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698790-1278464513.wbo

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

MD5SUM BENCH= 200f179ceb6a172fc8d81952e96f0c84
RANDOM SEED=445318869

node120.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.813
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.62
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.813
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.813
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.813
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.75
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.813
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.78
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.813
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	: 5363.42
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.813
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.76
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.813
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30868880 kB
Buffers:        111692 kB
Cached:        1764624 kB
SwapCached:          0 kB
Active:         774524 kB
Inactive:      1172148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30868880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2068 kB
Writeback:           0 kB
AnonPages:       70416 kB
Mapped:          15824 kB
Slab:            72852 kB
PageTables:       4788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   211648 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= 73784 MiB
End job on node120 at 2010-07-07 03:21:05