Trace number 2698756

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 fixedMSAT (TO) 1800.06 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
MD5SUMe639daae290163b8abe4f9e3cf3dc11c
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 benchmark513.52
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 669
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.091986 20 18 11232
0.09/0.10	o 1243
0.09/0.11	c 0.095985 20.2344 19 15365
0.09/0.11	o 877
0.09/0.13	c 0.112982 20.4688 95 16157
0.09/0.13	o 874
0.09/0.14	c 0.115982 20.4688 95 18957
0.09/0.14	o 784
0.09/0.14	c 0.118981 20.4688 104 20231
0.09/0.14	o 770
0.09/0.15	c 0.122981 20.4688 118 21309
0.09/0.15	o 740
0.09/0.16	c 0.12698 20.4688 121 24248
0.09/0.16	o 622
0.09/0.17	c 0.131979 20.4688 122 25231
0.09/0.17	o 614
0.09/0.17	c 0.135979 20.4688 124 25866
0.09/0.17	o 607
0.09/0.19	c 0.147977 20.4688 158 27394
0.09/0.19	o 564
0.19/0.20	c 0.152976 20.4688 168 27672
0.19/0.20	o 560
0.29/0.35	c 0.241963 20.4688 392 28878
0.29/0.35	o 556
0.29/0.36	c 0.248962 20.4688 396 32248
0.29/0.36	o 528
0.49/0.55	c 0.365944 20.4688 648 33342
0.49/0.55	o 527
0.49/0.57	c 0.374943 20.4688 655 33827
0.49/0.57	o 517
0.59/0.60	c 0.399939 20.4688 706 34847
0.59/0.60	o 491
0.79/0.82	c 0.538918 20.4688 1008 36797
0.79/0.82	o 468
0.79/0.82	c 0.540917 20.4688 1008 37261
0.79/0.82	o 458
0.79/0.83	c 0.544917 20.4688 1009 37727
0.79/0.83	o 452
0.79/0.84	c 0.552915 20.4688 1018 38195
0.79/0.84	o 448
0.89/0.91	c 0.596909 20.4688 1113 39034
0.89/0.91	o 431
1.19/1.20	c 0.767883 20.4688 982 40885
1.19/1.20	o 430
1.39/1.42	c 0.892864 20.4688 1299 42008
1.39/1.42	o 429
1.49/1.58	c 1.00685 20.4688 882 43259
1.49/1.58	o 428
1.59/1.63	c 1.03584 20.4688 946 43960
1.59/1.63	o 414
1.99/2.01	c 1.26381 20.4688 1027 46751
1.99/2.01	o 409
1.99/2.04	c 1.2828 20.4688 1047 47084
1.99/2.04	o 406
1.99/2.08	c 1.3098 20.4688 1101 47634
1.99/2.08	o 395
1.99/2.09	c 1.3138 20.4688 1108 48324
1.99/2.09	o 386
2.10/2.12	c 1.3328 20.4688 1131 49056
2.10/2.12	o 365
2.39/2.48	c 1.55476 20.4688 1022 51183
2.39/2.48	o 350
2.79/2.85	c 1.77573 20.4688 928 53200
2.79/2.85	o 341
3.30/3.38	c 2.08768 20.5977 899 55669
3.30/3.38	o 334
3.59/3.68	c 2.25566 20.5977 666 57159
3.59/3.68	o 329
3.69/3.71	c 2.27065 20.5977 687 57536
3.69/3.71	o 321
3.69/3.77	c 2.31265 20.5977 749 57830
3.69/3.77	o 320
3.99/4.08	c 2.50662 20.5977 1201 59317
3.99/4.08	o 313
4.40/4.40	c 2.70659 20.5977 1061 60994
4.40/4.40	o 311
4.69/4.74	c 2.90656 20.5977 830 62564
4.69/4.74	o 307
4.69/4.75	c 2.91056 20.5977 843 62764
4.69/4.75	o 305
4.79/4.82	c 2.95355 20.5977 930 63155
4.79/4.82	o 300
4.79/4.85	c 2.96555 20.5977 965 64108
4.79/4.85	o 274
5.59/5.60	c 3.42248 20.5977 1232 66953
5.59/5.60	o 261
5.79/5.84	c 3.56246 20.5977 893 68252
5.79/5.84	o 255
6.19/6.26	c 3.81842 20.5977 700 70091
6.19/6.26	o 251
6.29/6.30	c 3.84741 20.5977 763 70489
6.29/6.30	o 245
6.29/6.35	c 3.87441 20.5977 810 70928
6.29/6.35	o 236
8.29/8.37	c 5.14022 20.5977 1292 77778
8.29/8.37	o 235
8.39/8.45	c 5.17721 20.5977 752 78238
8.39/8.45	o 234
9.00/9.04	c 5.52916 20.5977 1001 80527
9.00/9.04	o 231
9.29/9.35	c 5.71413 20.5977 851 81961
9.29/9.35	o 226
9.49/9.59	c 5.86911 20.5977 1153 83154
9.49/9.59	o 223
9.59/9.60	c 5.87511 20.5977 1165 83623
9.59/9.60	o 212
9.90/9.93	c 6.07608 20.5977 868 84719
9.90/9.93	o 207
9.99/10.06	c 6.15906 20.5977 1032 85601
9.99/10.06	o 199
11.49/11.56	c 7.10792 20.7266 896 91137
11.49/11.56	o 196
11.69/11.78	c 7.2439 20.7266 1320 92782
11.69/11.78	o 171
12.00/12.01	c 7.39888 20.7266 997 94121
12.00/12.01	o 167
12.29/12.38	c 7.63484 20.7266 887 96560
12.29/12.38	o 150
12.89/12.94	c 7.97579 20.7266 1118 99138
12.89/12.94	o 149
14.39/14.47	c 8.92064 20.7266 775 104859
14.39/14.47	o 146
14.49/14.59	c 9.00563 20.7266 981 105528
14.49/14.59	o 145
15.30/15.35	c 9.44056 20.7266 622 108862
15.30/15.35	o 136
15.30/15.38	c 9.46956 20.7266 702 109148
15.30/15.38	o 134
15.59/15.66	c 9.64053 20.7266 1159 110672
15.59/15.66	o 133
17.49/17.51	c 10.8364 20.7266 1190 116744
17.49/17.51	o 130
17.89/17.90	c 11.0763 20.7266 1030 118490
17.89/17.90	o 120
18.79/18.88	c 11.7302 20.9844 1171 122338
18.79/18.88	o 111
19.99/20.09	c 12.4861 20.9844 659 128093
19.99/20.09	o 100
20.50/20.53	c 12.7681 20.9844 1220 129606
20.50/20.53	o 95
20.59/20.69	c 12.874 20.9844 869 130573
20.59/20.69	o 94
20.69/20.78	c 12.925 20.9844 1105 131111
20.69/20.78	o 92
21.19/21.23	c 13.204 20.9844 1054 133523
21.19/21.23	o 89
21.59/21.61	c 13.472 20.9844 1577 135810
21.59/21.61	o 88
21.59/21.69	c 13.5309 20.9844 933 136229
21.59/21.69	o 87
21.79/21.84	c 13.6189 20.9844 1194 137115
21.79/21.84	o 83
21.90/21.98	c 13.7219 20.9844 1665 137901
21.90/21.98	o 82
23.99/24.04	c 15.1177 20.9844 1614 145843
23.99/24.04	o 81
24.20/24.26	c 15.2477 20.9844 1019 146865
24.20/24.26	o 76
25.30/25.36	c 15.9776 21.1133 1459 152150
25.30/25.36	o 72
25.59/25.64	c 16.1965 21.2422 1733 154581
25.59/25.64	o 70
31.80/31.85	c 20.3069 21.2422 1664 179056
31.80/31.85	o 64
32.59/32.60	c 20.8158 21.2422 2307 182808
32.59/32.60	o 60
32.90/32.96	c 21.0848 21.2422 2191 184871
32.90/32.96	o 47
33.69/33.70	c 21.6227 21.2422 2639 190176
33.69/33.70	o 40
34.69/34.70	c 22.3996 21.3711 2511 197183
34.69/34.70	o 37
36.10/36.16	c 23.5164 21.3711 2369 206486
36.10/36.16	o 34
36.30/36.31	c 23.6334 21.3711 3039 207586
36.30/36.31	o 29
36.39/36.47	c 23.7654 21.3711 2193 208828
36.39/36.47	o 27
37.79/37.80	c 24.8302 21.3711 2399 218969
37.79/37.80	o 26
37.79/37.82	c 24.8412 21.3711 2468 219273
37.79/37.82	o 19
37.79/37.82	c 24.8442 21.3711 2476 219390
37.79/37.82	o 16
37.79/37.88	c 24.8922 21.3711 2854 220201
37.79/37.88	o 10
40.29/40.30	c 27.0679 22.5312 2210 249303
40.29/40.30	o 7
40.60/40.65	c 27.3828 22.5312 3722 254501
40.60/40.65	o 6
40.69/40.72	c 27.4508 22.5312 2505 255373
40.69/40.72	o 5
41.40/41.49	c 28.1527 22.5312 2314 265605
41.40/41.49	o 4
42.49/42.51	c 29.0886 22.5312 2905 280910
42.49/42.51	o 3
53.29/53.35	c 38.8741 22.5312 3749 433559
53.29/53.35	o 2
67.59/67.63	c 51.8561 22.5312 4389 617627
67.59/67.63	o 1
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	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-2698756-1278464486/watcher-2698756-1278464486 -o /tmp/evaluation-result-2698756-1278464486/solver-2698756-1278464486 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698756-1278464486.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.97 1.97 1.92 4/178 13718
/proc/meminfo: memFree=29734696/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=2136 CPUtime=0
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14662668 2187264 174 4089446400 134512640 136422188 4290770704 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13718/statm: 534 174 144 467 0 65 0

[startup+0.067629 s]
/proc/loadavg: 1.97 1.97 1.92 4/178 13718
/proc/meminfo: memFree=29734696/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=15600 CPUtime=0.05
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 3606 0 0 0 5 0 0 0 25 0 1 0 14662668 15974400 3525 4089446400 134512640 136422188 4290770704 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 3900 3528 193 467 0 3431 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15600

[startup+0.100622 s]
/proc/loadavg: 1.97 1.97 1.92 4/178 13718
/proc/meminfo: memFree=29734696/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=20476 CPUtime=0.09
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 4754 0 0 0 8 1 0 0 25 0 1 0 14662668 20967424 4640 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5119 4640 213 467 0 4650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20476

[startup+0.300599 s]
/proc/loadavg: 1.97 1.97 1.92 4/178 13718
/proc/meminfo: memFree=29734696/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=20956 CPUtime=0.29
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 4855 0 0 0 21 8 0 0 25 0 1 0 14662668 21458944 4730 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5239 4730 237 467 0 4770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20956

[startup+0.700533 s]
/proc/loadavg: 1.97 1.97 1.92 4/178 13718
/proc/meminfo: memFree=29734696/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=20956 CPUtime=0.69
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 4860 0 0 0 46 23 0 0 25 0 1 0 14662668 21458944 4730 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5239 4730 237 467 0 4770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20956

[startup+1.50038 s]
/proc/loadavg: 1.97 1.97 1.92 3/179 13719
/proc/meminfo: memFree=29716956/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=20956 CPUtime=1.49
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 4882 0 0 0 94 55 0 0 25 0 1 0 14662668 21458944 4745 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5239 4745 237 467 0 4770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20956

[startup+3.10109 s]
/proc/loadavg: 1.97 1.97 1.92 3/179 13719
/proc/meminfo: memFree=29716956/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=20956 CPUtime=3.09
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 4900 0 0 0 191 118 0 0 25 0 1 0 14662668 21458944 4754 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5239 4754 237 467 0 4770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20956

[startup+6.30051 s]
/proc/loadavg: 1.97 1.97 1.92 3/179 13719
/proc/meminfo: memFree=29717168/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=21088 CPUtime=6.29
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 4932 0 0 0 384 245 0 0 25 0 1 0 14662668 21594112 4773 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5272 4773 237 467 0 4803 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21088

[startup+12.7003 s]
/proc/loadavg: 1.97 1.97 1.92 3/179 13719
/proc/meminfo: memFree=29716556/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=21220 CPUtime=12.69
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 4979 0 0 0 783 486 0 0 25 0 1 0 14662668 21729280 4806 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5305 4806 237 467 0 4836 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21220

[startup+25.501 s]
/proc/loadavg: 1.98 1.97 1.92 3/179 13719
/proc/meminfo: memFree=29716676/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=21616 CPUtime=25.5
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5114 0 0 0 1608 942 0 0 25 0 1 0 14662668 22134784 4920 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5404 4920 237 467 0 4935 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 21616

[startup+51.1003 s]
/proc/loadavg: 1.98 1.97 1.92 3/179 13747
/proc/meminfo: memFree=29702912/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=23068 CPUtime=51.1
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5493 0 0 0 3685 1425 0 0 25 0 1 0 14662668 23621632 5281 4089446400 134512640 136422188 4290770704 18446744073709551615 134864701 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5767 5281 237 467 0 5298 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 23068

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.92 3/179 13748
/proc/meminfo: memFree=29701404/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=23200 CPUtime=102.3
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5512 0 0 0 8344 1886 0 0 25 0 1 0 14662668 23756800 5298 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5800 5298 237 467 0 5331 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23200

[startup+162.301 s]
/proc/loadavg: 2.05 1.99 1.93 3/179 13750
/proc/meminfo: memFree=29700740/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=23600 CPUtime=162.3
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5615 0 0 0 13829 2401 0 0 25 0 1 0 14662668 24166400 5401 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 5900 5401 237 467 0 5431 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23600

[startup+222.301 s]
/proc/loadavg: 2.02 1.99 1.93 3/179 13752
/proc/meminfo: memFree=29699812/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24000 CPUtime=222.3
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5706 0 0 0 19311 2919 0 0 25 0 1 0 14662668 24576000 5492 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6000 5492 237 467 0 5531 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24000

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13754
/proc/meminfo: memFree=29699888/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24000 CPUtime=282.3
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5736 0 0 0 24782 3448 0 0 25 0 1 0 14662668 24576000 5522 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6000 5522 237 467 0 5531 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24000

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13755
/proc/meminfo: memFree=29699572/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24132 CPUtime=342.3
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5752 0 0 0 30273 3957 0 0 25 0 1 0 14662668 24711168 5538 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6033 5538 237 467 0 5564 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24132

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13756
/proc/meminfo: memFree=29699516/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24132 CPUtime=402.3
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5771 0 0 0 35762 4468 0 0 25 0 1 0 14662668 24711168 5557 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6033 5557 237 467 0 5564 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24132

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13758
/proc/meminfo: memFree=29699196/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24264 CPUtime=462.31
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5804 0 0 0 41245 4986 0 0 25 0 1 0 14662668 24846336 5590 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6066 5590 237 467 0 5597 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24264

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13760
/proc/meminfo: memFree=29699012/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24396 CPUtime=522.3
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5815 0 0 0 46715 5515 0 0 25 0 1 0 14662668 24981504 5601 4089446400 134512640 136422188 4290770704 18446744073709551615 134641380 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6099 5601 237 467 0 5630 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24396

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13762
/proc/meminfo: memFree=29698584/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24660 CPUtime=582.31
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5866 0 0 0 52180 6051 0 0 25 0 1 0 14662668 25251840 5652 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6165 5652 237 467 0 5696 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24660

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13763
/proc/meminfo: memFree=29698288/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24660 CPUtime=642.32
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5892 0 0 0 57666 6566 0 0 25 0 1 0 14662668 25251840 5678 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6165 5678 237 467 0 5696 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 24660

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 13768
/proc/meminfo: memFree=29697976/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24924 CPUtime=822.31
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5939 0 0 0 74144 8087 0 0 25 0 1 0 14662668 25522176 5725 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6231 5725 237 467 0 5762 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24924

[startup+882.301 s]
/proc/loadavg: 2.05 2.00 1.93 3/179 13770
/proc/meminfo: memFree=29697564/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=24924 CPUtime=882.32
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5964 0 0 0 79642 8590 0 0 25 0 1 0 14662668 25522176 5750 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6231 5750 237 467 0 5762 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24924

[startup+942.301 s]
/proc/loadavg: 2.02 2.00 1.93 3/179 13771
/proc/meminfo: memFree=29697736/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25056 CPUtime=942.32
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5974 0 0 0 85138 9094 0 0 25 0 1 0 14662668 25657344 5760 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6264 5760 237 467 0 5795 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25056

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13772
/proc/meminfo: memFree=29697568/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25056 CPUtime=1002.32
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5980 0 0 0 90617 9615 0 0 25 0 1 0 14662668 25657344 5766 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6264 5766 237 467 0 5795 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25056

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13777
/proc/meminfo: memFree=29696872/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25056 CPUtime=1062.33
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5982 0 0 0 96106 10127 0 0 25 0 1 0 14662668 25657344 5768 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6264 5768 237 467 0 5795 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 25056

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13779
/proc/meminfo: memFree=29696676/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25056 CPUtime=1122.33
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 5988 0 0 0 101567 10666 0 0 25 0 1 0 14662668 25657344 5774 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6264 5774 237 467 0 5795 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 25056

[startup+1182.3 s]
/proc/loadavg: 1.43 1.84 1.88 2/171 13802
/proc/meminfo: memFree=29724116/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25396 CPUtime=1182.33
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6046 0 0 0 107035 11198 0 0 25 0 1 0 14662668 26005504 5832 4089446400 134512640 136422188 4290770704 18446744073709551615 134862395 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6349 5832 237 467 0 5880 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 25396

[startup+1242.3 s]
/proc/loadavg: 1.16 1.69 1.82 2/171 13803
/proc/meminfo: memFree=29723812/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25396 CPUtime=1242.33
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6051 0 0 0 112528 11705 0 0 25 0 1 0 14662668 26005504 5837 4089446400 134512640 136422188 4290770704 18446744073709551615 134868316 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6349 5837 237 467 0 5880 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 25396

[startup+1302.3 s]
/proc/loadavg: 1.06 1.56 1.77 2/171 13804
/proc/meminfo: memFree=29723500/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25528 CPUtime=1302.33
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6074 0 0 0 118031 12202 0 0 25 0 1 0 14662668 26140672 5860 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6382 5860 237 467 0 5913 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 25528

[startup+1362.3 s]
/proc/loadavg: 1.02 1.45 1.72 2/171 13806
/proc/meminfo: memFree=29723428/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25528 CPUtime=1362.33
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6078 0 0 0 123533 12700 0 0 25 0 1 0 14662668 26140672 5864 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6382 5864 237 467 0 5913 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 25528

[startup+1422.31 s]
/proc/loadavg: 1.00 1.37 1.67 2/171 13808
/proc/meminfo: memFree=29723232/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25528 CPUtime=1422.34
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6092 0 0 0 129026 13208 0 0 25 0 1 0 14662668 26140672 5878 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6382 5878 237 467 0 5913 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 25528

[startup+1482.3 s]
/proc/loadavg: 1.00 1.30 1.62 2/171 13810
/proc/meminfo: memFree=29723308/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25528 CPUtime=1482.33
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6093 0 0 0 134513 13720 0 0 25 0 1 0 14662668 26140672 5879 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6382 5879 237 467 0 5913 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 25528

[startup+1542.3 s]
/proc/loadavg: 1.00 1.24 1.58 2/171 13811
/proc/meminfo: memFree=29723620/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25660 CPUtime=1542.34
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6113 0 0 0 140015 14219 0 0 25 0 1 0 14662668 26275840 5899 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6415 5899 237 467 0 5946 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 25660

[startup+1602.3 s]
/proc/loadavg: 1.00 1.20 1.54 2/171 13812
/proc/meminfo: memFree=29723556/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25660 CPUtime=1602.34
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6126 0 0 0 145528 14706 0 0 25 0 1 0 14662668 26275840 5912 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6415 5912 237 467 0 5946 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 25660

[startup+1662.3 s]
/proc/loadavg: 1.00 1.16 1.51 2/171 13814
/proc/meminfo: memFree=29723608/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25660 CPUtime=1662.34
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6127 0 0 0 151008 15226 0 0 25 0 1 0 14662668 26275840 5913 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6415 5913 237 467 0 5946 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 25660

[startup+1722.3 s]
/proc/loadavg: 1.00 1.13 1.47 2/171 13816
/proc/meminfo: memFree=29723544/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25660 CPUtime=1722.35
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6127 0 0 0 156489 15746 0 0 25 0 1 0 14662668 26275840 5913 4089446400 134512640 136422188 4290770704 18446744073709551615 134860008 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6415 5913 237 467 0 5946 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 25660

[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.44 2/171 13818
/proc/meminfo: memFree=29723596/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25660 CPUtime=1782.35
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6128 0 0 0 161985 16250 0 0 25 0 1 0 14662668 26275840 5914 4089446400 134512640 136422188 4290770704 18446744073709551615 134862125 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6415 5914 237 467 0 5946 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 25660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.10 1.43 2/171 13818
/proc/meminfo: memFree=29723584/32951124 swapFree=67111528/67111528
[pid=13718] ppid=13716 vsize=25660 CPUtime=1800.05
/proc/13718/stat : 13718 (pbct) R 13716 13718 12790 0 -1 4202496 6129 0 0 0 163612 16393 0 0 25 0 1 0 14662668 26275840 5915 4089446400 134512640 136422188 4290770704 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13718/statm: 6415 5915 237 467 0 5946 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 25660

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1636.13
CPU system time (s): 163.937
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1636.13
system time used= 163.937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6130
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= 6
involuntary context switches= 2962

runsolver used 2.79157 second user time and 5.40218 second system time

The end

Launcher Data 

Begin job on node109 at 2010-07-07 03:01:26
IDJOB=2698756
IDBENCH=79259
IDSOLVER=1212
FILE ID=node109/2698756-1278464486
PBS_JOBID= 11233775
Free space on /tmp= 73832 MiB

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

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

MD5SUM BENCH= e639daae290163b8abe4f9e3cf3dc11c
RANDOM SEED=1556753022

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:      29735216 kB
Buffers:        108568 kB
Cached:        2898524 kB
SwapCached:          0 kB
Active:        1607944 kB
Inactive:      1469388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29735216 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4020 kB
Writeback:           0 kB
AnonPages:       70432 kB
Mapped:          15628 kB
Slab:            74604 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   216372 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= 73832 MiB
End job on node109 at 2010-07-07 03:31:28